diff options
author | 2021-06-27 01:43:59 +0200 | |
---|---|---|
committer | 2021-06-27 02:01:19 +0200 | |
commit | b88c842ba625753ea185e6166cd967e694160798 (patch) | |
tree | 51931f892dff12d253f7697179e137bdfe705155 /org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java | |
parent | Opposite reference scope (diff) | |
download | refinery-b88c842ba625753ea185e6166cd967e694160798.tar.gz refinery-b88c842ba625753ea185e6166cd967e694160798.tar.zst refinery-b88c842ba625753ea185e6166cd967e694160798.zip |
Add enum support
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java | 412 |
1 files changed, 306 insertions, 106 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java index 5b3781a2..4368036b 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/services/ProblemGrammarAccess.java | |||
@@ -32,31 +32,31 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
32 | private final Group cGroup_0 = (Group)cGroup.eContents().get(0); | 32 | private final Group cGroup_0 = (Group)cGroup.eContents().get(0); |
33 | private final Keyword cProblemKeyword_0_0 = (Keyword)cGroup_0.eContents().get(0); | 33 | private final Keyword cProblemKeyword_0_0 = (Keyword)cGroup_0.eContents().get(0); |
34 | private final Assignment cNameAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1); | 34 | private final Assignment cNameAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1); |
35 | private final RuleCall cNameIDTerminalRuleCall_0_1_0 = (RuleCall)cNameAssignment_0_1.eContents().get(0); | 35 | private final RuleCall cNameIdentifierParserRuleCall_0_1_0 = (RuleCall)cNameAssignment_0_1.eContents().get(0); |
36 | private final Keyword cFullStopKeyword_0_2 = (Keyword)cGroup_0.eContents().get(2); | 36 | private final Keyword cFullStopKeyword_0_2 = (Keyword)cGroup_0.eContents().get(2); |
37 | private final Assignment cStatementsAssignment_1 = (Assignment)cGroup.eContents().get(1); | 37 | private final Assignment cStatementsAssignment_1 = (Assignment)cGroup.eContents().get(1); |
38 | private final RuleCall cStatementsStatementParserRuleCall_1_0 = (RuleCall)cStatementsAssignment_1.eContents().get(0); | 38 | private final RuleCall cStatementsStatementParserRuleCall_1_0 = (RuleCall)cStatementsAssignment_1.eContents().get(0); |
39 | 39 | ||
40 | //Problem: | 40 | //Problem: |
41 | // ("problem" name=ID ".")? | 41 | // ("problem" name=Identifier ".")? |
42 | // statements+=Statement*; | 42 | // statements+=Statement*; |
43 | @Override public ParserRule getRule() { return rule; } | 43 | @Override public ParserRule getRule() { return rule; } |
44 | 44 | ||
45 | //("problem" name=ID ".")? | 45 | //("problem" name=Identifier ".")? |
46 | //statements+=Statement* | 46 | //statements+=Statement* |
47 | public Group getGroup() { return cGroup; } | 47 | public Group getGroup() { return cGroup; } |
48 | 48 | ||
49 | //("problem" name=ID ".")? | 49 | //("problem" name=Identifier ".")? |
50 | public Group getGroup_0() { return cGroup_0; } | 50 | public Group getGroup_0() { return cGroup_0; } |
51 | 51 | ||
52 | //"problem" | 52 | //"problem" |
53 | public Keyword getProblemKeyword_0_0() { return cProblemKeyword_0_0; } | 53 | public Keyword getProblemKeyword_0_0() { return cProblemKeyword_0_0; } |
54 | 54 | ||
55 | //name=ID | 55 | //name=Identifier |
56 | public Assignment getNameAssignment_0_1() { return cNameAssignment_0_1; } | 56 | public Assignment getNameAssignment_0_1() { return cNameAssignment_0_1; } |
57 | 57 | ||
58 | //ID | 58 | //Identifier |
59 | public RuleCall getNameIDTerminalRuleCall_0_1_0() { return cNameIDTerminalRuleCall_0_1_0; } | 59 | public RuleCall getNameIdentifierParserRuleCall_0_1_0() { return cNameIdentifierParserRuleCall_0_1_0; } |
60 | 60 | ||
61 | //"." | 61 | //"." |
62 | public Keyword getFullStopKeyword_0_2() { return cFullStopKeyword_0_2; } | 62 | public Keyword getFullStopKeyword_0_2() { return cFullStopKeyword_0_2; } |
@@ -71,28 +71,32 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
71 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Statement"); | 71 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Statement"); |
72 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | 72 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); |
73 | private final RuleCall cClassDeclarationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | 73 | private final RuleCall cClassDeclarationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); |
74 | private final RuleCall cPredicateDefinitionParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | 74 | private final RuleCall cEnumDeclarationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); |
75 | private final RuleCall cAssertionParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | 75 | private final RuleCall cPredicateDefinitionParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); |
76 | private final RuleCall cScopeDeclarationParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); | 76 | private final RuleCall cAssertionParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); |
77 | private final RuleCall cScopeDeclarationParserRuleCall_4 = (RuleCall)cAlternatives.eContents().get(4); | ||
77 | 78 | ||
78 | //Statement: | 79 | //Statement: |
79 | // ClassDeclaration | PredicateDefinition | Assertion | ScopeDeclaration; | 80 | // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration; |
80 | @Override public ParserRule getRule() { return rule; } | 81 | @Override public ParserRule getRule() { return rule; } |
81 | 82 | ||
82 | //ClassDeclaration | PredicateDefinition | Assertion | ScopeDeclaration | 83 | //ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration |
83 | public Alternatives getAlternatives() { return cAlternatives; } | 84 | public Alternatives getAlternatives() { return cAlternatives; } |
84 | 85 | ||
85 | //ClassDeclaration | 86 | //ClassDeclaration |
86 | public RuleCall getClassDeclarationParserRuleCall_0() { return cClassDeclarationParserRuleCall_0; } | 87 | public RuleCall getClassDeclarationParserRuleCall_0() { return cClassDeclarationParserRuleCall_0; } |
87 | 88 | ||
89 | //EnumDeclaration | ||
90 | public RuleCall getEnumDeclarationParserRuleCall_1() { return cEnumDeclarationParserRuleCall_1; } | ||
91 | |||
88 | //PredicateDefinition | 92 | //PredicateDefinition |
89 | public RuleCall getPredicateDefinitionParserRuleCall_1() { return cPredicateDefinitionParserRuleCall_1; } | 93 | public RuleCall getPredicateDefinitionParserRuleCall_2() { return cPredicateDefinitionParserRuleCall_2; } |
90 | 94 | ||
91 | //Assertion | 95 | //Assertion |
92 | public RuleCall getAssertionParserRuleCall_2() { return cAssertionParserRuleCall_2; } | 96 | public RuleCall getAssertionParserRuleCall_3() { return cAssertionParserRuleCall_3; } |
93 | 97 | ||
94 | //ScopeDeclaration | 98 | //ScopeDeclaration |
95 | public RuleCall getScopeDeclarationParserRuleCall_3() { return cScopeDeclarationParserRuleCall_3; } | 99 | public RuleCall getScopeDeclarationParserRuleCall_4() { return cScopeDeclarationParserRuleCall_4; } |
96 | } | 100 | } |
97 | public class ClassDeclarationElements extends AbstractParserRuleElementFinder { | 101 | public class ClassDeclarationElements extends AbstractParserRuleElementFinder { |
98 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ClassDeclaration"); | 102 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ClassDeclaration"); |
@@ -101,17 +105,17 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
101 | private final Keyword cAbstractAbstractKeyword_0_0 = (Keyword)cAbstractAssignment_0.eContents().get(0); | 105 | private final Keyword cAbstractAbstractKeyword_0_0 = (Keyword)cAbstractAssignment_0.eContents().get(0); |
102 | private final Keyword cClassKeyword_1 = (Keyword)cGroup.eContents().get(1); | 106 | private final Keyword cClassKeyword_1 = (Keyword)cGroup.eContents().get(1); |
103 | private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2); | 107 | private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2); |
104 | private final RuleCall cNameIDTerminalRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0); | 108 | private final RuleCall cNameIdentifierParserRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0); |
105 | private final Group cGroup_3 = (Group)cGroup.eContents().get(3); | 109 | private final Group cGroup_3 = (Group)cGroup.eContents().get(3); |
106 | private final Keyword cExtendsKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0); | 110 | private final Keyword cExtendsKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0); |
107 | private final Assignment cSuperTypesAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1); | 111 | private final Assignment cSuperTypesAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1); |
108 | private final CrossReference cSuperTypesClassDeclarationCrossReference_3_1_0 = (CrossReference)cSuperTypesAssignment_3_1.eContents().get(0); | 112 | private final CrossReference cSuperTypesRelationCrossReference_3_1_0 = (CrossReference)cSuperTypesAssignment_3_1.eContents().get(0); |
109 | private final RuleCall cSuperTypesClassDeclarationQualifiedNameParserRuleCall_3_1_0_1 = (RuleCall)cSuperTypesClassDeclarationCrossReference_3_1_0.eContents().get(1); | 113 | private final RuleCall cSuperTypesRelationQualifiedNameParserRuleCall_3_1_0_1 = (RuleCall)cSuperTypesRelationCrossReference_3_1_0.eContents().get(1); |
110 | private final Group cGroup_3_2 = (Group)cGroup_3.eContents().get(2); | 114 | private final Group cGroup_3_2 = (Group)cGroup_3.eContents().get(2); |
111 | private final Keyword cCommaKeyword_3_2_0 = (Keyword)cGroup_3_2.eContents().get(0); | 115 | private final Keyword cCommaKeyword_3_2_0 = (Keyword)cGroup_3_2.eContents().get(0); |
112 | private final Assignment cSuperTypesAssignment_3_2_1 = (Assignment)cGroup_3_2.eContents().get(1); | 116 | private final Assignment cSuperTypesAssignment_3_2_1 = (Assignment)cGroup_3_2.eContents().get(1); |
113 | private final CrossReference cSuperTypesClassDeclarationCrossReference_3_2_1_0 = (CrossReference)cSuperTypesAssignment_3_2_1.eContents().get(0); | 117 | private final CrossReference cSuperTypesRelationCrossReference_3_2_1_0 = (CrossReference)cSuperTypesAssignment_3_2_1.eContents().get(0); |
114 | private final RuleCall cSuperTypesClassDeclarationQualifiedNameParserRuleCall_3_2_1_0_1 = (RuleCall)cSuperTypesClassDeclarationCrossReference_3_2_1_0.eContents().get(1); | 118 | private final RuleCall cSuperTypesRelationQualifiedNameParserRuleCall_3_2_1_0_1 = (RuleCall)cSuperTypesRelationCrossReference_3_2_1_0.eContents().get(1); |
115 | private final Alternatives cAlternatives_4 = (Alternatives)cGroup.eContents().get(4); | 119 | private final Alternatives cAlternatives_4 = (Alternatives)cGroup.eContents().get(4); |
116 | private final Group cGroup_4_0 = (Group)cAlternatives_4.eContents().get(0); | 120 | private final Group cGroup_4_0 = (Group)cAlternatives_4.eContents().get(0); |
117 | private final Keyword cLeftCurlyBracketKeyword_4_0_0 = (Keyword)cGroup_4_0.eContents().get(0); | 121 | private final Keyword cLeftCurlyBracketKeyword_4_0_0 = (Keyword)cGroup_4_0.eContents().get(0); |
@@ -124,14 +128,14 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
124 | 128 | ||
125 | //ClassDeclaration: | 129 | //ClassDeclaration: |
126 | // abstract?="abstract"? "class" | 130 | // abstract?="abstract"? "class" |
127 | // name=ID | 131 | // name=Identifier |
128 | // ("extends" superTypes+=[ClassDeclaration|QualifiedName] ("," superTypes+=[ClassDeclaration|QualifiedName])*)? | 132 | // ("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)? |
129 | // ("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | "."); | 133 | // ("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | "."); |
130 | @Override public ParserRule getRule() { return rule; } | 134 | @Override public ParserRule getRule() { return rule; } |
131 | 135 | ||
132 | //abstract?="abstract"? "class" | 136 | //abstract?="abstract"? "class" |
133 | //name=ID | 137 | //name=Identifier |
134 | //("extends" superTypes+=[ClassDeclaration|QualifiedName] ("," superTypes+=[ClassDeclaration|QualifiedName])*)? | 138 | //("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)? |
135 | //("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".") | 139 | //("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".") |
136 | public Group getGroup() { return cGroup; } | 140 | public Group getGroup() { return cGroup; } |
137 | 141 | ||
@@ -144,41 +148,41 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
144 | //"class" | 148 | //"class" |
145 | public Keyword getClassKeyword_1() { return cClassKeyword_1; } | 149 | public Keyword getClassKeyword_1() { return cClassKeyword_1; } |
146 | 150 | ||
147 | //name=ID | 151 | //name=Identifier |
148 | public Assignment getNameAssignment_2() { return cNameAssignment_2; } | 152 | public Assignment getNameAssignment_2() { return cNameAssignment_2; } |
149 | 153 | ||
150 | //ID | 154 | //Identifier |
151 | public RuleCall getNameIDTerminalRuleCall_2_0() { return cNameIDTerminalRuleCall_2_0; } | 155 | public RuleCall getNameIdentifierParserRuleCall_2_0() { return cNameIdentifierParserRuleCall_2_0; } |
152 | 156 | ||
153 | //("extends" superTypes+=[ClassDeclaration|QualifiedName] ("," superTypes+=[ClassDeclaration|QualifiedName])*)? | 157 | //("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)? |
154 | public Group getGroup_3() { return cGroup_3; } | 158 | public Group getGroup_3() { return cGroup_3; } |
155 | 159 | ||
156 | //"extends" | 160 | //"extends" |
157 | public Keyword getExtendsKeyword_3_0() { return cExtendsKeyword_3_0; } | 161 | public Keyword getExtendsKeyword_3_0() { return cExtendsKeyword_3_0; } |
158 | 162 | ||
159 | //superTypes+=[ClassDeclaration|QualifiedName] | 163 | //superTypes+=[Relation|QualifiedName] |
160 | public Assignment getSuperTypesAssignment_3_1() { return cSuperTypesAssignment_3_1; } | 164 | public Assignment getSuperTypesAssignment_3_1() { return cSuperTypesAssignment_3_1; } |
161 | 165 | ||
162 | //[ClassDeclaration|QualifiedName] | 166 | //[Relation|QualifiedName] |
163 | public CrossReference getSuperTypesClassDeclarationCrossReference_3_1_0() { return cSuperTypesClassDeclarationCrossReference_3_1_0; } | 167 | public CrossReference getSuperTypesRelationCrossReference_3_1_0() { return cSuperTypesRelationCrossReference_3_1_0; } |
164 | 168 | ||
165 | //QualifiedName | 169 | //QualifiedName |
166 | public RuleCall getSuperTypesClassDeclarationQualifiedNameParserRuleCall_3_1_0_1() { return cSuperTypesClassDeclarationQualifiedNameParserRuleCall_3_1_0_1; } | 170 | public RuleCall getSuperTypesRelationQualifiedNameParserRuleCall_3_1_0_1() { return cSuperTypesRelationQualifiedNameParserRuleCall_3_1_0_1; } |
167 | 171 | ||
168 | //("," superTypes+=[ClassDeclaration|QualifiedName])* | 172 | //("," superTypes+=[Relation|QualifiedName])* |
169 | public Group getGroup_3_2() { return cGroup_3_2; } | 173 | public Group getGroup_3_2() { return cGroup_3_2; } |
170 | 174 | ||
171 | //"," | 175 | //"," |
172 | public Keyword getCommaKeyword_3_2_0() { return cCommaKeyword_3_2_0; } | 176 | public Keyword getCommaKeyword_3_2_0() { return cCommaKeyword_3_2_0; } |
173 | 177 | ||
174 | //superTypes+=[ClassDeclaration|QualifiedName] | 178 | //superTypes+=[Relation|QualifiedName] |
175 | public Assignment getSuperTypesAssignment_3_2_1() { return cSuperTypesAssignment_3_2_1; } | 179 | public Assignment getSuperTypesAssignment_3_2_1() { return cSuperTypesAssignment_3_2_1; } |
176 | 180 | ||
177 | //[ClassDeclaration|QualifiedName] | 181 | //[Relation|QualifiedName] |
178 | public CrossReference getSuperTypesClassDeclarationCrossReference_3_2_1_0() { return cSuperTypesClassDeclarationCrossReference_3_2_1_0; } | 182 | public CrossReference getSuperTypesRelationCrossReference_3_2_1_0() { return cSuperTypesRelationCrossReference_3_2_1_0; } |
179 | 183 | ||
180 | //QualifiedName | 184 | //QualifiedName |
181 | public RuleCall getSuperTypesClassDeclarationQualifiedNameParserRuleCall_3_2_1_0_1() { return cSuperTypesClassDeclarationQualifiedNameParserRuleCall_3_2_1_0_1; } | 185 | public RuleCall getSuperTypesRelationQualifiedNameParserRuleCall_3_2_1_0_1() { return cSuperTypesRelationQualifiedNameParserRuleCall_3_2_1_0_1; } |
182 | 186 | ||
183 | //("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".") | 187 | //("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | ".") |
184 | public Alternatives getAlternatives_4() { return cAlternatives_4; } | 188 | public Alternatives getAlternatives_4() { return cAlternatives_4; } |
@@ -207,6 +211,108 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
207 | //"." | 211 | //"." |
208 | public Keyword getFullStopKeyword_4_1() { return cFullStopKeyword_4_1; } | 212 | public Keyword getFullStopKeyword_4_1() { return cFullStopKeyword_4_1; } |
209 | } | 213 | } |
214 | public class EnumDeclarationElements extends AbstractParserRuleElementFinder { | ||
215 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.EnumDeclaration"); | ||
216 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
217 | private final Keyword cEnumKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
218 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
219 | private final RuleCall cNameIdentifierParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); | ||
220 | private final Alternatives cAlternatives_2 = (Alternatives)cGroup.eContents().get(2); | ||
221 | private final Group cGroup_2_0 = (Group)cAlternatives_2.eContents().get(0); | ||
222 | private final Keyword cLeftCurlyBracketKeyword_2_0_0 = (Keyword)cGroup_2_0.eContents().get(0); | ||
223 | private final Group cGroup_2_0_1 = (Group)cGroup_2_0.eContents().get(1); | ||
224 | private final Assignment cLiteralsAssignment_2_0_1_0 = (Assignment)cGroup_2_0_1.eContents().get(0); | ||
225 | private final RuleCall cLiteralsEnumLiteralParserRuleCall_2_0_1_0_0 = (RuleCall)cLiteralsAssignment_2_0_1_0.eContents().get(0); | ||
226 | private final Group cGroup_2_0_1_1 = (Group)cGroup_2_0_1.eContents().get(1); | ||
227 | private final Keyword cCommaKeyword_2_0_1_1_0 = (Keyword)cGroup_2_0_1_1.eContents().get(0); | ||
228 | private final Assignment cLiteralsAssignment_2_0_1_1_1 = (Assignment)cGroup_2_0_1_1.eContents().get(1); | ||
229 | private final RuleCall cLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0 = (RuleCall)cLiteralsAssignment_2_0_1_1_1.eContents().get(0); | ||
230 | private final Alternatives cAlternatives_2_0_1_2 = (Alternatives)cGroup_2_0_1.eContents().get(2); | ||
231 | private final Keyword cCommaKeyword_2_0_1_2_0 = (Keyword)cAlternatives_2_0_1_2.eContents().get(0); | ||
232 | private final Keyword cSemicolonKeyword_2_0_1_2_1 = (Keyword)cAlternatives_2_0_1_2.eContents().get(1); | ||
233 | private final Keyword cRightCurlyBracketKeyword_2_0_2 = (Keyword)cGroup_2_0.eContents().get(2); | ||
234 | private final Keyword cFullStopKeyword_2_1 = (Keyword)cAlternatives_2.eContents().get(1); | ||
235 | |||
236 | //EnumDeclaration: | ||
237 | // "enum" | ||
238 | // name=Identifier | ||
239 | // ("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | "."); | ||
240 | @Override public ParserRule getRule() { return rule; } | ||
241 | |||
242 | //"enum" | ||
243 | //name=Identifier | ||
244 | //("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | ".") | ||
245 | public Group getGroup() { return cGroup; } | ||
246 | |||
247 | //"enum" | ||
248 | public Keyword getEnumKeyword_0() { return cEnumKeyword_0; } | ||
249 | |||
250 | //name=Identifier | ||
251 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } | ||
252 | |||
253 | //Identifier | ||
254 | public RuleCall getNameIdentifierParserRuleCall_1_0() { return cNameIdentifierParserRuleCall_1_0; } | ||
255 | |||
256 | //("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | ".") | ||
257 | public Alternatives getAlternatives_2() { return cAlternatives_2; } | ||
258 | |||
259 | //"{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | ||
260 | public Group getGroup_2_0() { return cGroup_2_0; } | ||
261 | |||
262 | //"{" | ||
263 | public Keyword getLeftCurlyBracketKeyword_2_0_0() { return cLeftCurlyBracketKeyword_2_0_0; } | ||
264 | |||
265 | //(literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? | ||
266 | public Group getGroup_2_0_1() { return cGroup_2_0_1; } | ||
267 | |||
268 | //literals+=EnumLiteral | ||
269 | public Assignment getLiteralsAssignment_2_0_1_0() { return cLiteralsAssignment_2_0_1_0; } | ||
270 | |||
271 | //EnumLiteral | ||
272 | public RuleCall getLiteralsEnumLiteralParserRuleCall_2_0_1_0_0() { return cLiteralsEnumLiteralParserRuleCall_2_0_1_0_0; } | ||
273 | |||
274 | //("," literals+=EnumLiteral)* | ||
275 | public Group getGroup_2_0_1_1() { return cGroup_2_0_1_1; } | ||
276 | |||
277 | //"," | ||
278 | public Keyword getCommaKeyword_2_0_1_1_0() { return cCommaKeyword_2_0_1_1_0; } | ||
279 | |||
280 | //literals+=EnumLiteral | ||
281 | public Assignment getLiteralsAssignment_2_0_1_1_1() { return cLiteralsAssignment_2_0_1_1_1; } | ||
282 | |||
283 | //EnumLiteral | ||
284 | public RuleCall getLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0() { return cLiteralsEnumLiteralParserRuleCall_2_0_1_1_1_0; } | ||
285 | |||
286 | //("," | ";")? | ||
287 | public Alternatives getAlternatives_2_0_1_2() { return cAlternatives_2_0_1_2; } | ||
288 | |||
289 | //"," | ||
290 | public Keyword getCommaKeyword_2_0_1_2_0() { return cCommaKeyword_2_0_1_2_0; } | ||
291 | |||
292 | //";" | ||
293 | public Keyword getSemicolonKeyword_2_0_1_2_1() { return cSemicolonKeyword_2_0_1_2_1; } | ||
294 | |||
295 | //"}" | ||
296 | public Keyword getRightCurlyBracketKeyword_2_0_2() { return cRightCurlyBracketKeyword_2_0_2; } | ||
297 | |||
298 | //"." | ||
299 | public Keyword getFullStopKeyword_2_1() { return cFullStopKeyword_2_1; } | ||
300 | } | ||
301 | public class EnumLiteralElements extends AbstractParserRuleElementFinder { | ||
302 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.EnumLiteral"); | ||
303 | private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1); | ||
304 | private final RuleCall cNameQuotedOrUnquotedIdParserRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0); | ||
305 | |||
306 | //EnumLiteral returns Node: | ||
307 | // name=QuotedOrUnquotedId; | ||
308 | @Override public ParserRule getRule() { return rule; } | ||
309 | |||
310 | //name=QuotedOrUnquotedId | ||
311 | public Assignment getNameAssignment() { return cNameAssignment; } | ||
312 | |||
313 | //QuotedOrUnquotedId | ||
314 | public RuleCall getNameQuotedOrUnquotedIdParserRuleCall_0() { return cNameQuotedOrUnquotedIdParserRuleCall_0; } | ||
315 | } | ||
210 | public class ReferenceDeclarationElements extends AbstractParserRuleElementFinder { | 316 | public class ReferenceDeclarationElements extends AbstractParserRuleElementFinder { |
211 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ReferenceDeclaration"); | 317 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.ReferenceDeclaration"); |
212 | private final Group cGroup = (Group)rule.eContents().get(1); | 318 | private final Group cGroup = (Group)rule.eContents().get(1); |
@@ -215,15 +321,15 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
215 | private final Keyword cContainmentContainsKeyword_0_0_0 = (Keyword)cContainmentAssignment_0_0.eContents().get(0); | 321 | private final Keyword cContainmentContainsKeyword_0_0_0 = (Keyword)cContainmentAssignment_0_0.eContents().get(0); |
216 | private final Keyword cRefersKeyword_0_1 = (Keyword)cAlternatives_0.eContents().get(1); | 322 | private final Keyword cRefersKeyword_0_1 = (Keyword)cAlternatives_0.eContents().get(1); |
217 | private final Assignment cReferenceTypeAssignment_1 = (Assignment)cGroup.eContents().get(1); | 323 | private final Assignment cReferenceTypeAssignment_1 = (Assignment)cGroup.eContents().get(1); |
218 | private final CrossReference cReferenceTypeClassDeclarationCrossReference_1_0 = (CrossReference)cReferenceTypeAssignment_1.eContents().get(0); | 324 | private final CrossReference cReferenceTypeRelationCrossReference_1_0 = (CrossReference)cReferenceTypeAssignment_1.eContents().get(0); |
219 | private final RuleCall cReferenceTypeClassDeclarationQualifiedNameParserRuleCall_1_0_1 = (RuleCall)cReferenceTypeClassDeclarationCrossReference_1_0.eContents().get(1); | 325 | private final RuleCall cReferenceTypeRelationQualifiedNameParserRuleCall_1_0_1 = (RuleCall)cReferenceTypeRelationCrossReference_1_0.eContents().get(1); |
220 | private final Group cGroup_2 = (Group)cGroup.eContents().get(2); | 326 | private final Group cGroup_2 = (Group)cGroup.eContents().get(2); |
221 | private final Keyword cLeftSquareBracketKeyword_2_0 = (Keyword)cGroup_2.eContents().get(0); | 327 | private final Keyword cLeftSquareBracketKeyword_2_0 = (Keyword)cGroup_2.eContents().get(0); |
222 | private final Assignment cMultiplicityAssignment_2_1 = (Assignment)cGroup_2.eContents().get(1); | 328 | private final Assignment cMultiplicityAssignment_2_1 = (Assignment)cGroup_2.eContents().get(1); |
223 | private final RuleCall cMultiplicityMultiplicityParserRuleCall_2_1_0 = (RuleCall)cMultiplicityAssignment_2_1.eContents().get(0); | 329 | private final RuleCall cMultiplicityMultiplicityParserRuleCall_2_1_0 = (RuleCall)cMultiplicityAssignment_2_1.eContents().get(0); |
224 | private final Keyword cRightSquareBracketKeyword_2_2 = (Keyword)cGroup_2.eContents().get(2); | 330 | private final Keyword cRightSquareBracketKeyword_2_2 = (Keyword)cGroup_2.eContents().get(2); |
225 | private final Assignment cNameAssignment_3 = (Assignment)cGroup.eContents().get(3); | 331 | private final Assignment cNameAssignment_3 = (Assignment)cGroup.eContents().get(3); |
226 | private final RuleCall cNameIDTerminalRuleCall_3_0 = (RuleCall)cNameAssignment_3.eContents().get(0); | 332 | private final RuleCall cNameIdentifierParserRuleCall_3_0 = (RuleCall)cNameAssignment_3.eContents().get(0); |
227 | private final Group cGroup_4 = (Group)cGroup.eContents().get(4); | 333 | private final Group cGroup_4 = (Group)cGroup.eContents().get(4); |
228 | private final Keyword cOppositeKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); | 334 | private final Keyword cOppositeKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); |
229 | private final Assignment cOppositeAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1); | 335 | private final Assignment cOppositeAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1); |
@@ -231,21 +337,21 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
231 | private final RuleCall cOppositeReferenceDeclarationQualifiedNameParserRuleCall_4_1_0_1 = (RuleCall)cOppositeReferenceDeclarationCrossReference_4_1_0.eContents().get(1); | 337 | private final RuleCall cOppositeReferenceDeclarationQualifiedNameParserRuleCall_4_1_0_1 = (RuleCall)cOppositeReferenceDeclarationCrossReference_4_1_0.eContents().get(1); |
232 | 338 | ||
233 | //ReferenceDeclaration: | 339 | //ReferenceDeclaration: |
234 | // (containment?="contains" | "refers") | 340 | // (containment?="contains" | "refers")? |
235 | // referenceType=[ClassDeclaration|QualifiedName] | 341 | // referenceType=[Relation|QualifiedName] |
236 | // ("[" multiplicity=Multiplicity "]")? | 342 | // ("[" multiplicity=Multiplicity "]")? |
237 | // name=ID | 343 | // name=Identifier |
238 | // ("opposite" opposite=[ReferenceDeclaration|QualifiedName])?; | 344 | // ("opposite" opposite=[ReferenceDeclaration|QualifiedName])?; |
239 | @Override public ParserRule getRule() { return rule; } | 345 | @Override public ParserRule getRule() { return rule; } |
240 | 346 | ||
241 | //(containment?="contains" | "refers") | 347 | //(containment?="contains" | "refers")? |
242 | //referenceType=[ClassDeclaration|QualifiedName] | 348 | //referenceType=[Relation|QualifiedName] |
243 | //("[" multiplicity=Multiplicity "]")? | 349 | //("[" multiplicity=Multiplicity "]")? |
244 | //name=ID | 350 | //name=Identifier |
245 | //("opposite" opposite=[ReferenceDeclaration|QualifiedName])? | 351 | //("opposite" opposite=[ReferenceDeclaration|QualifiedName])? |
246 | public Group getGroup() { return cGroup; } | 352 | public Group getGroup() { return cGroup; } |
247 | 353 | ||
248 | //(containment?="contains" | "refers") | 354 | //(containment?="contains" | "refers")? |
249 | public Alternatives getAlternatives_0() { return cAlternatives_0; } | 355 | public Alternatives getAlternatives_0() { return cAlternatives_0; } |
250 | 356 | ||
251 | //containment?="contains" | 357 | //containment?="contains" |
@@ -257,14 +363,14 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
257 | //"refers" | 363 | //"refers" |
258 | public Keyword getRefersKeyword_0_1() { return cRefersKeyword_0_1; } | 364 | public Keyword getRefersKeyword_0_1() { return cRefersKeyword_0_1; } |
259 | 365 | ||
260 | //referenceType=[ClassDeclaration|QualifiedName] | 366 | //referenceType=[Relation|QualifiedName] |
261 | public Assignment getReferenceTypeAssignment_1() { return cReferenceTypeAssignment_1; } | 367 | public Assignment getReferenceTypeAssignment_1() { return cReferenceTypeAssignment_1; } |
262 | 368 | ||
263 | //[ClassDeclaration|QualifiedName] | 369 | //[Relation|QualifiedName] |
264 | public CrossReference getReferenceTypeClassDeclarationCrossReference_1_0() { return cReferenceTypeClassDeclarationCrossReference_1_0; } | 370 | public CrossReference getReferenceTypeRelationCrossReference_1_0() { return cReferenceTypeRelationCrossReference_1_0; } |
265 | 371 | ||
266 | //QualifiedName | 372 | //QualifiedName |
267 | public RuleCall getReferenceTypeClassDeclarationQualifiedNameParserRuleCall_1_0_1() { return cReferenceTypeClassDeclarationQualifiedNameParserRuleCall_1_0_1; } | 373 | public RuleCall getReferenceTypeRelationQualifiedNameParserRuleCall_1_0_1() { return cReferenceTypeRelationQualifiedNameParserRuleCall_1_0_1; } |
268 | 374 | ||
269 | //("[" multiplicity=Multiplicity "]")? | 375 | //("[" multiplicity=Multiplicity "]")? |
270 | public Group getGroup_2() { return cGroup_2; } | 376 | public Group getGroup_2() { return cGroup_2; } |
@@ -281,11 +387,11 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
281 | //"]" | 387 | //"]" |
282 | public Keyword getRightSquareBracketKeyword_2_2() { return cRightSquareBracketKeyword_2_2; } | 388 | public Keyword getRightSquareBracketKeyword_2_2() { return cRightSquareBracketKeyword_2_2; } |
283 | 389 | ||
284 | //name=ID | 390 | //name=Identifier |
285 | public Assignment getNameAssignment_3() { return cNameAssignment_3; } | 391 | public Assignment getNameAssignment_3() { return cNameAssignment_3; } |
286 | 392 | ||
287 | //ID | 393 | //Identifier |
288 | public RuleCall getNameIDTerminalRuleCall_3_0() { return cNameIDTerminalRuleCall_3_0; } | 394 | public RuleCall getNameIdentifierParserRuleCall_3_0() { return cNameIdentifierParserRuleCall_3_0; } |
289 | 395 | ||
290 | //("opposite" opposite=[ReferenceDeclaration|QualifiedName])? | 396 | //("opposite" opposite=[ReferenceDeclaration|QualifiedName])? |
291 | public Group getGroup_4() { return cGroup_4; } | 397 | public Group getGroup_4() { return cGroup_4; } |
@@ -312,7 +418,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
312 | private final Keyword cPredKeyword_0_0_1 = (Keyword)cGroup_0_0.eContents().get(1); | 418 | private final Keyword cPredKeyword_0_0_1 = (Keyword)cGroup_0_0.eContents().get(1); |
313 | private final Keyword cPredKeyword_0_1 = (Keyword)cAlternatives_0.eContents().get(1); | 419 | private final Keyword cPredKeyword_0_1 = (Keyword)cAlternatives_0.eContents().get(1); |
314 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | 420 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); |
315 | private final RuleCall cNameIDTerminalRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); | 421 | private final RuleCall cNameIdentifierParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); |
316 | private final Keyword cLeftParenthesisKeyword_2 = (Keyword)cGroup.eContents().get(2); | 422 | private final Keyword cLeftParenthesisKeyword_2 = (Keyword)cGroup.eContents().get(2); |
317 | private final Group cGroup_3 = (Group)cGroup.eContents().get(3); | 423 | private final Group cGroup_3 = (Group)cGroup.eContents().get(3); |
318 | private final Assignment cParametersAssignment_3_0 = (Assignment)cGroup_3.eContents().get(0); | 424 | private final Assignment cParametersAssignment_3_0 = (Assignment)cGroup_3.eContents().get(0); |
@@ -334,14 +440,14 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
334 | 440 | ||
335 | //PredicateDefinition: | 441 | //PredicateDefinition: |
336 | // (error?="error" "pred"? | "pred") | 442 | // (error?="error" "pred"? | "pred") |
337 | // name=ID | 443 | // name=Identifier |
338 | // "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" | 444 | // "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" |
339 | // (":-" bodies+=Conjunction (";" bodies+=Conjunction)*)? | 445 | // (":-" bodies+=Conjunction (";" bodies+=Conjunction)*)? |
340 | // "."; | 446 | // "."; |
341 | @Override public ParserRule getRule() { return rule; } | 447 | @Override public ParserRule getRule() { return rule; } |
342 | 448 | ||
343 | //(error?="error" "pred"? | "pred") | 449 | //(error?="error" "pred"? | "pred") |
344 | //name=ID | 450 | //name=Identifier |
345 | //"(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" | 451 | //"(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" |
346 | //(":-" bodies+=Conjunction (";" bodies+=Conjunction)*)? | 452 | //(":-" bodies+=Conjunction (";" bodies+=Conjunction)*)? |
347 | //"." | 453 | //"." |
@@ -365,11 +471,11 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
365 | //"pred" | 471 | //"pred" |
366 | public Keyword getPredKeyword_0_1() { return cPredKeyword_0_1; } | 472 | public Keyword getPredKeyword_0_1() { return cPredKeyword_0_1; } |
367 | 473 | ||
368 | //name=ID | 474 | //name=Identifier |
369 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } | 475 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } |
370 | 476 | ||
371 | //ID | 477 | //Identifier |
372 | public RuleCall getNameIDTerminalRuleCall_1_0() { return cNameIDTerminalRuleCall_1_0; } | 478 | public RuleCall getNameIdentifierParserRuleCall_1_0() { return cNameIdentifierParserRuleCall_1_0; } |
373 | 479 | ||
374 | //"(" | 480 | //"(" |
375 | public Keyword getLeftParenthesisKeyword_2() { return cLeftParenthesisKeyword_2; } | 481 | public Keyword getLeftParenthesisKeyword_2() { return cLeftParenthesisKeyword_2; } |
@@ -429,32 +535,32 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
429 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Parameter"); | 535 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Parameter"); |
430 | private final Group cGroup = (Group)rule.eContents().get(1); | 536 | private final Group cGroup = (Group)rule.eContents().get(1); |
431 | private final Assignment cParameterTypeAssignment_0 = (Assignment)cGroup.eContents().get(0); | 537 | private final Assignment cParameterTypeAssignment_0 = (Assignment)cGroup.eContents().get(0); |
432 | private final CrossReference cParameterTypeClassDeclarationCrossReference_0_0 = (CrossReference)cParameterTypeAssignment_0.eContents().get(0); | 538 | private final CrossReference cParameterTypeRelationCrossReference_0_0 = (CrossReference)cParameterTypeAssignment_0.eContents().get(0); |
433 | private final RuleCall cParameterTypeClassDeclarationIDTerminalRuleCall_0_0_1 = (RuleCall)cParameterTypeClassDeclarationCrossReference_0_0.eContents().get(1); | 539 | private final RuleCall cParameterTypeRelationQualifiedNameParserRuleCall_0_0_1 = (RuleCall)cParameterTypeRelationCrossReference_0_0.eContents().get(1); |
434 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | 540 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); |
435 | private final RuleCall cNameIDTerminalRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); | 541 | private final RuleCall cNameIdentifierParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); |
436 | 542 | ||
437 | //Parameter: | 543 | //Parameter: |
438 | // parameterType=[ClassDeclaration] name=ID; | 544 | // parameterType=[Relation|QualifiedName]? name=Identifier; |
439 | @Override public ParserRule getRule() { return rule; } | 545 | @Override public ParserRule getRule() { return rule; } |
440 | 546 | ||
441 | //parameterType=[ClassDeclaration] name=ID | 547 | //parameterType=[Relation|QualifiedName]? name=Identifier |
442 | public Group getGroup() { return cGroup; } | 548 | public Group getGroup() { return cGroup; } |
443 | 549 | ||
444 | //parameterType=[ClassDeclaration] | 550 | //parameterType=[Relation|QualifiedName]? |
445 | public Assignment getParameterTypeAssignment_0() { return cParameterTypeAssignment_0; } | 551 | public Assignment getParameterTypeAssignment_0() { return cParameterTypeAssignment_0; } |
446 | 552 | ||
447 | //[ClassDeclaration] | 553 | //[Relation|QualifiedName] |
448 | public CrossReference getParameterTypeClassDeclarationCrossReference_0_0() { return cParameterTypeClassDeclarationCrossReference_0_0; } | 554 | public CrossReference getParameterTypeRelationCrossReference_0_0() { return cParameterTypeRelationCrossReference_0_0; } |
449 | 555 | ||
450 | //ID | 556 | //QualifiedName |
451 | public RuleCall getParameterTypeClassDeclarationIDTerminalRuleCall_0_0_1() { return cParameterTypeClassDeclarationIDTerminalRuleCall_0_0_1; } | 557 | public RuleCall getParameterTypeRelationQualifiedNameParserRuleCall_0_0_1() { return cParameterTypeRelationQualifiedNameParserRuleCall_0_0_1; } |
452 | 558 | ||
453 | //name=ID | 559 | //name=Identifier |
454 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } | 560 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } |
455 | 561 | ||
456 | //ID | 562 | //Identifier |
457 | public RuleCall getNameIDTerminalRuleCall_1_0() { return cNameIDTerminalRuleCall_1_0; } | 563 | public RuleCall getNameIdentifierParserRuleCall_1_0() { return cNameIdentifierParserRuleCall_1_0; } |
458 | } | 564 | } |
459 | public class ConjunctionElements extends AbstractParserRuleElementFinder { | 565 | public class ConjunctionElements extends AbstractParserRuleElementFinder { |
460 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Conjunction"); | 566 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Conjunction"); |
@@ -606,22 +712,22 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
606 | } | 712 | } |
607 | public class ArgumentElements extends AbstractParserRuleElementFinder { | 713 | public class ArgumentElements extends AbstractParserRuleElementFinder { |
608 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Argument"); | 714 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Argument"); |
609 | private final Assignment cVariableAssignment = (Assignment)rule.eContents().get(1); | 715 | private final Assignment cVariableOrNodeAssignment = (Assignment)rule.eContents().get(1); |
610 | private final CrossReference cVariableVariableCrossReference_0 = (CrossReference)cVariableAssignment.eContents().get(0); | 716 | private final CrossReference cVariableOrNodeVariableOrNodeCrossReference_0 = (CrossReference)cVariableOrNodeAssignment.eContents().get(0); |
611 | private final RuleCall cVariableVariableIDTerminalRuleCall_0_1 = (RuleCall)cVariableVariableCrossReference_0.eContents().get(1); | 717 | private final RuleCall cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1 = (RuleCall)cVariableOrNodeVariableOrNodeCrossReference_0.eContents().get(1); |
612 | 718 | ||
613 | //Argument: | 719 | //Argument: |
614 | // variable=[Variable]; | 720 | // variableOrNode=[VariableOrNode|QualifiedName]; |
615 | @Override public ParserRule getRule() { return rule; } | 721 | @Override public ParserRule getRule() { return rule; } |
616 | 722 | ||
617 | //variable=[Variable] | 723 | //variableOrNode=[VariableOrNode|QualifiedName] |
618 | public Assignment getVariableAssignment() { return cVariableAssignment; } | 724 | public Assignment getVariableOrNodeAssignment() { return cVariableOrNodeAssignment; } |
619 | 725 | ||
620 | //[Variable] | 726 | //[VariableOrNode|QualifiedName] |
621 | public CrossReference getVariableVariableCrossReference_0() { return cVariableVariableCrossReference_0; } | 727 | public CrossReference getVariableOrNodeVariableOrNodeCrossReference_0() { return cVariableOrNodeVariableOrNodeCrossReference_0; } |
622 | 728 | ||
623 | //ID | 729 | //QualifiedName |
624 | public RuleCall getVariableVariableIDTerminalRuleCall_0_1() { return cVariableVariableIDTerminalRuleCall_0_1; } | 730 | public RuleCall getVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1() { return cVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1; } |
625 | } | 731 | } |
626 | public class AssertionElements extends AbstractParserRuleElementFinder { | 732 | public class AssertionElements extends AbstractParserRuleElementFinder { |
627 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Assertion"); | 733 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Assertion"); |
@@ -1011,43 +1117,62 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1011 | //"*" | 1117 | //"*" |
1012 | public Keyword getAsteriskKeyword_1() { return cAsteriskKeyword_1; } | 1118 | public Keyword getAsteriskKeyword_1() { return cAsteriskKeyword_1; } |
1013 | } | 1119 | } |
1120 | public class QuotedOrUnquotedIdElements extends AbstractParserRuleElementFinder { | ||
1121 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QuotedOrUnquotedId"); | ||
1122 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1123 | private final RuleCall cQUOTED_IDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
1124 | private final RuleCall cIdentifierParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
1125 | |||
1126 | //QuotedOrUnquotedId: | ||
1127 | // QUOTED_ID | Identifier; | ||
1128 | @Override public ParserRule getRule() { return rule; } | ||
1129 | |||
1130 | //QUOTED_ID | Identifier | ||
1131 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1132 | |||
1133 | //QUOTED_ID | ||
1134 | public RuleCall getQUOTED_IDTerminalRuleCall_0() { return cQUOTED_IDTerminalRuleCall_0; } | ||
1135 | |||
1136 | //Identifier | ||
1137 | public RuleCall getIdentifierParserRuleCall_1() { return cIdentifierParserRuleCall_1; } | ||
1138 | } | ||
1014 | public class QualifiedNameElements extends AbstractParserRuleElementFinder { | 1139 | public class QualifiedNameElements extends AbstractParserRuleElementFinder { |
1015 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QualifiedName"); | 1140 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QualifiedName"); |
1016 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | 1141 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); |
1017 | private final RuleCall cQUOTED_IDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | 1142 | private final RuleCall cQUOTED_IDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); |
1018 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); | 1143 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); |
1019 | private final RuleCall cIDTerminalRuleCall_1_0 = (RuleCall)cGroup_1.eContents().get(0); | 1144 | private final RuleCall cIdentifierParserRuleCall_1_0 = (RuleCall)cGroup_1.eContents().get(0); |
1020 | private final Group cGroup_1_1 = (Group)cGroup_1.eContents().get(1); | 1145 | private final Group cGroup_1_1 = (Group)cGroup_1.eContents().get(1); |
1021 | private final Keyword cColonKeyword_1_1_0 = (Keyword)cGroup_1_1.eContents().get(0); | 1146 | private final Keyword cColonKeyword_1_1_0 = (Keyword)cGroup_1_1.eContents().get(0); |
1022 | private final RuleCall cIDTerminalRuleCall_1_1_1 = (RuleCall)cGroup_1_1.eContents().get(1); | 1147 | private final RuleCall cIdentifierParserRuleCall_1_1_1 = (RuleCall)cGroup_1_1.eContents().get(1); |
1023 | private final Group cGroup_1_2 = (Group)cGroup_1.eContents().get(2); | 1148 | private final Group cGroup_1_2 = (Group)cGroup_1.eContents().get(2); |
1024 | private final Keyword cColonKeyword_1_2_0 = (Keyword)cGroup_1_2.eContents().get(0); | 1149 | private final Keyword cColonKeyword_1_2_0 = (Keyword)cGroup_1_2.eContents().get(0); |
1025 | private final RuleCall cQUOTED_IDTerminalRuleCall_1_2_1 = (RuleCall)cGroup_1_2.eContents().get(1); | 1150 | private final RuleCall cQUOTED_IDTerminalRuleCall_1_2_1 = (RuleCall)cGroup_1_2.eContents().get(1); |
1026 | 1151 | ||
1027 | //QualifiedName: | 1152 | //QualifiedName: |
1028 | // QUOTED_ID | ID (":" ID)* (":" QUOTED_ID)?; | 1153 | // QUOTED_ID | Identifier (":" Identifier)* (":" QUOTED_ID)?; |
1029 | @Override public ParserRule getRule() { return rule; } | 1154 | @Override public ParserRule getRule() { return rule; } |
1030 | 1155 | ||
1031 | //QUOTED_ID | ID (":" ID)* (":" QUOTED_ID)? | 1156 | //QUOTED_ID | Identifier (":" Identifier)* (":" QUOTED_ID)? |
1032 | public Alternatives getAlternatives() { return cAlternatives; } | 1157 | public Alternatives getAlternatives() { return cAlternatives; } |
1033 | 1158 | ||
1034 | //QUOTED_ID | 1159 | //QUOTED_ID |
1035 | public RuleCall getQUOTED_IDTerminalRuleCall_0() { return cQUOTED_IDTerminalRuleCall_0; } | 1160 | public RuleCall getQUOTED_IDTerminalRuleCall_0() { return cQUOTED_IDTerminalRuleCall_0; } |
1036 | 1161 | ||
1037 | //ID (":" ID)* (":" QUOTED_ID)? | 1162 | //Identifier (":" Identifier)* (":" QUOTED_ID)? |
1038 | public Group getGroup_1() { return cGroup_1; } | 1163 | public Group getGroup_1() { return cGroup_1; } |
1039 | 1164 | ||
1040 | //ID | 1165 | //Identifier |
1041 | public RuleCall getIDTerminalRuleCall_1_0() { return cIDTerminalRuleCall_1_0; } | 1166 | public RuleCall getIdentifierParserRuleCall_1_0() { return cIdentifierParserRuleCall_1_0; } |
1042 | 1167 | ||
1043 | //(":" ID)* | 1168 | //(":" Identifier)* |
1044 | public Group getGroup_1_1() { return cGroup_1_1; } | 1169 | public Group getGroup_1_1() { return cGroup_1_1; } |
1045 | 1170 | ||
1046 | //":" | 1171 | //":" |
1047 | public Keyword getColonKeyword_1_1_0() { return cColonKeyword_1_1_0; } | 1172 | public Keyword getColonKeyword_1_1_0() { return cColonKeyword_1_1_0; } |
1048 | 1173 | ||
1049 | //ID | 1174 | //Identifier |
1050 | public RuleCall getIDTerminalRuleCall_1_1_1() { return cIDTerminalRuleCall_1_1_1; } | 1175 | public RuleCall getIdentifierParserRuleCall_1_1_1() { return cIdentifierParserRuleCall_1_1_1; } |
1051 | 1176 | ||
1052 | //(":" QUOTED_ID)? | 1177 | //(":" QUOTED_ID)? |
1053 | public Group getGroup_1_2() { return cGroup_1_2; } | 1178 | public Group getGroup_1_2() { return cGroup_1_2; } |
@@ -1058,6 +1183,29 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1058 | //QUOTED_ID | 1183 | //QUOTED_ID |
1059 | public RuleCall getQUOTED_IDTerminalRuleCall_1_2_1() { return cQUOTED_IDTerminalRuleCall_1_2_1; } | 1184 | public RuleCall getQUOTED_IDTerminalRuleCall_1_2_1() { return cQUOTED_IDTerminalRuleCall_1_2_1; } |
1060 | } | 1185 | } |
1186 | public class IdentifierElements extends AbstractParserRuleElementFinder { | ||
1187 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.Identifier"); | ||
1188 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1189 | private final RuleCall cIDTerminalRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
1190 | private final Keyword cTrueKeyword_1 = (Keyword)cAlternatives.eContents().get(1); | ||
1191 | private final Keyword cFalseKeyword_2 = (Keyword)cAlternatives.eContents().get(2); | ||
1192 | |||
1193 | //Identifier: | ||
1194 | // ID | "true" | "false"; | ||
1195 | @Override public ParserRule getRule() { return rule; } | ||
1196 | |||
1197 | //ID | "true" | "false" | ||
1198 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1199 | |||
1200 | //ID | ||
1201 | public RuleCall getIDTerminalRuleCall_0() { return cIDTerminalRuleCall_0; } | ||
1202 | |||
1203 | //"true" | ||
1204 | public Keyword getTrueKeyword_1() { return cTrueKeyword_1; } | ||
1205 | |||
1206 | //"false" | ||
1207 | public Keyword getFalseKeyword_2() { return cFalseKeyword_2; } | ||
1208 | } | ||
1061 | 1209 | ||
1062 | public class LogicValueElements extends AbstractElementFinder.AbstractEnumRuleElementFinder { | 1210 | public class LogicValueElements extends AbstractElementFinder.AbstractEnumRuleElementFinder { |
1063 | private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.LogicValue"); | 1211 | private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.LogicValue"); |
@@ -1125,6 +1273,8 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1125 | private final ProblemElements pProblem; | 1273 | private final ProblemElements pProblem; |
1126 | private final StatementElements pStatement; | 1274 | private final StatementElements pStatement; |
1127 | private final ClassDeclarationElements pClassDeclaration; | 1275 | private final ClassDeclarationElements pClassDeclaration; |
1276 | private final EnumDeclarationElements pEnumDeclaration; | ||
1277 | private final EnumLiteralElements pEnumLiteral; | ||
1128 | private final ReferenceDeclarationElements pReferenceDeclaration; | 1278 | private final ReferenceDeclarationElements pReferenceDeclaration; |
1129 | private final PredicateDefinitionElements pPredicateDefinition; | 1279 | private final PredicateDefinitionElements pPredicateDefinition; |
1130 | private final ParameterElements pParameter; | 1280 | private final ParameterElements pParameter; |
@@ -1144,7 +1294,9 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1144 | private final RangeMultiplicityElements pRangeMultiplicity; | 1294 | private final RangeMultiplicityElements pRangeMultiplicity; |
1145 | private final ExactMultiplicityElements pExactMultiplicity; | 1295 | private final ExactMultiplicityElements pExactMultiplicity; |
1146 | private final UpperBoundElements pUpperBound; | 1296 | private final UpperBoundElements pUpperBound; |
1297 | private final QuotedOrUnquotedIdElements pQuotedOrUnquotedId; | ||
1147 | private final QualifiedNameElements pQualifiedName; | 1298 | private final QualifiedNameElements pQualifiedName; |
1299 | private final IdentifierElements pIdentifier; | ||
1148 | private final TerminalRule tSTRING; | 1300 | private final TerminalRule tSTRING; |
1149 | private final TerminalRule tQUOTED_ID; | 1301 | private final TerminalRule tQUOTED_ID; |
1150 | 1302 | ||
@@ -1160,6 +1312,8 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1160 | this.pProblem = new ProblemElements(); | 1312 | this.pProblem = new ProblemElements(); |
1161 | this.pStatement = new StatementElements(); | 1313 | this.pStatement = new StatementElements(); |
1162 | this.pClassDeclaration = new ClassDeclarationElements(); | 1314 | this.pClassDeclaration = new ClassDeclarationElements(); |
1315 | this.pEnumDeclaration = new EnumDeclarationElements(); | ||
1316 | this.pEnumLiteral = new EnumLiteralElements(); | ||
1163 | this.pReferenceDeclaration = new ReferenceDeclarationElements(); | 1317 | this.pReferenceDeclaration = new ReferenceDeclarationElements(); |
1164 | this.pPredicateDefinition = new PredicateDefinitionElements(); | 1318 | this.pPredicateDefinition = new PredicateDefinitionElements(); |
1165 | this.pParameter = new ParameterElements(); | 1319 | this.pParameter = new ParameterElements(); |
@@ -1179,7 +1333,9 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1179 | this.pRangeMultiplicity = new RangeMultiplicityElements(); | 1333 | this.pRangeMultiplicity = new RangeMultiplicityElements(); |
1180 | this.pExactMultiplicity = new ExactMultiplicityElements(); | 1334 | this.pExactMultiplicity = new ExactMultiplicityElements(); |
1181 | this.pUpperBound = new UpperBoundElements(); | 1335 | this.pUpperBound = new UpperBoundElements(); |
1336 | this.pQuotedOrUnquotedId = new QuotedOrUnquotedIdElements(); | ||
1182 | this.pQualifiedName = new QualifiedNameElements(); | 1337 | this.pQualifiedName = new QualifiedNameElements(); |
1338 | this.pIdentifier = new IdentifierElements(); | ||
1183 | this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.STRING"); | 1339 | this.tSTRING = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.STRING"); |
1184 | this.tQUOTED_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QUOTED_ID"); | 1340 | this.tQUOTED_ID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "org.eclipse.viatra.solver.language.Problem.QUOTED_ID"); |
1185 | } | 1341 | } |
@@ -1212,7 +1368,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1212 | 1368 | ||
1213 | 1369 | ||
1214 | //Problem: | 1370 | //Problem: |
1215 | // ("problem" name=ID ".")? | 1371 | // ("problem" name=Identifier ".")? |
1216 | // statements+=Statement*; | 1372 | // statements+=Statement*; |
1217 | public ProblemElements getProblemAccess() { | 1373 | public ProblemElements getProblemAccess() { |
1218 | return pProblem; | 1374 | return pProblem; |
@@ -1223,7 +1379,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1223 | } | 1379 | } |
1224 | 1380 | ||
1225 | //Statement: | 1381 | //Statement: |
1226 | // ClassDeclaration | PredicateDefinition | Assertion | ScopeDeclaration; | 1382 | // ClassDeclaration | EnumDeclaration | PredicateDefinition | Assertion | ScopeDeclaration; |
1227 | public StatementElements getStatementAccess() { | 1383 | public StatementElements getStatementAccess() { |
1228 | return pStatement; | 1384 | return pStatement; |
1229 | } | 1385 | } |
@@ -1234,8 +1390,8 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1234 | 1390 | ||
1235 | //ClassDeclaration: | 1391 | //ClassDeclaration: |
1236 | // abstract?="abstract"? "class" | 1392 | // abstract?="abstract"? "class" |
1237 | // name=ID | 1393 | // name=Identifier |
1238 | // ("extends" superTypes+=[ClassDeclaration|QualifiedName] ("," superTypes+=[ClassDeclaration|QualifiedName])*)? | 1394 | // ("extends" superTypes+=[Relation|QualifiedName] ("," superTypes+=[Relation|QualifiedName])*)? |
1239 | // ("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | "."); | 1395 | // ("{" (referenceDeclarations+=ReferenceDeclaration ";"?)* "}" | "."); |
1240 | public ClassDeclarationElements getClassDeclarationAccess() { | 1396 | public ClassDeclarationElements getClassDeclarationAccess() { |
1241 | return pClassDeclaration; | 1397 | return pClassDeclaration; |
@@ -1245,11 +1401,33 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1245 | return getClassDeclarationAccess().getRule(); | 1401 | return getClassDeclarationAccess().getRule(); |
1246 | } | 1402 | } |
1247 | 1403 | ||
1404 | //EnumDeclaration: | ||
1405 | // "enum" | ||
1406 | // name=Identifier | ||
1407 | // ("{" (literals+=EnumLiteral ("," literals+=EnumLiteral)* ("," | ";")?)? "}" | "."); | ||
1408 | public EnumDeclarationElements getEnumDeclarationAccess() { | ||
1409 | return pEnumDeclaration; | ||
1410 | } | ||
1411 | |||
1412 | public ParserRule getEnumDeclarationRule() { | ||
1413 | return getEnumDeclarationAccess().getRule(); | ||
1414 | } | ||
1415 | |||
1416 | //EnumLiteral returns Node: | ||
1417 | // name=QuotedOrUnquotedId; | ||
1418 | public EnumLiteralElements getEnumLiteralAccess() { | ||
1419 | return pEnumLiteral; | ||
1420 | } | ||
1421 | |||
1422 | public ParserRule getEnumLiteralRule() { | ||
1423 | return getEnumLiteralAccess().getRule(); | ||
1424 | } | ||
1425 | |||
1248 | //ReferenceDeclaration: | 1426 | //ReferenceDeclaration: |
1249 | // (containment?="contains" | "refers") | 1427 | // (containment?="contains" | "refers")? |
1250 | // referenceType=[ClassDeclaration|QualifiedName] | 1428 | // referenceType=[Relation|QualifiedName] |
1251 | // ("[" multiplicity=Multiplicity "]")? | 1429 | // ("[" multiplicity=Multiplicity "]")? |
1252 | // name=ID | 1430 | // name=Identifier |
1253 | // ("opposite" opposite=[ReferenceDeclaration|QualifiedName])?; | 1431 | // ("opposite" opposite=[ReferenceDeclaration|QualifiedName])?; |
1254 | public ReferenceDeclarationElements getReferenceDeclarationAccess() { | 1432 | public ReferenceDeclarationElements getReferenceDeclarationAccess() { |
1255 | return pReferenceDeclaration; | 1433 | return pReferenceDeclaration; |
@@ -1261,7 +1439,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1261 | 1439 | ||
1262 | //PredicateDefinition: | 1440 | //PredicateDefinition: |
1263 | // (error?="error" "pred"? | "pred") | 1441 | // (error?="error" "pred"? | "pred") |
1264 | // name=ID | 1442 | // name=Identifier |
1265 | // "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" | 1443 | // "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" |
1266 | // (":-" bodies+=Conjunction (";" bodies+=Conjunction)*)? | 1444 | // (":-" bodies+=Conjunction (";" bodies+=Conjunction)*)? |
1267 | // "."; | 1445 | // "."; |
@@ -1274,7 +1452,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1274 | } | 1452 | } |
1275 | 1453 | ||
1276 | //Parameter: | 1454 | //Parameter: |
1277 | // parameterType=[ClassDeclaration] name=ID; | 1455 | // parameterType=[Relation|QualifiedName]? name=Identifier; |
1278 | public ParameterElements getParameterAccess() { | 1456 | public ParameterElements getParameterAccess() { |
1279 | return pParameter; | 1457 | return pParameter; |
1280 | } | 1458 | } |
@@ -1326,7 +1504,7 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1326 | } | 1504 | } |
1327 | 1505 | ||
1328 | //Argument: | 1506 | //Argument: |
1329 | // variable=[Variable]; | 1507 | // variableOrNode=[VariableOrNode|QualifiedName]; |
1330 | public ArgumentElements getArgumentAccess() { | 1508 | public ArgumentElements getArgumentAccess() { |
1331 | return pArgument; | 1509 | return pArgument; |
1332 | } | 1510 | } |
@@ -1453,8 +1631,18 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1453 | return getUpperBoundAccess().getRule(); | 1631 | return getUpperBoundAccess().getRule(); |
1454 | } | 1632 | } |
1455 | 1633 | ||
1634 | //QuotedOrUnquotedId: | ||
1635 | // QUOTED_ID | Identifier; | ||
1636 | public QuotedOrUnquotedIdElements getQuotedOrUnquotedIdAccess() { | ||
1637 | return pQuotedOrUnquotedId; | ||
1638 | } | ||
1639 | |||
1640 | public ParserRule getQuotedOrUnquotedIdRule() { | ||
1641 | return getQuotedOrUnquotedIdAccess().getRule(); | ||
1642 | } | ||
1643 | |||
1456 | //QualifiedName: | 1644 | //QualifiedName: |
1457 | // QUOTED_ID | ID (":" ID)* (":" QUOTED_ID)?; | 1645 | // QUOTED_ID | Identifier (":" Identifier)* (":" QUOTED_ID)?; |
1458 | public QualifiedNameElements getQualifiedNameAccess() { | 1646 | public QualifiedNameElements getQualifiedNameAccess() { |
1459 | return pQualifiedName; | 1647 | return pQualifiedName; |
1460 | } | 1648 | } |
@@ -1463,13 +1651,25 @@ public class ProblemGrammarAccess extends AbstractElementFinder.AbstractGrammarE | |||
1463 | return getQualifiedNameAccess().getRule(); | 1651 | return getQualifiedNameAccess().getRule(); |
1464 | } | 1652 | } |
1465 | 1653 | ||
1654 | //Identifier: | ||
1655 | // ID | "true" | "false"; | ||
1656 | public IdentifierElements getIdentifierAccess() { | ||
1657 | return pIdentifier; | ||
1658 | } | ||
1659 | |||
1660 | public ParserRule getIdentifierRule() { | ||
1661 | return getIdentifierAccess().getRule(); | ||
1662 | } | ||
1663 | |||
1466 | //@Override | 1664 | //@Override |
1467 | //terminal STRING: '"' ( '\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\'|'"') )* '"'; | 1665 | //terminal STRING: |
1666 | // '"' ('\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\' | '"'))* '"'; | ||
1468 | public TerminalRule getSTRINGRule() { | 1667 | public TerminalRule getSTRINGRule() { |
1469 | return tSTRING; | 1668 | return tSTRING; |
1470 | } | 1669 | } |
1471 | 1670 | ||
1472 | //terminal QUOTED_ID: "'" ( '\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\'|"'") )* "'"; | 1671 | //terminal QUOTED_ID: |
1672 | // "'" ('\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\' | "'"))* "'"; | ||
1473 | public TerminalRule getQUOTED_IDRule() { | 1673 | public TerminalRule getQUOTED_IDRule() { |
1474 | return tQUOTED_ID; | 1674 | return tQUOTED_ID; |
1475 | } | 1675 | } |