public static final int EXTENDS = 26;
public static final int MAPPING_RELATION = 27;
public static final int FOLLOWS = 28;
- public static final int IMPORT = 29;
- public static final int INCLUDE = 30;
- public static final int AS = 31;
- public static final int LPAREN = 32;
- public static final int RPAREN = 33;
- public static final int HIDING = 34;
- public static final int ARROW = 35;
- public static final int COLON = 36;
- public static final int WITH = 37;
+ public static final int RULESET = 29;
+ public static final int IMPORT = 30;
+ public static final int INCLUDE = 31;
+ public static final int AS = 32;
+ public static final int LPAREN = 33;
+ public static final int RPAREN = 34;
+ public static final int HIDING = 35;
+ public static final int ARROW = 36;
+ public static final int COLON = 37;
public static final int MINUS = 38;
public static final int SYMBOL = 39;
public static final int LESS = 40;
public static final int SELECT_DISTINCT = 61;
public static final int TRANSFORMATION = 62;
public static final int EQ = 63;
- public static final int ATTACHED_DOT = 64;
- public static final int IN = 65;
- public static final int THEN = 66;
- public static final int ELSE = 67;
- public static final int RBRACKET = 68;
- public static final int DOTDOT = 69;
- public static final int AT = 70;
- public static final int SUSPEND_STRING = 71;
- public static final int CONTINUE_STRING = 72;
- public static final int BINDS = 73;
- public static final int IMPLIES = 74;
- public static final int THEN_AFTER_WHEN = 75;
- public static final int CONSTRAINT = 76;
- public static final int BY = 77;
- public static final int QUERY_OP = 78;
- public static final int FORALL = 79;
- public static final int COMMENT = 80;
- public static final int EOL = 81;
- public static final int EOF = 82;
+ public static final int CHR_SELECT = 64;
+ public static final int ATTACHED_DOT = 65;
+ public static final int IN = 66;
+ public static final int THEN = 67;
+ public static final int ELSE = 68;
+ public static final int WITH = 69;
+ public static final int RBRACKET = 70;
+ public static final int DOTDOT = 71;
+ public static final int AT = 72;
+ public static final int SUSPEND_STRING = 73;
+ public static final int CONTINUE_STRING = 74;
+ public static final int BINDS = 75;
+ public static final int IMPLIES = 76;
+ public static final int THEN_AFTER_WHEN = 77;
+ public static final int CONSTRAINT = 78;
+ public static final int BY = 79;
+ public static final int QUERY_OP = 80;
+ public static final int FORALL = 81;
+ public static final int COMMENT = 82;
+ public static final int EOL = 83;
+ public static final int EOF = 84;
}