diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:18:06 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:18:06 +0200 |
commit | b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b (patch) | |
tree | ad3222182065b8fac7d9b3d528c4efabf2aa0dd2 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java | |
parent | Merge branch 'master' of github.com:viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.gz VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.zst VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.zip |
Config language WIP
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+=} |