public static final boolean TRACE = false;
private static final int INITIAL_CAPACITY = 16;
- private static final int STATE_COUNT = 349;
- private static final int TERMINAL_COUNT = 83;
- private static final int NONTERMINAL_COUNT = 51;
- private static final int PRODUCT_COUNT = 133;
+ private static final int STATE_COUNT = 362;
+ private static final int TERMINAL_COUNT = 85;
+ private static final int NONTERMINAL_COUNT = 52;
+ private static final int PRODUCT_COUNT = 138;
private static final int[] ACTION_ROW_ID = new int[STATE_COUNT];
private static final int[] ACTION_COLUMN_ID = new int[TERMINAL_COUNT];
- private static final short[] ACTION_TABLE = new short[6396];
- private static final int[] ERROR_TABLE = new int[906];
+ private static final short[] ACTION_TABLE = new short[6832];
+ private static final int[] ERROR_TABLE = new int[962];
private static final int[] GOTO_ROW_ID = new int[STATE_COUNT];
private static final int[] GOTO_COLUMN_ID = new int[NONTERMINAL_COUNT];
- private static final short[] GOTO_TABLE = new short[1652];
+ private static final short[] GOTO_TABLE = new short[1953];
private static final int[] PRODUCT_LHS = new int[PRODUCT_COUNT];
private static final short STATE_MASK = (short)0x0fff;
"EXTENDS",
"MAPPING_RELATION",
"FOLLOWS",
+ "RULESET",
"IMPORT",
"INCLUDE",
"AS",
"HIDING",
"ARROW",
"COLON",
- "WITH",
"MINUS",
"SYMBOL",
"LESS",
"SELECT_DISTINCT",
"TRANSFORMATION",
"EQ",
+ "CHR_SELECT",
"ATTACHED_DOT",
"IN",
"THEN",
"ELSE",
+ "WITH",
"RBRACKET",
"DOTDOT",
"AT",
"atype",
"aexp",
"ruleDeclarations",
+ "statements",
"importSpec",
"importItem",
"fieldDeclaration",
- "statements",
"guardedExpEq",
"fundep",
"ruleDeclaration",
"query",
- "queryBlock",
"lexp",
"symbol",
"faexp",
"accessor",
"case",
+ "queryBlock",
+ "verboseChrQuery",
"stringLiteral",
"symbolWithoutMinus",
"listQualifier",
"chrQuery",
- "verboseChrQuery",
+ "chrQueryPart",
"caseRhs",
"guardedExpArrow",
"equation",
return parse(0);
}
public Object parseCommands() {
- return parse(334);
+ return parse(346);
}
public Object parseImport() {
- return parse(341);
+ return parse(354);
}
public Object parseType() {
- return parse(343);
+ return parse(356);
}
public Object parseExp() {
- return parse(345);
+ return parse(358);
}
public Object parseEquationBlock() {
- return parse(347);
+ return parse(360);
}
case 5:
return reduceLocalTypeAnnotation();
case 6:
- return reduceEntityTypeAnnotation();
- case 7:
return reduceEquationBlock();
- case 8:
+ case 7:
return reduceModuleHeader();
- case 9:
+ case 8:
return reduceTypeAnnotation();
- case 10:
+ case 9:
return reduceValueDefinition();
- case 11:
+ case 10:
return reduceDataDefinition();
- case 12:
+ case 11:
return reduceTypeDefinition();
- case 13:
+ case 12:
return reduceClassDefinition();
- case 14:
+ case 13:
return reduceInstanceDefinition();
- case 15:
+ case 14:
return reduceDerivingInstanceDefinition();
- case 16:
+ case 15:
return reduceDocumentationString();
- case 17:
+ case 16:
return reduceAnnotation();
- case 18:
+ case 17:
return reducePrecedenceDefinition();
- case 19:
+ case 18:
return reduceJustImport();
- case 20:
+ case 19:
return reduceImportJava();
- case 21:
+ case 20:
return reduceEffectDefinition();
- case 22:
+ case 21:
return reduceRuleDefinition();
- case 23:
+ case 22:
return reduceMappingRelationDefinition();
- case 24:
+ case 23:
return reduceRelationDefinition();
+ case 24:
+ return reduceRulesetDefinition();
case 25:
return reduceStatementCommand();
case 26:
case 33:
return reduceConstraintStatement();
case 34:
- return reduceDeclarations();
+ return reduceLocalInclude();
case 35:
- return reduceField();
+ return reduceDeclarations();
case 36:
- return reduceFieldShorthand();
+ return reduceField();
case 37:
- return reduceVarId();
+ return reduceFieldShorthand();
case 38:
- return reduceEscapedSymbol();
+ return reduceVarId();
case 39:
- return reduceTupleConstructor();
+ return reduceEscapedSymbol();
case 40:
- return reduceBinary();
+ return reduceTupleConstructor();
case 41:
- return reduceSimpleRhs();
+ return reduceBinary();
case 42:
- return reduceGuardedRhs();
+ return reduceSimpleRhs();
case 43:
- return reduceConstructor();
+ return reduceGuardedRhs();
case 44:
- return reduceRecordConstructor();
+ return reduceConstructor();
case 45:
- return reduceContext();
+ return reduceRecordConstructor();
case 46:
- return reduceFundeps();
+ return reduceContext();
case 47:
- return reduceTypeVar();
+ return reduceFundeps();
case 48:
- return reduceTupleType();
+ return reduceTypeVar();
case 49:
- return reduceListType();
+ return reduceTupleType();
case 50:
- return reduceListTypeConstructor();
+ return reduceListType();
case 51:
- return reduceTupleTypeConstructor();
+ return reduceListTypeConstructor();
case 52:
- return reduceLambda();
+ return reduceTupleTypeConstructor();
case 53:
- return reduceLambdaMatch();
+ return reduceLambda();
case 54:
- return reduceLet();
+ return reduceLambdaMatch();
case 55:
- return reduceIf();
+ return reduceLet();
case 56:
- return reduceMatch();
+ return reduceIf();
case 57:
- return reduceDo();
+ return reduceMatch();
case 58:
- return reduceSelect();
+ return reduceDo();
case 59:
- return reduceEnforce();
+ return reduceSelect();
case 60:
- return reduceVar();
+ return reduceCHRSelect();
case 61:
- return reduceHashedId();
+ return reduceEnforce();
case 62:
- return reduceBlank();
+ return reduceVar();
case 63:
- return reduceInteger();
+ return reduceHashedId();
case 64:
- return reduceFloat();
+ return reduceBlank();
case 65:
- return reduceString();
+ return reduceInteger();
case 66:
- return reduceChar();
+ return reduceFloat();
case 67:
- return reduceTuple();
+ return reduceString();
case 68:
- return reduceViewPattern();
+ return reduceChar();
case 69:
- return reduceRightSection();
+ return reduceTuple();
case 70:
- return reduceLeftSection();
+ return reduceViewPattern();
case 71:
- return reduceListLiteral();
+ return reduceRightSection();
case 72:
- return reduceRange();
+ return reduceLeftSection();
case 73:
- return reduceListComprehension();
+ return reduceListLiteral();
case 74:
- return reduceAs();
+ return reduceRange();
case 75:
- return reduceRecord();
+ return reduceListComprehension();
case 76:
- return reduceTransformation();
+ return reduceAs();
case 77:
- return reduceEq();
+ return reduceRecord();
case 78:
- return reduceRuleDeclarations();
+ return reduceTransformation();
case 79:
- return reduceImportShowing();
+ return reduceEq();
case 80:
- return reduceImportHiding();
+ return reduceRuleDeclarations();
case 81:
- return reduceImportValueItem();
+ return reduceStatements();
case 82:
- return reduceFieldDescription();
+ return reduceImportShowing();
case 83:
- return reduceStatements();
+ return reduceImportHiding();
case 84:
- return reduceGuardedExpEq();
+ return reduceImportValueItem();
case 85:
- return reduceFundep();
+ return reduceFieldDescription();
case 86:
- return reduceQueryRuleDeclaration();
+ return reduceGuardedExpEq();
case 87:
- return reduceAnnotation();
+ return reduceFundep();
case 88:
- return reduceGuardQuery();
+ return reduceQueryRuleDeclaration();
case 89:
- return reduceEqualsQuery();
+ return reduceAnnotation();
case 90:
- return reduceBindQuery();
+ return reduceGuardQuery();
case 91:
- return reduceCompositeQuery();
+ return reduceEqualsQuery();
case 92:
- return reduceQueryBlock();
+ return reduceBindQuery();
case 93:
- return reduceApply();
+ return reduceCompositeQuery();
case 94:
- return reduceSymbol();
+ return reduceApply();
case 95:
- return reduceEscapedId();
+ return reduceSymbol();
case 96:
- return reduceMinus();
+ return reduceEscapedId();
case 97:
- return reduceLess();
+ return reduceMinus();
case 98:
- return reduceGreater();
+ return reduceLess();
case 99:
- return reduceDot();
+ return reduceGreater();
case 100:
- return reduceFieldAccess();
+ return reduceDot();
case 101:
- return reduceIdAccessor();
+ return reduceFieldAccess();
case 102:
- return reduceStringAccessor();
+ return reduceIdAccessor();
case 103:
- return reduceExpAccessor();
+ return reduceStringAccessor();
case 104:
- return reduceCase();
+ return reduceExpAccessor();
case 105:
- return reduceStringLiteral();
+ return reduceCase();
case 106:
- return reduceSymbol();
+ return reduceQueryBlock();
case 107:
- return reduceEscapedId();
+ return reduceVerboseCHRConjunction();
case 108:
- return reduceLess();
+ return reduceStringLiteral();
case 109:
- return reduceGreater();
+ return reduceSymbol();
case 110:
- return reduceDot();
+ return reduceEscapedId();
case 111:
- return reduceGuardQualifier();
+ return reduceLess();
case 112:
- return reduceLetQualifier();
+ return reduceGreater();
case 113:
- return reduceBindQualifier();
+ return reduceDot();
case 114:
- return reduceThenQualifier();
+ return reduceGuardQualifier();
case 115:
- return reduceCHRQuery();
+ return reduceLetQualifier();
case 116:
- return reduceVerboseCHRQuery();
+ return reduceBindQualifier();
case 117:
- return reduceSimpleCaseRhs();
+ return reduceThenQualifier();
case 118:
- return reduceGuardedCaseRhs();
+ return reduceCHRConjunction();
case 119:
- return reduceGuardedExpArrow();
+ return reduceCHRAtom();
case 120:
- return reduceGuardEquation();
+ return reduceCHREquals();
case 121:
- return reduceBasicEquation();
+ return reduceCHRBinds();
case 122:
- return reduceEffect();
+ return reduceSimpleCaseRhs();
case 123:
- return reduceJustEtype();
+ return reduceGuardedCaseRhs();
case 124:
- return reduceForAll();
+ return reduceGuardedExpArrow();
case 125:
- return reduceApplyType();
+ return reduceGuardEquation();
case 126:
+ return reduceBasicEquation();
+ case 127:
+ return reduceEffect();
+ case 128:
+ return reduceJustEtype();
+ case 129:
+ return reduceForAll();
+ case 130:
+ return reduceApplyType();
+ case 131:
return reduceDummy();
default:
* exp ::= bexp (HASTYPE type)?
*/
protected abstract Object reduceLocalTypeAnnotation();
- /**
- * exp ::= bexp COLON ID (queryBlock | WITH queryBlock?)?
- */
- protected abstract Object reduceEntityTypeAnnotation();
/**
* equationBlock ::= (equation (SEMICOLON equation)*)?
*/
* declaration ::= bexp FOLLOWS ruleDeclarations
*/
protected abstract Object reduceRelationDefinition();
+ /**
+ * declaration ::= RULESET ID WHERE statements
+ */
+ protected abstract Object reduceRulesetDefinition();
/**
* command ::= statement
*/
*/
protected abstract Object reduceVerboseCHRStatement();
/**
- * statement ::= CONSTRAINT ID atype*
+ * statement ::= CONSTRAINT constructor
*/
protected abstract Object reduceConstraintStatement();
+ /**
+ * statement ::= INCLUDE ID aexp
+ */
+ protected abstract Object reduceLocalInclude();
/**
* declarations ::= LBRACE (declaration (SEMICOLON (declaration SEMICOLON)* declaration)?)? RBRACE
*/
* aexp ::= (SELECT | SELECT_FIRST | SELECT_DISTINCT) exp WHERE queryBlock
*/
protected abstract Object reduceSelect();
+ /**
+ * aexp ::= CHR_SELECT exp WHERE verboseChrQuery
+ */
+ protected abstract Object reduceCHRSelect();
/**
* aexp ::= ENFORCE queryBlock
*/
* ruleDeclarations ::= LBRACE (ruleDeclaration (SEMICOLON (ruleDeclaration SEMICOLON)* ruleDeclaration)?)? RBRACE
*/
protected abstract Object reduceRuleDeclarations();
+ /**
+ * statements ::= LBRACE (statement (SEMICOLON (statement SEMICOLON)* statement)?)? RBRACE
+ */
+ protected abstract Object reduceStatements();
/**
* importSpec ::= LPAREN (importItem (COMMA (importItem COMMA)* importItem)?)? RPAREN
*/
* fieldDeclaration ::= ID HASTYPE type
*/
protected abstract Object reduceFieldDescription();
- /**
- * statements ::= LBRACE (statement (SEMICOLON (statement SEMICOLON)* statement)?)? RBRACE
- */
- protected abstract Object reduceStatements();
/**
* guardedExpEq ::= BAR exp (COMMA exp)* EQUALS exp
*/
* query ::= QUERY_OP queryBlock
*/
protected abstract Object reduceCompositeQuery();
- /**
- * queryBlock ::= LBRACE (query (SEMICOLON (query SEMICOLON)* query)?)? RBRACE
- */
- protected abstract Object reduceQueryBlock();
/**
* lexp ::= faexp faexp*
*/
* case ::= exp caseRhs
*/
protected abstract Object reduceCase();
+ /**
+ * queryBlock ::= LBRACE (query (SEMICOLON (query SEMICOLON)* query)?)? RBRACE
+ */
+ protected abstract Object reduceQueryBlock();
+ /**
+ * verboseChrQuery ::= LBRACE chrQuery (SEMICOLON chrQuery)* RBRACE
+ */
+ protected abstract Object reduceVerboseCHRConjunction();
/**
* stringLiteral ::= BEGIN_STRING (SUSPEND_STRING exp CONTINUE_STRING)* END_STRING
*/
*/
protected abstract Object reduceThenQualifier();
/**
- * chrQuery ::= (listQualifier COMMA)* listQualifier
+ * chrQuery ::= (chrQueryPart COMMA)* chrQueryPart
+ */
+ protected abstract Object reduceCHRConjunction();
+ /**
+ * chrQueryPart ::= exp
+ */
+ protected abstract Object reduceCHRAtom();
+ /**
+ * chrQueryPart ::= exp EQUALS exp
*/
- protected abstract Object reduceCHRQuery();
+ protected abstract Object reduceCHREquals();
/**
- * verboseChrQuery ::= LBRACE listQualifier (SEMICOLON listQualifier)* RBRACE
+ * chrQueryPart ::= exp BINDS exp
*/
- protected abstract Object reduceVerboseCHRQuery();
+ protected abstract Object reduceCHRBinds();
/**
* caseRhs ::= ARROW exp (WHERE statements)?
*/