/*
 * 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>
#include <assert.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <pwd.h>
#include <dirent.h>
#include <time.h>
#include <unistd.h>
#include <errno.h>


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

extern "C" {
   int unlink(const char *);
   int rmdir(const char *);
/*   char *getcwd(char *,int);*/
/*   char * tempnam( const char *, const char *);*/
}

#define sem_out       cout

#ifndef MAXDIRLEN
#define MAXDIRLEN 1024
#endif

#define YES              1
#define NO               0
#define SUCCESS          1
#define FAIL             0
#define ERROR_REGULAR    2
#define ERROR_CPP        4
#define ERROR_CONS       8
#define ERROR_REP        16
#define ERROR_MATCH      32
#define ERROR_FORMAL     64
#define ERROR_ALT_COM    128
#define ERROR_PROPER     256
#define ERROR_CYCLE_INH  512
#define ERROR_UNIQUE_LB  1024
#define ERROR_EXTERN     2048
#define ERROR_CFSG       4096
#define ERROR_LL1        8192
#define ERROR_DONCE     16384
#define PAREN_ATSIGN_ERROR     32768

extern  Cd_graph * followsetEqGraph;

#define NULLABLE    1
#define UNKNOWN     2
#define NONEMPTY    3


enum mv_mode {mv_interactive, mv_silent};

extern char * toolname;
extern char * tmpdir;
extern char* cdpath;
extern char *tmpfname();
extern int mv_if_change(mv_mode m,char *newfile,char *oldfile);
extern int rm(const char *arg);