diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer')
2 files changed, 99 insertions, 24 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSemanticSequencer.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSemanticSequencer.java index 336d0867..cb44c31f 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSemanticSequencer.java +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSemanticSequencer.java | |||
@@ -12,8 +12,10 @@ import org.eclipse.viatra.solver.language.model.problem.Assertion; | |||
12 | import org.eclipse.viatra.solver.language.model.problem.Atom; | 12 | import org.eclipse.viatra.solver.language.model.problem.Atom; |
13 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; | 13 | import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration; |
14 | import org.eclipse.viatra.solver.language.model.problem.Conjunction; | 14 | import org.eclipse.viatra.solver.language.model.problem.Conjunction; |
15 | import org.eclipse.viatra.solver.language.model.problem.EnumDeclaration; | ||
15 | import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity; | 16 | import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity; |
16 | import org.eclipse.viatra.solver.language.model.problem.NegativeLiteral; | 17 | import org.eclipse.viatra.solver.language.model.problem.NegativeLiteral; |
18 | import org.eclipse.viatra.solver.language.model.problem.Node; | ||
17 | import org.eclipse.viatra.solver.language.model.problem.PredicateDefinition; | 19 | import org.eclipse.viatra.solver.language.model.problem.PredicateDefinition; |
18 | import org.eclipse.viatra.solver.language.model.problem.Problem; | 20 | import org.eclipse.viatra.solver.language.model.problem.Problem; |
19 | import org.eclipse.viatra.solver.language.model.problem.ProblemPackage; | 21 | import org.eclipse.viatra.solver.language.model.problem.ProblemPackage; |
@@ -60,12 +62,18 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
60 | case ProblemPackage.CONJUNCTION: | 62 | case ProblemPackage.CONJUNCTION: |
61 | sequence_Conjunction(context, (Conjunction) semanticObject); | 63 | sequence_Conjunction(context, (Conjunction) semanticObject); |
62 | return; | 64 | return; |
65 | case ProblemPackage.ENUM_DECLARATION: | ||
66 | sequence_EnumDeclaration(context, (EnumDeclaration) semanticObject); | ||
67 | return; | ||
63 | case ProblemPackage.EXACT_MULTIPLICITY: | 68 | case ProblemPackage.EXACT_MULTIPLICITY: |
64 | sequence_ExactMultiplicity(context, (ExactMultiplicity) semanticObject); | 69 | sequence_ExactMultiplicity(context, (ExactMultiplicity) semanticObject); |
65 | return; | 70 | return; |
66 | case ProblemPackage.NEGATIVE_LITERAL: | 71 | case ProblemPackage.NEGATIVE_LITERAL: |
67 | sequence_NegativeLiteral(context, (NegativeLiteral) semanticObject); | 72 | sequence_NegativeLiteral(context, (NegativeLiteral) semanticObject); |
68 | return; | 73 | return; |
74 | case ProblemPackage.NODE: | ||
75 | sequence_EnumLiteral(context, (Node) semanticObject); | ||
76 | return; | ||
69 | case ProblemPackage.PARAMETER: | 77 | case ProblemPackage.PARAMETER: |
70 | sequence_Parameter(context, (org.eclipse.viatra.solver.language.model.problem.Parameter) semanticObject); | 78 | sequence_Parameter(context, (org.eclipse.viatra.solver.language.model.problem.Parameter) semanticObject); |
71 | return; | 79 | return; |
@@ -100,15 +108,15 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
100 | * Argument returns Argument | 108 | * Argument returns Argument |
101 | * | 109 | * |
102 | * Constraint: | 110 | * Constraint: |
103 | * variable=[Variable|ID] | 111 | * variableOrNode=[VariableOrNode|QualifiedName] |
104 | */ | 112 | */ |
105 | protected void sequence_Argument(ISerializationContext context, Argument semanticObject) { | 113 | protected void sequence_Argument(ISerializationContext context, Argument semanticObject) { |
106 | if (errorAcceptor != null) { | 114 | if (errorAcceptor != null) { |
107 | if (transientValues.isValueTransient(semanticObject, ProblemPackage.Literals.ARGUMENT__VARIABLE) == ValueTransient.YES) | 115 | if (transientValues.isValueTransient(semanticObject, ProblemPackage.Literals.ARGUMENT__VARIABLE_OR_NODE) == ValueTransient.YES) |
108 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, ProblemPackage.Literals.ARGUMENT__VARIABLE)); | 116 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, ProblemPackage.Literals.ARGUMENT__VARIABLE_OR_NODE)); |
109 | } | 117 | } |
110 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | 118 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); |
111 | feeder.accept(grammarAccess.getArgumentAccess().getVariableVariableIDTerminalRuleCall_0_1(), semanticObject.eGet(ProblemPackage.Literals.ARGUMENT__VARIABLE, false)); | 119 | feeder.accept(grammarAccess.getArgumentAccess().getVariableOrNodeVariableOrNodeQualifiedNameParserRuleCall_0_1(), semanticObject.eGet(ProblemPackage.Literals.ARGUMENT__VARIABLE_OR_NODE, false)); |
112 | feeder.finish(); | 120 | feeder.finish(); |
113 | } | 121 | } |
114 | 122 | ||
@@ -150,8 +158,8 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
150 | * Constraint: | 158 | * Constraint: |
151 | * ( | 159 | * ( |
152 | * abstract?='abstract'? | 160 | * abstract?='abstract'? |
153 | * name=ID | 161 | * name=Identifier |
154 | * (superTypes+=[ClassDeclaration|QualifiedName] superTypes+=[ClassDeclaration|QualifiedName]*)? | 162 | * (superTypes+=[Relation|QualifiedName] superTypes+=[Relation|QualifiedName]*)? |
155 | * referenceDeclarations+=ReferenceDeclaration* | 163 | * referenceDeclarations+=ReferenceDeclaration* |
156 | * ) | 164 | * ) |
157 | */ | 165 | */ |
@@ -174,6 +182,37 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
174 | 182 | ||
175 | /** | 183 | /** |
176 | * Contexts: | 184 | * Contexts: |
185 | * Statement returns EnumDeclaration | ||
186 | * EnumDeclaration returns EnumDeclaration | ||
187 | * | ||
188 | * Constraint: | ||
189 | * (name=Identifier (literals+=EnumLiteral literals+=EnumLiteral*)?) | ||
190 | */ | ||
191 | protected void sequence_EnumDeclaration(ISerializationContext context, EnumDeclaration semanticObject) { | ||
192 | genericSequencer.createSequence(context, semanticObject); | ||
193 | } | ||
194 | |||
195 | |||
196 | /** | ||
197 | * Contexts: | ||
198 | * EnumLiteral returns Node | ||
199 | * | ||
200 | * Constraint: | ||
201 | * name=QuotedOrUnquotedId | ||
202 | */ | ||
203 | protected void sequence_EnumLiteral(ISerializationContext context, Node semanticObject) { | ||
204 | if (errorAcceptor != null) { | ||
205 | if (transientValues.isValueTransient(semanticObject, ProblemPackage.Literals.NAMED_ELEMENT__NAME) == ValueTransient.YES) | ||
206 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, ProblemPackage.Literals.NAMED_ELEMENT__NAME)); | ||
207 | } | ||
208 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
209 | feeder.accept(grammarAccess.getEnumLiteralAccess().getNameQuotedOrUnquotedIdParserRuleCall_0(), semanticObject.getName()); | ||
210 | feeder.finish(); | ||
211 | } | ||
212 | |||
213 | |||
214 | /** | ||
215 | * Contexts: | ||
177 | * Multiplicity returns ExactMultiplicity | 216 | * Multiplicity returns ExactMultiplicity |
178 | * DefiniteMultiplicity returns ExactMultiplicity | 217 | * DefiniteMultiplicity returns ExactMultiplicity |
179 | * ExactMultiplicity returns ExactMultiplicity | 218 | * ExactMultiplicity returns ExactMultiplicity |
@@ -216,19 +255,10 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
216 | * Parameter returns Parameter | 255 | * Parameter returns Parameter |
217 | * | 256 | * |
218 | * Constraint: | 257 | * Constraint: |
219 | * (parameterType=[ClassDeclaration|ID] name=ID) | 258 | * (parameterType=[Relation|QualifiedName]? name=Identifier) |
220 | */ | 259 | */ |
221 | protected void sequence_Parameter(ISerializationContext context, org.eclipse.viatra.solver.language.model.problem.Parameter semanticObject) { | 260 | protected void sequence_Parameter(ISerializationContext context, org.eclipse.viatra.solver.language.model.problem.Parameter semanticObject) { |
222 | if (errorAcceptor != null) { | 261 | genericSequencer.createSequence(context, semanticObject); |
223 | if (transientValues.isValueTransient(semanticObject, ProblemPackage.Literals.PARAMETER__PARAMETER_TYPE) == ValueTransient.YES) | ||
224 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, ProblemPackage.Literals.PARAMETER__PARAMETER_TYPE)); | ||
225 | if (transientValues.isValueTransient(semanticObject, ProblemPackage.Literals.NAMED_ELEMENT__NAME) == ValueTransient.YES) | ||
226 | errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, ProblemPackage.Literals.NAMED_ELEMENT__NAME)); | ||
227 | } | ||
228 | SequenceFeeder feeder = createSequencerFeeder(context, semanticObject); | ||
229 | feeder.accept(grammarAccess.getParameterAccess().getParameterTypeClassDeclarationIDTerminalRuleCall_0_0_1(), semanticObject.eGet(ProblemPackage.Literals.PARAMETER__PARAMETER_TYPE, false)); | ||
230 | feeder.accept(grammarAccess.getParameterAccess().getNameIDTerminalRuleCall_1_0(), semanticObject.getName()); | ||
231 | feeder.finish(); | ||
232 | } | 262 | } |
233 | 263 | ||
234 | 264 | ||
@@ -238,7 +268,7 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
238 | * PredicateDefinition returns PredicateDefinition | 268 | * PredicateDefinition returns PredicateDefinition |
239 | * | 269 | * |
240 | * Constraint: | 270 | * Constraint: |
241 | * (error?='error'? name=ID (parameters+=Parameter parameters+=Parameter*)? (bodies+=Conjunction bodies+=Conjunction*)?) | 271 | * (error?='error'? name=Identifier (parameters+=Parameter parameters+=Parameter*)? (bodies+=Conjunction bodies+=Conjunction*)?) |
242 | */ | 272 | */ |
243 | protected void sequence_PredicateDefinition(ISerializationContext context, PredicateDefinition semanticObject) { | 273 | protected void sequence_PredicateDefinition(ISerializationContext context, PredicateDefinition semanticObject) { |
244 | genericSequencer.createSequence(context, semanticObject); | 274 | genericSequencer.createSequence(context, semanticObject); |
@@ -250,7 +280,7 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
250 | * Problem returns Problem | 280 | * Problem returns Problem |
251 | * | 281 | * |
252 | * Constraint: | 282 | * Constraint: |
253 | * ((name=ID statements+=Statement+) | statements+=Statement+)? | 283 | * ((name=Identifier statements+=Statement+) | statements+=Statement+)? |
254 | */ | 284 | */ |
255 | protected void sequence_Problem(ISerializationContext context, Problem semanticObject) { | 285 | protected void sequence_Problem(ISerializationContext context, Problem semanticObject) { |
256 | genericSequencer.createSequence(context, semanticObject); | 286 | genericSequencer.createSequence(context, semanticObject); |
@@ -287,9 +317,9 @@ public class ProblemSemanticSequencer extends AbstractDelegatingSemanticSequence | |||
287 | * Constraint: | 317 | * Constraint: |
288 | * ( | 318 | * ( |
289 | * containment?='contains'? | 319 | * containment?='contains'? |
290 | * referenceType=[ClassDeclaration|QualifiedName] | 320 | * referenceType=[Relation|QualifiedName] |
291 | * multiplicity=Multiplicity? | 321 | * multiplicity=Multiplicity? |
292 | * name=ID | 322 | * name=Identifier |
293 | * opposite=[ReferenceDeclaration|QualifiedName]? | 323 | * opposite=[ReferenceDeclaration|QualifiedName]? |
294 | * ) | 324 | * ) |
295 | */ | 325 | */ |
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSyntacticSequencer.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSyntacticSequencer.java index 80ac73d6..3f0a3f05 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSyntacticSequencer.java +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSyntacticSequencer.java | |||
@@ -24,14 +24,20 @@ public class ProblemSyntacticSequencer extends AbstractSyntacticSequencer { | |||
24 | protected ProblemGrammarAccess grammarAccess; | 24 | protected ProblemGrammarAccess grammarAccess; |
25 | protected AbstractElementAlias match_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__; | 25 | protected AbstractElementAlias match_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__; |
26 | protected AbstractElementAlias match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q; | 26 | protected AbstractElementAlias match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q; |
27 | protected AbstractElementAlias match_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__; | ||
28 | protected AbstractElementAlias match_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q; | ||
27 | protected AbstractElementAlias match_PredicateDefinition_PredKeyword_0_0_1_q; | 29 | protected AbstractElementAlias match_PredicateDefinition_PredKeyword_0_0_1_q; |
30 | protected AbstractElementAlias match_ReferenceDeclaration_RefersKeyword_0_1_q; | ||
28 | 31 | ||
29 | @Inject | 32 | @Inject |
30 | protected void init(IGrammarAccess access) { | 33 | protected void init(IGrammarAccess access) { |
31 | grammarAccess = (ProblemGrammarAccess) access; | 34 | grammarAccess = (ProblemGrammarAccess) access; |
32 | match_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__ = new AlternativeAlias(false, false, new GroupAlias(false, false, new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getLeftCurlyBracketKeyword_4_0_0()), new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getRightCurlyBracketKeyword_4_0_2())), new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getFullStopKeyword_4_1())); | 35 | match_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__ = new AlternativeAlias(false, false, new GroupAlias(false, false, new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getLeftCurlyBracketKeyword_4_0_0()), new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getRightCurlyBracketKeyword_4_0_2())), new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getFullStopKeyword_4_1())); |
33 | match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q = new TokenAlias(false, true, grammarAccess.getClassDeclarationAccess().getSemicolonKeyword_4_0_1_1()); | 36 | match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q = new TokenAlias(false, true, grammarAccess.getClassDeclarationAccess().getSemicolonKeyword_4_0_1_1()); |
37 | match_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__ = new AlternativeAlias(false, false, new GroupAlias(false, false, new TokenAlias(false, false, grammarAccess.getEnumDeclarationAccess().getLeftCurlyBracketKeyword_2_0_0()), new TokenAlias(false, false, grammarAccess.getEnumDeclarationAccess().getRightCurlyBracketKeyword_2_0_2())), new TokenAlias(false, false, grammarAccess.getEnumDeclarationAccess().getFullStopKeyword_2_1())); | ||
38 | match_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q = new AlternativeAlias(false, true, new TokenAlias(false, false, grammarAccess.getEnumDeclarationAccess().getCommaKeyword_2_0_1_2_0()), new TokenAlias(false, false, grammarAccess.getEnumDeclarationAccess().getSemicolonKeyword_2_0_1_2_1())); | ||
34 | match_PredicateDefinition_PredKeyword_0_0_1_q = new TokenAlias(false, true, grammarAccess.getPredicateDefinitionAccess().getPredKeyword_0_0_1()); | 39 | match_PredicateDefinition_PredKeyword_0_0_1_q = new TokenAlias(false, true, grammarAccess.getPredicateDefinitionAccess().getPredKeyword_0_0_1()); |
40 | match_ReferenceDeclaration_RefersKeyword_0_1_q = new TokenAlias(false, true, grammarAccess.getReferenceDeclarationAccess().getRefersKeyword_0_1()); | ||
35 | } | 41 | } |
36 | 42 | ||
37 | @Override | 43 | @Override |
@@ -50,8 +56,14 @@ public class ProblemSyntacticSequencer extends AbstractSyntacticSequencer { | |||
50 | emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(semanticObject, getLastNavigableState(), syntaxNodes); | 56 | emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(semanticObject, getLastNavigableState(), syntaxNodes); |
51 | else if (match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q.equals(syntax)) | 57 | else if (match_ClassDeclaration_SemicolonKeyword_4_0_1_1_q.equals(syntax)) |
52 | emit_ClassDeclaration_SemicolonKeyword_4_0_1_1_q(semanticObject, getLastNavigableState(), syntaxNodes); | 58 | emit_ClassDeclaration_SemicolonKeyword_4_0_1_1_q(semanticObject, getLastNavigableState(), syntaxNodes); |
59 | else if (match_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__.equals(syntax)) | ||
60 | emit_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__(semanticObject, getLastNavigableState(), syntaxNodes); | ||
61 | else if (match_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q.equals(syntax)) | ||
62 | emit_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q(semanticObject, getLastNavigableState(), syntaxNodes); | ||
53 | else if (match_PredicateDefinition_PredKeyword_0_0_1_q.equals(syntax)) | 63 | else if (match_PredicateDefinition_PredKeyword_0_0_1_q.equals(syntax)) |
54 | emit_PredicateDefinition_PredKeyword_0_0_1_q(semanticObject, getLastNavigableState(), syntaxNodes); | 64 | emit_PredicateDefinition_PredKeyword_0_0_1_q(semanticObject, getLastNavigableState(), syntaxNodes); |
65 | else if (match_ReferenceDeclaration_RefersKeyword_0_1_q.equals(syntax)) | ||
66 | emit_ReferenceDeclaration_RefersKeyword_0_1_q(semanticObject, getLastNavigableState(), syntaxNodes); | ||
55 | else acceptNodes(getLastNavigableState(), syntaxNodes); | 67 | else acceptNodes(getLastNavigableState(), syntaxNodes); |
56 | } | 68 | } |
57 | } | 69 | } |
@@ -61,8 +73,8 @@ public class ProblemSyntacticSequencer extends AbstractSyntacticSequencer { | |||
61 | * ('{' '}') | '.' | 73 | * ('{' '}') | '.' |
62 | * | 74 | * |
63 | * This ambiguous syntax occurs at: | 75 | * This ambiguous syntax occurs at: |
64 | * name=ID (ambiguity) (rule end) | 76 | * name=Identifier (ambiguity) (rule end) |
65 | * superTypes+=[ClassDeclaration|QualifiedName] (ambiguity) (rule end) | 77 | * superTypes+=[Relation|QualifiedName] (ambiguity) (rule end) |
66 | */ | 78 | */ |
67 | protected void emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 79 | protected void emit_ClassDeclaration_FullStopKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
68 | acceptNodes(transition, nodes); | 80 | acceptNodes(transition, nodes); |
@@ -82,13 +94,46 @@ public class ProblemSyntacticSequencer extends AbstractSyntacticSequencer { | |||
82 | 94 | ||
83 | /** | 95 | /** |
84 | * Ambiguous syntax: | 96 | * Ambiguous syntax: |
97 | * ('{' '}') | '.' | ||
98 | * | ||
99 | * This ambiguous syntax occurs at: | ||
100 | * name=Identifier (ambiguity) (rule end) | ||
101 | */ | ||
102 | protected void emit_EnumDeclaration_FullStopKeyword_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
103 | acceptNodes(transition, nodes); | ||
104 | } | ||
105 | |||
106 | /** | ||
107 | * Ambiguous syntax: | ||
108 | * (',' | ';')? | ||
109 | * | ||
110 | * This ambiguous syntax occurs at: | ||
111 | * literals+=EnumLiteral (ambiguity) '}' (rule end) | ||
112 | */ | ||
113 | protected void emit_EnumDeclaration___CommaKeyword_2_0_1_2_0_or_SemicolonKeyword_2_0_1_2_1__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
114 | acceptNodes(transition, nodes); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * Ambiguous syntax: | ||
85 | * 'pred'? | 119 | * 'pred'? |
86 | * | 120 | * |
87 | * This ambiguous syntax occurs at: | 121 | * This ambiguous syntax occurs at: |
88 | * error?='error' (ambiguity) name=ID | 122 | * error?='error' (ambiguity) name=Identifier |
89 | */ | 123 | */ |
90 | protected void emit_PredicateDefinition_PredKeyword_0_0_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 124 | protected void emit_PredicateDefinition_PredKeyword_0_0_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
91 | acceptNodes(transition, nodes); | 125 | acceptNodes(transition, nodes); |
92 | } | 126 | } |
93 | 127 | ||
128 | /** | ||
129 | * Ambiguous syntax: | ||
130 | * 'refers'? | ||
131 | * | ||
132 | * This ambiguous syntax occurs at: | ||
133 | * (rule start) (ambiguity) referenceType=[Relation|QualifiedName] | ||
134 | */ | ||
135 | protected void emit_ReferenceDeclaration_RefersKeyword_0_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
136 | acceptNodes(transition, nodes); | ||
137 | } | ||
138 | |||
94 | } | 139 | } |