/*
 * global.h
 *
 * Global.h and other .h header files can be used to provide additional
 * definitions for the generated Demeter environment.
 * This file contains the mechanism to enable or disable tracing 
 * information while executing propagation patterns. 
 */
#include <stdlib.h>

#ifndef NOTRACE
#define DEM_TRACE(c,m)    DemTrace demTrace(__FILE__,__LINE__,c,m)
#else
#define DEM_TRACE(c,m)
#endif


/* 
 * Turn the generators' internal debugging facility on or off
 */

//#define DEBUG

#ifdef DEBUG
#define DBG(message) message
#else
#define DBG(message) /* nothing */
#endif

extern int MIFLAG;
extern char NOCTORLIST[];
extern int ctorIsDesired( char* );