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


// Library System op_code's
const INVALID     = -1;
const SHOW_BOOKS  =  1;
const SEARCH_BOOK =  2;
const SHOW_USERS  =  3;
const SEARCH_USER =  4;
const CHECK_OUT   =  5;
const CHECK_IN    =  6;
const EXIT        =  9;

#define MATCH   1
#define NOMATCH 0