diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java')
| -rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java index 1fa1a820..8b187721 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java | |||
| @@ -83,18 +83,22 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
| 83 | * | 83 | * |
| 84 | * This ambiguous syntax occurs at: | 84 | * This ambiguous syntax occurs at: |
| 85 | * (rule start) (ambiguity) '[' lowerBound=Expression | 85 | * (rule start) (ambiguity) '[' lowerBound=Expression |
| 86 | * (rule start) (ambiguity) 'count' '{' body=Expression | ||
| 87 | * (rule start) (ambiguity) 'empty' (rule start) | 86 | * (rule start) (ambiguity) 'empty' (rule start) |
| 87 | * (rule start) (ambiguity) 'empty' FULL_STOP (rule start) | ||
| 88 | * (rule start) (ambiguity) 'if' condition=Expression | 88 | * (rule start) (ambiguity) 'if' condition=Expression |
| 89 | * (rule start) (ambiguity) 'inf' (rule start) | 89 | * (rule start) (ambiguity) 'inf' (rule start) |
| 90 | * (rule start) (ambiguity) 'inf' FULL_STOP (rule start) | ||
| 91 | * (rule start) (ambiguity) 'let' bindings+=LetBinding | ||
| 90 | * (rule start) (ambiguity) functor=Reference | 92 | * (rule start) (ambiguity) functor=Reference |
| 91 | * (rule start) (ambiguity) op=AggregationOp | ||
| 92 | * (rule start) (ambiguity) op=UnaryOp | 93 | * (rule start) (ambiguity) op=UnaryOp |
| 94 | * (rule start) (ambiguity) op=[NamedElement|QualifiedName] | ||
| 95 | * (rule start) (ambiguity) quantifier=Quantifier | ||
| 93 | * (rule start) (ambiguity) referred=[NamedElement|QualifiedName] | 96 | * (rule start) (ambiguity) referred=[NamedElement|QualifiedName] |
| 94 | * (rule start) (ambiguity) value=LogicValue | 97 | * (rule start) (ambiguity) value=LogicValue |
| 95 | * (rule start) (ambiguity) value=Real | 98 | * (rule start) (ambiguity) value=Real |
| 96 | * (rule start) (ambiguity) value=STRING | 99 | * (rule start) (ambiguity) value=STRING |
| 97 | * (rule start) (ambiguity) {BinaryExpression.left=} | 100 | * (rule start) (ambiguity) {BinaryExpression.left=} |
| 101 | * (rule start) (ambiguity) {CastExpression.body=} | ||
| 98 | * (rule start) (ambiguity) {Comparison.left=} | 102 | * (rule start) (ambiguity) {Comparison.left=} |
| 99 | * (rule start) (ambiguity) {Conjunction.children+=} | 103 | * (rule start) (ambiguity) {Conjunction.children+=} |
| 100 | * (rule start) (ambiguity) {Disjunction.children+=} | 104 | * (rule start) (ambiguity) {Disjunction.children+=} |
| @@ -109,11 +113,13 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
| 109 | * '('+ | 113 | * '('+ |
| 110 | * | 114 | * |
| 111 | * This ambiguous syntax occurs at: | 115 | * This ambiguous syntax occurs at: |
| 112 | * (rule start) (ambiguity) 'count' '{' body=Expression | ||
| 113 | * (rule start) (ambiguity) 'if' condition=Expression | 116 | * (rule start) (ambiguity) 'if' condition=Expression |
| 114 | * (rule start) (ambiguity) op=AggregationOp | 117 | * (rule start) (ambiguity) 'let' bindings+=LetBinding |
| 115 | * (rule start) (ambiguity) op=UnaryOp | 118 | * (rule start) (ambiguity) op=UnaryOp |
| 119 | * (rule start) (ambiguity) op=[NamedElement|QualifiedName] | ||
| 120 | * (rule start) (ambiguity) quantifier=Quantifier | ||
| 116 | * (rule start) (ambiguity) {BinaryExpression.left=} | 121 | * (rule start) (ambiguity) {BinaryExpression.left=} |
| 122 | * (rule start) (ambiguity) {CastExpression.body=} | ||
| 117 | * (rule start) (ambiguity) {Comparison.left=} | 123 | * (rule start) (ambiguity) {Comparison.left=} |
| 118 | * (rule start) (ambiguity) {Conjunction.children+=} | 124 | * (rule start) (ambiguity) {Conjunction.children+=} |
| 119 | * (rule start) (ambiguity) {Disjunction.children+=} | 125 | * (rule start) (ambiguity) {Disjunction.children+=} |