package jcircus.util;
/**
* Defines the constants used in the program.
*
* @author Angela Freitas
*
*/
public class Constants {
/* Velocity parameters */
public static final String PROJECT_NAME = "proj";
/* Names of packages */
public static final String PKG_PROCESSES = "processes";
public static final String PKG_AXDEFS = "axiomaticDefinitions";
public static final String PKG_TYPING = "typing";
public static final String PKG_UTIL = "util";
public static final String PKG_GUI = "gui";
/* Name of the source directory */
public static final String DIR_SOURCE = "src";
/* Location of resources */
private static final String DIR_TEMPLATES = "templates\\";
public static final String DIR_EXAMPLES = "D:\\Angela\\Research\\Java\\JCircus\\src\\examples";
public static final String DIR_PROJECTS = "D:\\Angela\\Research\\Java\\Translator";
// Use this when generating the binary distribution //////////////////////////////////
// private static final String DIR_TEMPLATES = "";
// public static final String DIR_EXAMPLES = "./examples";
// public static final String DIR_PROJECTS = "./output";
//////////////////////////////////////////////////////////////////////////////////////
/* Velocity templates */
public static final String TMP_AXDEFS = DIR_TEMPLATES + "AxiomaticDefinitionsClass.vm";
public static final String TMP_BASICPROC = DIR_TEMPLATES + "BasicProcessCode.vm";
public static final String TMP_BAT = DIR_TEMPLATES + "BatFile.vm";
public static final String TMP_CIRCINT = DIR_TEMPLATES + "CircusIntegerClass.vm";
public static final String TMP_CTRLMNGR = DIR_TEMPLATES + "ControllersManagerCallCode.vm";
public static final String TMP_GUI = DIR_TEMPLATES + "GuiClass.vm";
public static final String TMP_MAIN = DIR_TEMPLATES + "MainClass.vm";
public static final String TMP_PARACT = DIR_TEMPLATES + "ParallelActionsCode.vm";
public static final String TMP_PARCALL = DIR_TEMPLATES + "ParallelCallCode.vm";
public static final String TMP_PROC = DIR_TEMPLATES + "ProcessClass.vm";
public static final String TMP_PROCMNGR = DIR_TEMPLATES + "ProcessManagerCallCode.vm";
public static final String TMP_INNCLS = DIR_TEMPLATES + "InnerClassCode.vm";
public static final String TMP_SUBTYPE = DIR_TEMPLATES + "SubTypeClass.vm";
public static final String TMP_TYPE = DIR_TEMPLATES + "TypeClass.vm";
/* Constants in velocity templates */
/* AxiomaticDefinitionsClass.vm */
public static final String C_AXDEFS_PKG = "package";
public static final String C_AXDEFS_IMP = "imports";
public static final String C_AXDEFS_BODY = "body";
/* BasicProcessCode.vm */
public static final String C_BASICPROC_STDECL = "stateDecl";
public static final String C_BASICPROC_ZPARA = "zParas";
public static final String C_BASICPROC_ACTPARA = "actionParas";
public static final String C_BASICPROC_MAINACT = "mainAction";
/* BatFile.vm */
public static final String C_BAT_PROJ = "proj";
public static final String C_BAT_MAIN = "main";
/* CircusIntegerClass.vm */
public static final String C_CIRCINT_PKG = "package";
/* ControllersManagerCallCode.vm */
public static final String C_CTRLMNGR_CALL = "msControlCall";
/* GuiClass.vm */
public static final String C_GUI_PKG = "package";
public static final String C_GUI_IMP = "imports";
public static final String C_GUI_CLSNAME = "className";
public static final String C_GUI_CHANDECL = "chanDecl";
public static final String C_GUI_CHANASSIG = "chanAssign";
public static final String C_GUI_CHANPARAM = "chanParam";
public static final String C_GUI_CHANINIT = "chanInit";
public static final String C_GUI_CHANACTPERF = "chanActPerf";
/* MainClass.vm */
public static final String C_MAIN_PKG = "package";
public static final String C_MAIN_IMP = "imports";
public static final String C_MAIN_PROJ = "proj";
public static final String C_MAIN_NMMAIN = "nameMain";
public static final String C_MAIN_DECLS = "declarations";
public static final String C_MAIN_PROCCALL = "processCall";
/* ParallelActionsCode.vm */
public static final String C_PARACT_LNAME = "lName";
public static final String C_PARACT_LATT = "lAttributes";
public static final String C_PARACT_LPARAMDECL = "lParamDeclConstructor";
public static final String C_PARACT_LCONSTRBODY = "lConstructorBody";
public static final String C_PARACT_LRUN = "lMethodRun";
public static final String C_PARACT_LPARAM = "lParameters";
public static final String C_PARACT_RNAME = "rName";
public static final String C_PARACT_RATT = "rAttributes";
public static final String C_PARACT_RPARAMDECL = "rParamDeclConstructor";
public static final String C_PARACT_RCONSTRBODY = "rConstructorBody";
public static final String C_PARACT_RRUN = "rMethodRun";
public static final String C_PARACT_RPARAM = "rParameters";
public static final String C_PARACT_INDEX = "index";
public static final String C_PARACT_MERGE = "mergeVars";
/* ParallelCallCode.vm */
public static final String C_PARCALL_LISTPROC = "listProcessesCode";
/* ProcessClass.vm */
public static final String C_PROC_PKG = "package";
public static final String C_PROC_IMP = "imports";
public static final String C_PROC_PROJ = "proj";
public static final String C_PROC_CLSBODY = "classBody";
public static final String C_PROC_CLSNAME = "className";
/* ProcessManagerCallCode.vm */
public static final String C_PROCMNGR_PROC = "proc";
/* InnerClassCode.vm */
public static final String C_INNCLS_INDEX = "index";
public static final String C_INNCLS_ATTDECL = "attDecl";
public static final String C_INNCLS_CONSTBODY = "constructorBody";
public static final String C_INNCLS_PARAMDECL = "paramDecl";
public static final String C_INNCLS_RUNBODY = "runBody";
public static final String C_INNCLS_RUNCALL = "runCall";
/* SubTypeClass.vm */
public static final String C_SUBTYPE_PKG = "package";
public static final String C_SUBTYPE_PROJ = "proj";
public static final String C_SUBTYPE_CLSNAME = "className";
public static final String C_SUBTYPE_CONST = "constants";
public static final String C_SUBTYPE_TOSTR = "toString";
public static final String C_SUBTYPE_CONSTRUCTOR = "constructor";
/* TypeClass.vm */
public static final String C_TYPE_PKG = "package";
public static final String C_TYPE_DECLCONST = "declTypeConstants";
/* Name of Source Files */
public static final String CLS_AXDEFS = "AxiomaticDefinitions";
public static final String CLS_TYPE = "Type";
public static final String CLS_CHINFO = "ChannelInfo";
public static final String CLS_CIRCNUM = "CircusInteger";
public static final String CLS_GENCHAN = "GeneralChannel";
public static final String CLS_RANGEN = "RandomGenerator";
public static final String CLS_MSCTRL = "MultiSyncControl";
public static final String CLS_ALTBAR = "AltingBarrier"; /**By Samuel*/
/* Java extension */
public static final String JAVA_EXT = ".java";
/* Auxiliar */
public static final int OP_INTCHOICE = 0;
public static final int OP_EXTCHOICE = 1;
}