OoasTools

package serialize;

option java_package = "org.momut.ooas.codegen.ast.protobuf.gen";

option java_outer_classname = "FunctionNames";

enum PBAdd {

	TIRESIAS_ADD_IDENTIFIERTOLIST           = 0;

	TIRESIAS_ADD_TYPETOLIST                 = 1;

	TIRESIAS_ADD_STATEMENTTOLIST            = 2;

	TIRESIAS_ADD_EXPRESSIONTOLIST           = 3;

	TIRESIAS_ADD_IDTOSYMBTAB                = 4;

	TIRESIAS_ADD_PARAMTOLIST                = 5;

	TIRESIAS_ADD_ACTIONSYSTEMINSTANCETOLIST = 6;

	TIRESIAS_ADD_IDENTIFIERTOBLOCK          = 7;

}

enum PBAllocation {

	TIRESIAS_CREATE_IDENTIFIER               = 0;

	TIRESIAS_CREATE_TYPE                     = 1;

	TIRESIAS_CREATE_STATEMENT                = 2;

	TIRESIAS_CREATE_EXPRESSION               = 3;

	TIRESIAS_CREATE_STATEMENTLIST            = 4;

	TIRESIAS_CREATE_EXPRESSIONLIST           = 5;

	TIRESIAS_CREATE_IDENTIFIERLIST           = 6;

	TIRESIAS_CREATE_SYMBTAB                  = 7;

	TIRESIAS_CREATE_PARAMLIST                = 8;

	TIRESIAS_CREATE_ACTIONSYSTEMINSTANCE     = 9;

	TIRESIAS_CREATE_TYPELIST                 = 10;

	TIRESIAS_CREATE_ACTIONSYSTEMINSTANCELIST = 11;

	TIRESIAS_CAST_ASTELEMENT_TO_ISCOPE       = 12;

}

enum PBIdentifiers {

	TIRESIAS_INIT_ENUMIDENTIFIER    = 1;

	TIRESIAS_INIT_CONSTIDENTIFIER   = 2;

	TIRESIAS_INIT_ATTRIDENTIFIER    = 3;

	TIRESIAS_INIT_EXPRVARIDENTIFIER = 4;

	TIRESIAS_INIT_PARAMIDENTIFIER   = 5;

	TIRESIAS_INIT_LOCVARIDENTIFIER  = 6;

	TIRESIAS_INIT_TYPEIDENTIFIER    = 7;

	TIRESIAS_INIT_SELFIDENTIFIER    = 8;

	TIRESIAS_INIT_METHODIDENTIFIER  = 9;

	TIRESIAS_INIT_MODULE            = 10;

	TIRESIAS_INIT_MAINMODULE        = 0;

}

enum PBTypes {

	TIRESIAS_INIT_INTTYPE              = 1;

	TIRESIAS_INIT_BOOLTYPE             = 2;

	TIRESIAS_INIT_VALUEDENUMTYPE       = 3;

	TIRESIAS_INIT_ENUMTYPE             = 4;

	TIRESIAS_INIT_LISTTYPE             = 5;

	TIRESIAS_INIT_TUPLETYPE            = 6;

	TIRESIAS_INIT_FUNCTIONTYPE         = 7;

	TIRESIAS_INIT_ACTIONSYSTEMINSTANCE = 8;

	TIRESIAS_INIT_ACTIONSYSTEMTYPE     = 9;

	TIRESIAS_INIT_NULLTYPE             = 0;

}

enum PBStatements{

	TIRESIAS_INIT_SKIP           = 3;

	TIRESIAS_INIT_BREAK          = 4;

	TIRESIAS_INIT_ABORT          = 5;

	TIRESIAS_INIT_NONDETBLOCK    = 6;

	TIRESIAS_INIT_SEQBLOCK       = 7;

	TIRESIAS_INIT_PRIOBLOCK      = 8;

	TIRESIAS_INIT_GUARDEDCOMMAND = 2;

	TIRESIAS_INIT_ASSIGNMENT     = 1;

	TIRESIAS_INIT_CALL           = 0;

}

enum PBExpressions{

	TIRESIAS_INIT_TYPEEXPRESSION           = 4;

	TIRESIAS_INIT_IDENTIFIEREXPRESSION     = 5;

	TIRESIAS_INIT_UNARYEXPRESSION          = 6;

	TIRESIAS_INIT_BINARYEXPRESSION         = 7;

	TIRESIAS_INIT_TERNARYEXPRESSION        = 8;

	TIRESIAS_INIT_INTVALUEEXPRESSION       = 9;

	TIRESIAS_INIT_BOOLVALUEEXPRESSION      = 10;

	TIRESIAS_INIT_REFVALUEEXPRESSION       = 11;

	TIRESIAS_INIT_LISTCONSTRUCTOR          = 12;

	TIRESIAS_INIT_SETCONSTRUCTOR           = 13;

	TIRESIAS_INIT_TUPLECONSTRUCTOR         = 14;

	TIRESIAS_INIT_ACCESSEXPRESSION         = 15;

	TIRESIAS_INIT_TUPLEMAPACCESSEXPRESSION = 3;

	TIRESIAS_INIT_CALLEXPRESSION           = 2;

	TIRESIAS_INIT_QUANTIFIEREXPRESSION     = 1;

	TIRESIAS_INIT_OBJECTCONSTRUCTOR        = 0;

}