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;
    
}