- public static final int ENFORCE = 51;
- public static final int BLANK = 52;
- public static final int FLOAT = 53;
- public static final int LBRACKET = 54;
- public static final int ESCAPED_SYMBOL = 55;
- public static final int CHAR = 56;
- public static final int WHEN = 57;
- public static final int ATTACHED_HASH = 58;
- public static final int SELECT = 59;
- public static final int SELECT_FIRST = 60;
- 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 WITH = 68;
- public static final int RBRACKET = 69;
- public static final int DOTDOT = 70;
- public static final int AT = 71;
- public static final int SUSPEND_STRING = 72;
- public static final int CONTINUE_STRING = 73;
- public static final int BINDS = 74;
- public static final int IMPLIES = 75;
- public static final int THEN_AFTER_WHEN = 76;
- public static final int CONSTRAINT = 77;
- public static final int BY = 78;
- public static final int QUERY_OP = 79;
- public static final int FORALL = 80;
- public static final int COMMENT = 81;
- public static final int EOL = 82;
- public static final int EOF = 83;
+ public static final int EDO = 51;
+ public static final int ENFORCE = 52;
+ public static final int BLANK = 53;
+ public static final int FLOAT = 54;
+ public static final int LBRACKET = 55;
+ public static final int ESCAPED_SYMBOL = 56;
+ public static final int CHAR = 57;
+ public static final int WHEN = 58;
+ public static final int ATTACHED_HASH = 59;
+ public static final int SELECT = 60;
+ public static final int SELECT_FIRST = 61;
+ public static final int SELECT_DISTINCT = 62;
+ public static final int TRANSFORMATION = 63;
+ public static final int EQ = 64;
+ public static final int CHR_SELECT = 65;
+ public static final int ATTACHED_DOT = 66;
+ public static final int IN = 67;
+ public static final int THEN = 68;
+ public static final int ELSE = 69;
+ public static final int WITH = 70;
+ public static final int RBRACKET = 71;
+ public static final int DOTDOT = 72;
+ public static final int AT = 73;
+ public static final int SUSPEND_STRING = 74;
+ public static final int CONTINUE_STRING = 75;
+ public static final int BINDS = 76;
+ public static final int IMPLIES = 77;
+ public static final int THEN_AFTER_WHEN = 78;
+ public static final int CONSTRAINT = 79;
+ public static final int BY = 80;
+ public static final int QUERY_OP = 81;
+ public static final int FORALL = 82;
+ public static final int DOUBLE_LESS = 83;
+ public static final int DOUBLE_GREATER = 84;
+ public static final int COMMENT = 85;
+ public static final int EOL = 86;
+ public static final int EOF = 87;