Constants.java 7.54 KB
   1
   2
   3
   4
   5
   6
   7
   8
   9
  10
  11
  12
  13
  14
  15
  16
  17
  18
  19
  20
  21
  22
  23
  24
  25
  26
  27
  28
  29
  30
  31
  32
  33
  34
  35
  36
  37
  38
  39
  40
  41
  42
  43
  44
  45
  46
  47
  48
  49
  50
  51
  52
  53
  54
  55
  56
  57
  58
  59
  60
  61
  62
  63
  64
  65
  66
  67
  68
  69
  70
  71
  72
  73
  74
  75
  76
  77
  78
  79
  80
  81
  82
  83
  84
  85
  86
  87
  88
  89
  90
  91
  92
  93
  94
  95
  96
  97
  98
  99
 100
 101
 102
 103
 104
 105
 106
 107
 108
 109
 110
 111
 112
 113
 114
 115
 116
 117
 118
 119
 120
 121
 122
 123
 124
 125
 126
 127
 128
 129
 130
 131
 132
 133
 134
 135
 136
 137
 138
 139
 140
 141
 142
 143
 144
 145
 146
 147
 148
 149
 150
 151
 152
 153
 154
 155
 156
 157
 158
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;
}