/*
 * 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>


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

#ifndef MAXDIRLEN
#define MAXDIRLEN 1023
#endif

#ifndef MAXNAMLEN
#define  MAXNAMLEN       255
#endif

enum mv_mode {mv_interactive, mv_silent};

extern char *version;
extern char *toolname;
extern char *inst_suffix;
extern char *default_inst;
extern char *comp_suffix;
extern char *tmpdir;
extern char *cwd;

class Header;

void   abort_with_help();
int    polishpath_aux(char *b,char *n);
void   polishpath(char *n);
void   basename(char *n);
void   absolutename(char *n);
int    rm(const char *arg);
int    mv_if_change(mv_mode m,char *newfile,char *oldfile);
void   derror(char c,int cond, char *msg);
char *ppfname(char *env_path,char *env_name,Header *header, int file_count);
char *tmpfname();
char *metafname(char *env_path,char *env_name,Header *header, int file_count);
char *renfname(char *env_path,char *env_name,Header *header, int file_count);
char *cppfname(char *env_path,char *env_name,Header *header, int file_count);