AdelanteParserTreeConstants.java

/* Generated By:JavaCC: Do not edit this line. AdelanteParserTreeConstants.java Version 7.0.12 */
package com.github.tom65536.adelante.parser;

public interface AdelanteParserTreeConstants
{
  public int JJTPROGRAM = 0;
  public int JJTVOID = 1;
  public int JJTBUNDLEFILE = 2;
  public int JJTPACKET = 3;
  public int JJTPACKETREQUIRES = 4;
  public int JJTPACKETENSURES = 5;
  public int JJTBLOCKTAIL = 6;
  public int JJTPACKETUSAGE = 7;
  public int JJTPACKETREFPART = 8;
  public int JJTDIRUP = 9;
  public int JJTUSERENAME = 10;
  public int JJTWITHOUTCLAUSE = 11;
  public int JJTONLYCLAUSE = 12;
  public int JJTIMPORTITEM = 13;
  public int JJTDECL = 14;
  public int JJTPUBLICMODIFIER = 15;
  public int JJTABSTRACTTYPEDECL = 16;
  public int JJTFORMALTYPEPART = 17;
  public int JJTFORMALTYPEPARAM = 18;
  public int JJTTYPEBOUNDS = 19;
  public int JJTDISJUNCTTYPEBOUND = 20;
  public int JJTCONJUNCTTYPEBOUND = 21;
  public int JJTSIMPLETYPEBOUND = 22;
  public int JJTABSTRACTTYPE = 23;
  public int JJTPROCEDUREDECL = 24;
  public int JJTPUREMODIFIER = 25;
  public int JJTPROCEDUREHEAD = 26;
  public int JJTFORMALMEASUREPART = 27;
  public int JJTPROCEDURENAMING = 28;
  public int JJTFORMALPARAMETERPACK = 29;
  public int JJTVARMODIFIER = 30;
  public int JJTCONSTMODIFIER = 31;
  public int JJTPARAMETERHEAD = 32;
  public int JJTPROCPARAM = 33;
  public int JJTVIRTUALPARAMETERSPACK = 34;
  public int JJTPARAMETERBODY = 35;
  public int JJTOPERATORDECL = 36;
  public int JJTOPERATORHEAD = 37;
  public int JJTEXPRESSIONSYNONYM = 38;
  public int JJTTYPESYNONYM = 39;
  public int JJTPROTOCOLDECL = 40;
  public int JJTSIGNATURE = 41;
  public int JJTAUTOMATICDELEGATION = 42;
  public int JJTIMPLPROTOCOL = 43;
  public int JJTMEASUREDECL = 44;
  public int JJTUNITTEST = 45;
  public int JJTBODY = 46;
  public int JJTROOT = 47;
  public int JJTREFINEMENT = 48;
  public int JJTPARAGRAPH = 49;
  public int JJTASSERTION = 50;
  public int JJTPRECONDITION = 51;
  public int JJTPOSTCONDITION = 52;
  public int JJTINVARIANT = 53;
  public int JJTVARIANT = 54;
  public int JJTPROTOCOLINSTANCE = 55;
  public int JJTEXPRESSIONSTATEMENT = 56;
  public int JJTASSIGNMENTEXPRESSION = 57;
  public int JJTOPERATOREXPRESSION = 58;
  public int JJTCOMPARISONEXPRESSION = 59;
  public int JJTPOWEREXPRESSION = 60;
  public int JJTCONCRETIZER = 61;
  public int JJTABSTRACTOR = 62;
  public int JJTCONDITIONALCHOICE = 63;
  public int JJTCONDITIONALBRANCH = 64;
  public int JJTPATTERNMATCHING = 65;
  public int JJTDEFAULTBRANCH = 66;
  public int JJTCASEBRANCH = 67;
  public int JJTPATTERNS = 68;
  public int JJTPATTERN = 69;
  public int JJTPATTERNBINDER = 70;
  public int JJTPATTERNDISPLAY = 71;
  public int JJTACTUALPARAMETERLIST = 72;
  public int JJTACTUALPARAMETER = 73;
  public int JJTACTUALPROCPARAMETER = 74;
  public int JJTWITHSTATEMENT = 75;
  public int JJTWITHHEAD = 76;
  public int JJTDISPLAY = 77;
  public int JJTSELECTOR = 78;
  public int JJTINVOCATION = 79;
  public int JJTSUBSCRIPT = 80;
  public int JJTTERMINATOR = 81;
  public int JJTCONTINUATOR = 82;
  public int JJTREPETITION = 83;
  public int JJTACROSSCLAUSE = 84;
  public int JJTWHILECLAUSE = 85;
  public int JJTREPEATCLAUSE = 86;
  public int JJTUNTILCLAUSE = 87;
  public int JJTSOMECLAUSE = 88;
  public int JJTALLCLAUSE = 89;
  public int JJTNOTALLCLAUSE = 90;
  public int JJTNOCLAUSE = 91;
  public int JJTLOOPINVARIANT = 92;
  public int JJTLOOPVARIANT = 93;
  public int JJTPROCREF = 94;
  public int JJTOPREF = 95;
  public int JJTREFINEMENTREF = 96;
  public int JJTLOOPREF = 97;
  public int JJTOBJECTDECL = 98;
  public int JJTTYPEDECLARER = 99;
  public int JJTINDEXTYPE = 100;
  public int JJTSTRUCTTYPE = 101;
  public int JJTENUMTYPE = 102;
  public int JJTINTTYPE = 103;
  public int JJTREALTYPE = 104;
  public int JJTTEXTTYPE = 105;
  public int JJTBOOLTYPE = 106;
  public int JJTNAMEDTYPE = 107;
  public int JJTVOIDTYPE = 108;
  public int JJTBOUNDS = 109;
  public int JJTDIMENSION = 110;
  public int JJTDIMOP = 111;
  public int JJTASTOP = 112;
  public int JJTSLASHOP = 113;
  public int JJTDIMFACTOR = 114;
  public int JJTOBSOLETION = 115;
  public int JJTDOCUMENTATION = 116;
  public int JJTREASON = 117;
  public int JJTEXAMPLE = 118;
  public int JJTOPERATORNAME = 119;
  public int JJTASSIGNMENTOP = 120;
  public int JJTBRACKETSOP = 121;
  public int JJTOPERATOR = 122;
  public int JJTLEFTARROW = 123;
  public int JJTBOXEDRIGHTARROW = 124;
  public int JJTRIGHTARROW = 125;
  public int JJTBOXEDLEFTARROW = 126;
  public int JJTLEFTRIGHTARROW = 127;
  public int JJTORELSEOP = 128;
  public int JJTOROP = 129;
  public int JJTXOROP = 130;
  public int JJTIMPLIESOP = 131;
  public int JJTANDTHENOP = 132;
  public int JJTANDOP = 133;
  public int JJTLESSTHANOP = 134;
  public int JJTGREATERTHANOP = 135;
  public int JJTLESSOREQUALOP = 136;
  public int JJTGREATEROREQUALOP = 137;
  public int JJTEQUALOP = 138;
  public int JJTNOTEQUALOP = 139;
  public int JJTNOTINOP = 140;
  public int JJTINOP = 141;
  public int JJTBOXEDGREATERTHANOP = 142;
  public int JJTBOXEDLESSTHANOP = 143;
  public int JJTBOXEDLESSOREQUALOP = 144;
  public int JJTBOXEDGREATEROREQUALOP = 145;
  public int JJTBOXEDEQUALOP = 146;
  public int JJTBOXEDNOTEQUALOP = 147;
  public int JJTCIRCLEDLESSTHANOP = 148;
  public int JJTCIRCLEDGREATERTHANOP = 149;
  public int JJTCIRCLEDLESSOREQUALOP = 150;
  public int JJTCIRCLEDGREATEROREQUALOP = 151;
  public int JJTCIRCLEDEQUALOP = 152;
  public int JJTCIRCLEDNOTEQUALOP = 153;
  public int JJTSTARSHIPOP = 154;
  public int JJTBATOP = 155;
  public int JJTTILDEOP = 156;
  public int JJTPLUSOP = 157;
  public int JJTMINUSOP = 158;
  public int JJTDOUBLEPLUSOP = 159;
  public int JJTDOUBLEMINUSOP = 160;
  public int JJTCIRCLEDPLUSOP = 161;
  public int JJTCIRCLEDMINUSOP = 162;
  public int JJTBOXEDPLUSOP = 163;
  public int JJTBOXEDMINUSOP = 164;
  public int JJTASTERISKOP = 165;
  public int JJTDIVOP = 166;
  public int JJTMODOP = 167;
  public int JJTTIMESOP = 168;
  public int JJTPERCENTOP = 169;
  public int JJTASTERISKSLASHOP = 170;
  public int JJTSLASHASTERISKOP = 171;
  public int JJTCIRCLEDAATERISKOP = 172;
  public int JJTCIRCLEDSLASHOP = 173;
  public int JJTCIRCLEDTIMESOP = 174;
  public int JJTCIRCLEDDOTOP = 175;
  public int JJTBOXEDASTERISKOP = 176;
  public int JJTBOXEDSLASHOP = 177;
  public int JJTBOXEDTIMESOP = 178;
  public int JJTBOXEDDOTOP = 179;
  public int JJTBOXEDCOLONOP = 180;
  public int JJTSLASHSLASHOP = 181;
  public int JJTCARETOP = 182;
  public int JJTDOUBLEASTERISKOP = 183;
  public int JJTBOXEDCARETOP = 184;
  public int JJTNOTOP = 185;
  public int JJTDOUBLELESSTHANOP = 186;
  public int JJTDOUBLEGREATERTHANOP = 187;
  public int JJTTRIPLELESSTHANOP = 188;
  public int JJTTRIPLEGREATERTHANOO = 189;
  public int JJTEXCLAMATIONOP = 190;
  public int JJTDOUBLEEXCLAMATIONOP = 191;
  public int JJTQUESTIONOP = 192;
  public int JJTDOUBLEQUESTIONOP = 193;
  public int JJTQUESTIONEXCLAMATIONOP = 194;
  public int JJTEXCLAMATIONQUESTIONOP = 195;
  public int JJTVERTICALBAROP = 196;
  public int JJTDOUBLEVERTICALBAROP = 197;
  public int JJTAMPERSANDOP = 198;
  public int JJTDOUBLEAMPERSANDOP = 199;
  public int JJTDOUBLECARETOP = 200;
  public int JJTBOXEDQUESTIONOP = 201;
  public int JJTBOXEDSINGLEQUOTEOP = 202;
  public int JJTPLUSMINUSOP = 203;
  public int JJTMINUSPLUSOP = 204;
  public int JJTMINUS = 205;
  public int JJTIDENTIFIER = 206;
  public int JJTIDENTIFIERREF = 207;
  public int JJTELLIPSIS = 208;
  public int JJTINTEGERDENOTATION = 209;
  public int JJTREALDENOTATION = 210;
  public int JJTTRUEDENOTATION = 211;
  public int JJTFALSEDENOTATION = 212;
  public int JJTTEXTDENOTATION = 213;


  public String[] jjtNodeName = {
    "Program",
    "void",
    "BundleFile",
    "Packet",
    "PacketRequires",
    "PacketEnsures",
    "BlockTail",
    "PacketUsage",
    "PacketRefPart",
    "DirUp",
    "UseRename",
    "WithoutClause",
    "OnlyClause",
    "ImportItem",
    "Decl",
    "PublicModifier",
    "AbstractTypeDecl",
    "FormalTypePart",
    "FormalTypeParam",
    "TypeBounds",
    "DisjunctTypeBound",
    "ConjunctTypeBound",
    "SimpleTypeBound",
    "AbstractType",
    "ProcedureDecl",
    "PureModifier",
    "ProcedureHead",
    "FormalMeasurePart",
    "ProcedureNaming",
    "FormalParameterPack",
    "VarModifier",
    "ConstModifier",
    "ParameterHead",
    "ProcParam",
    "VirtualParametersPack",
    "ParameterBody",
    "OperatorDecl",
    "OperatorHead",
    "ExpressionSynonym",
    "TypeSynonym",
    "ProtocolDecl",
    "Signature",
    "AutomaticDelegation",
    "ImplProtocol",
    "MeasureDecl",
    "UnitTest",
    "Body",
    "Root",
    "Refinement",
    "Paragraph",
    "Assertion",
    "Precondition",
    "Postcondition",
    "Invariant",
    "Variant",
    "ProtocolInstance",
    "ExpressionStatement",
    "AssignmentExpression",
    "OperatorExpression",
    "ComparisonExpression",
    "PowerExpression",
    "Concretizer",
    "Abstractor",
    "ConditionalChoice",
    "ConditionalBranch",
    "PatternMatching",
    "DefaultBranch",
    "CaseBranch",
    "Patterns",
    "Pattern",
    "PatternBinder",
    "PatternDisplay",
    "ActualParameterList",
    "ActualParameter",
    "ActualProcParameter",
    "WithStatement",
    "WithHead",
    "Display",
    "Selector",
    "Invocation",
    "Subscript",
    "Terminator",
    "Continuator",
    "Repetition",
    "AcrossClause",
    "WhileClause",
    "RepeatClause",
    "UntilClause",
    "SomeClause",
    "AllClause",
    "NotAllClause",
    "NoClause",
    "LoopInvariant",
    "LoopVariant",
    "ProcRef",
    "OpRef",
    "RefinementRef",
    "LoopRef",
    "ObjectDecl",
    "TypeDeclarer",
    "IndexType",
    "StructType",
    "EnumType",
    "IntType",
    "RealType",
    "TextType",
    "BoolType",
    "NamedType",
    "VoidType",
    "Bounds",
    "Dimension",
    "DimOp",
    "AstOp",
    "SlashOp",
    "DimFactor",
    "Obsoletion",
    "Documentation",
    "Reason",
    "Example",
    "OperatorName",
    "AssignmentOp",
    "BracketsOp",
    "Operator",
    "LeftArrow",
    "BoxedRightArrow",
    "RightArrow",
    "BoxedLeftArrow",
    "LeftRightArrow",
    "OrElseOp",
    "OrOp",
    "XorOp",
    "ImpliesOp",
    "AndThenOp",
    "AndOp",
    "LessThanOp",
    "GreaterThanOp",
    "LessOrEqualOp",
    "GreaterOrEqualOp",
    "EqualOp",
    "NotEqualOp",
    "NotInOp",
    "InOp",
    "BoxedGreaterThanOp",
    "BoxedLessThanOp",
    "BoxedLessOrEqualOp",
    "BoxedGreaterOrEqualOp",
    "BoxedEqualOp",
    "BoxedNotEqualOp",
    "CircledLessThanOp",
    "CircledGreaterThanOp",
    "CircledLessOrEqualOp",
    "CircledGreaterOrEqualOp",
    "CircledEqualOp",
    "CircledNotEqualOp",
    "StarshipOp",
    "BatOp",
    "TildeOp",
    "PlusOp",
    "MinusOp",
    "DoublePlusOp",
    "DoubleMinusOp",
    "CircledPlusOp",
    "CircledMinusOp",
    "BoxedPlusOp",
    "BoxedMinusOp",
    "AsteriskOp",
    "DivOp",
    "ModOp",
    "TimesOp",
    "PercentOp",
    "AsteriskSlashOp",
    "SlashAsteriskOp",
    "CircledAateriskOp",
    "CircledSlashOp",
    "CircledTimesOp",
    "CircledDotOp",
    "BoxedAsteriskOp",
    "BoxedSlashOp",
    "BoxedTimesOp",
    "BoxedDotOp",
    "BoxedColonOp",
    "SlashSlashOp",
    "CaretOp",
    "DoubleAsteriskOp",
    "BoxedCaretOp",
    "NotOp",
    "DoubleLessThanOp",
    "DoubleGreaterThanOp",
    "TripleLessThanOp",
    "TripleGreaterThanOo",
    "ExclamationOp",
    "DoubleExclamationOp",
    "QuestionOp",
    "DoubleQuestionOp",
    "QuestionExclamationOp",
    "ExclamationQuestionOp",
    "VerticalBarOp",
    "DoubleVerticalBarOp",
    "AmpersandOp",
    "DoubleAmpersandOp",
    "DoubleCaretOp",
    "BoxedQuestionOp",
    "BoxedSingleQuoteOp",
    "PlusMinusOp",
    "MinusPlusOp",
    "Minus",
    "Identifier",
    "IdentifierRef",
    "Ellipsis",
    "IntegerDenotation",
    "RealDenotation",
    "TrueDenotation",
    "FalseDenotation",
    "TextDenotation",
  };
}
/* JavaCC - OriginalChecksum=3ef28d5108fe6b68f0c7d21ac62faccf (do not edit this line) */