diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-23 15:17:00 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-23 15:17:00 +0200 |
commit | 42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f (patch) | |
tree | 21d49c3a1dadc54dda399a4b8cfe8dc028563f51 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntacticSequencer.java | |
parent | Measurements framework fixes (diff) | |
download | VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.gz VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.tar.zst VIATRA-Generator-42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f.zip |
New configuration language parser 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 | 87 |
1 files changed, 67 insertions, 20 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 8b187721..2f9ea8a3 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 | |||
@@ -11,6 +11,8 @@ import org.eclipse.xtext.IGrammarAccess; | |||
11 | import org.eclipse.xtext.RuleCall; | 11 | import org.eclipse.xtext.RuleCall; |
12 | import org.eclipse.xtext.nodemodel.INode; | 12 | import org.eclipse.xtext.nodemodel.INode; |
13 | import org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias; | 13 | import org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias; |
14 | import org.eclipse.xtext.serializer.analysis.GrammarAlias.AlternativeAlias; | ||
15 | import org.eclipse.xtext.serializer.analysis.GrammarAlias.GroupAlias; | ||
14 | import org.eclipse.xtext.serializer.analysis.GrammarAlias.TokenAlias; | 16 | import org.eclipse.xtext.serializer.analysis.GrammarAlias.TokenAlias; |
15 | import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable; | 17 | import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable; |
16 | import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition; | 18 | import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition; |
@@ -22,14 +24,20 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
22 | protected SolverLanguageGrammarAccess grammarAccess; | 24 | protected SolverLanguageGrammarAccess grammarAccess; |
23 | protected AbstractElementAlias match_AtomicExpression_LeftParenthesisKeyword_4_0_a; | 25 | protected AbstractElementAlias match_AtomicExpression_LeftParenthesisKeyword_4_0_a; |
24 | protected AbstractElementAlias match_AtomicExpression_LeftParenthesisKeyword_4_0_p; | 26 | protected AbstractElementAlias match_AtomicExpression_LeftParenthesisKeyword_4_0_p; |
25 | protected AbstractElementAlias match_MemberDefinition_SemicolonKeyword_5_q; | 27 | protected AbstractElementAlias match_ClassDeclaration_FULL_STOPTerminalRuleCall_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__; |
28 | protected AbstractElementAlias match_EnumDeclaration_CommaKeyword_2_0_1_1_0_q; | ||
29 | protected AbstractElementAlias match_EnumDeclaration_FULL_STOPTerminalRuleCall_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__; | ||
30 | protected AbstractElementAlias match_Field_SemicolonKeyword_5_q; | ||
26 | 31 | ||
27 | @Inject | 32 | @Inject |
28 | protected void init(IGrammarAccess access) { | 33 | protected void init(IGrammarAccess access) { |
29 | grammarAccess = (SolverLanguageGrammarAccess) access; | 34 | grammarAccess = (SolverLanguageGrammarAccess) access; |
30 | match_AtomicExpression_LeftParenthesisKeyword_4_0_a = new TokenAlias(true, true, grammarAccess.getAtomicExpressionAccess().getLeftParenthesisKeyword_4_0()); | 35 | match_AtomicExpression_LeftParenthesisKeyword_4_0_a = new TokenAlias(true, true, grammarAccess.getAtomicExpressionAccess().getLeftParenthesisKeyword_4_0()); |
31 | match_AtomicExpression_LeftParenthesisKeyword_4_0_p = new TokenAlias(true, false, grammarAccess.getAtomicExpressionAccess().getLeftParenthesisKeyword_4_0()); | 36 | match_AtomicExpression_LeftParenthesisKeyword_4_0_p = new TokenAlias(true, false, grammarAccess.getAtomicExpressionAccess().getLeftParenthesisKeyword_4_0()); |
32 | match_MemberDefinition_SemicolonKeyword_5_q = new TokenAlias(false, true, grammarAccess.getMemberDefinitionAccess().getSemicolonKeyword_5()); | 37 | match_ClassDeclaration_FULL_STOPTerminalRuleCall_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().getFULL_STOPTerminalRuleCall_4_1())); |
38 | match_EnumDeclaration_CommaKeyword_2_0_1_1_0_q = new TokenAlias(false, true, grammarAccess.getEnumDeclarationAccess().getCommaKeyword_2_0_1_1_0()); | ||
39 | match_EnumDeclaration_FULL_STOPTerminalRuleCall_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().getFULL_STOPTerminalRuleCall_2_1())); | ||
40 | match_Field_SemicolonKeyword_5_q = new TokenAlias(false, true, grammarAccess.getFieldAccess().getSemicolonKeyword_5()); | ||
33 | } | 41 | } |
34 | 42 | ||
35 | @Override | 43 | @Override |
@@ -71,8 +79,14 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
71 | emit_AtomicExpression_LeftParenthesisKeyword_4_0_a(semanticObject, getLastNavigableState(), syntaxNodes); | 79 | emit_AtomicExpression_LeftParenthesisKeyword_4_0_a(semanticObject, getLastNavigableState(), syntaxNodes); |
72 | else if (match_AtomicExpression_LeftParenthesisKeyword_4_0_p.equals(syntax)) | 80 | else if (match_AtomicExpression_LeftParenthesisKeyword_4_0_p.equals(syntax)) |
73 | emit_AtomicExpression_LeftParenthesisKeyword_4_0_p(semanticObject, getLastNavigableState(), syntaxNodes); | 81 | emit_AtomicExpression_LeftParenthesisKeyword_4_0_p(semanticObject, getLastNavigableState(), syntaxNodes); |
74 | else if (match_MemberDefinition_SemicolonKeyword_5_q.equals(syntax)) | 82 | else if (match_ClassDeclaration_FULL_STOPTerminalRuleCall_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__.equals(syntax)) |
75 | emit_MemberDefinition_SemicolonKeyword_5_q(semanticObject, getLastNavigableState(), syntaxNodes); | 83 | emit_ClassDeclaration_FULL_STOPTerminalRuleCall_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(semanticObject, getLastNavigableState(), syntaxNodes); |
84 | else if (match_EnumDeclaration_CommaKeyword_2_0_1_1_0_q.equals(syntax)) | ||
85 | emit_EnumDeclaration_CommaKeyword_2_0_1_1_0_q(semanticObject, getLastNavigableState(), syntaxNodes); | ||
86 | else if (match_EnumDeclaration_FULL_STOPTerminalRuleCall_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__.equals(syntax)) | ||
87 | emit_EnumDeclaration_FULL_STOPTerminalRuleCall_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__(semanticObject, getLastNavigableState(), syntaxNodes); | ||
88 | else if (match_Field_SemicolonKeyword_5_q.equals(syntax)) | ||
89 | emit_Field_SemicolonKeyword_5_q(semanticObject, getLastNavigableState(), syntaxNodes); | ||
76 | else acceptNodes(getLastNavigableState(), syntaxNodes); | 90 | else acceptNodes(getLastNavigableState(), syntaxNodes); |
77 | } | 91 | } |
78 | } | 92 | } |
@@ -82,26 +96,25 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
82 | * '('* | 96 | * '('* |
83 | * | 97 | * |
84 | * This ambiguous syntax occurs at: | 98 | * This ambiguous syntax occurs at: |
85 | * (rule start) (ambiguity) '[' lowerBound=Expression | 99 | * (rule start) (ambiguity) '[' lowerBound=AdditiveExpression |
100 | * (rule start) (ambiguity) 'count' '{' condition=Expression | ||
86 | * (rule start) (ambiguity) 'empty' (rule start) | 101 | * (rule start) (ambiguity) 'empty' (rule start) |
87 | * (rule start) (ambiguity) 'empty' FULL_STOP (rule start) | 102 | * (rule start) (ambiguity) 'if' condition=DisjunctiveExpression |
88 | * (rule start) (ambiguity) 'if' condition=Expression | ||
89 | * (rule start) (ambiguity) 'inf' (rule start) | 103 | * (rule start) (ambiguity) 'inf' (rule start) |
90 | * (rule start) (ambiguity) 'inf' FULL_STOP (rule start) | ||
91 | * (rule start) (ambiguity) 'let' bindings+=LetBinding | 104 | * (rule start) (ambiguity) 'let' bindings+=LetBinding |
105 | * (rule start) (ambiguity) components+=PathComponent | ||
92 | * (rule start) (ambiguity) functor=Reference | 106 | * (rule start) (ambiguity) functor=Reference |
93 | * (rule start) (ambiguity) op=UnaryOp | 107 | * (rule start) (ambiguity) op=UnaryOperator |
94 | * (rule start) (ambiguity) op=[NamedElement|QualifiedName] | 108 | * (rule start) (ambiguity) op=[Symbol|QualifiedName] |
95 | * (rule start) (ambiguity) quantifier=Quantifier | 109 | * (rule start) (ambiguity) value=INT |
96 | * (rule start) (ambiguity) referred=[NamedElement|QualifiedName] | ||
97 | * (rule start) (ambiguity) value=LogicValue | 110 | * (rule start) (ambiguity) value=LogicValue |
98 | * (rule start) (ambiguity) value=Real | 111 | * (rule start) (ambiguity) value=Real |
99 | * (rule start) (ambiguity) value=STRING | 112 | * (rule start) (ambiguity) value=STRING |
100 | * (rule start) (ambiguity) {BinaryExpression.left=} | 113 | * (rule start) (ambiguity) {BinaryExpression.left=} |
101 | * (rule start) (ambiguity) {CastExpression.body=} | 114 | * (rule start) (ambiguity) {CastExpression.body=} |
102 | * (rule start) (ambiguity) {Comparison.left=} | ||
103 | * (rule start) (ambiguity) {Conjunction.children+=} | 115 | * (rule start) (ambiguity) {Conjunction.children+=} |
104 | * (rule start) (ambiguity) {Disjunction.children+=} | 116 | * (rule start) (ambiguity) {Disjunction.children+=} |
117 | * (rule start) (ambiguity) {Forall.condition=} | ||
105 | * (rule start) (ambiguity) {Switch.cases+=} | 118 | * (rule start) (ambiguity) {Switch.cases+=} |
106 | */ | 119 | */ |
107 | protected void emit_AtomicExpression_LeftParenthesisKeyword_4_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 120 | protected void emit_AtomicExpression_LeftParenthesisKeyword_4_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
@@ -113,16 +126,16 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
113 | * '('+ | 126 | * '('+ |
114 | * | 127 | * |
115 | * This ambiguous syntax occurs at: | 128 | * This ambiguous syntax occurs at: |
116 | * (rule start) (ambiguity) 'if' condition=Expression | 129 | * (rule start) (ambiguity) 'count' '{' condition=Expression |
130 | * (rule start) (ambiguity) 'if' condition=DisjunctiveExpression | ||
117 | * (rule start) (ambiguity) 'let' bindings+=LetBinding | 131 | * (rule start) (ambiguity) 'let' bindings+=LetBinding |
118 | * (rule start) (ambiguity) op=UnaryOp | 132 | * (rule start) (ambiguity) op=UnaryOperator |
119 | * (rule start) (ambiguity) op=[NamedElement|QualifiedName] | 133 | * (rule start) (ambiguity) op=[Symbol|QualifiedName] |
120 | * (rule start) (ambiguity) quantifier=Quantifier | ||
121 | * (rule start) (ambiguity) {BinaryExpression.left=} | 134 | * (rule start) (ambiguity) {BinaryExpression.left=} |
122 | * (rule start) (ambiguity) {CastExpression.body=} | 135 | * (rule start) (ambiguity) {CastExpression.body=} |
123 | * (rule start) (ambiguity) {Comparison.left=} | ||
124 | * (rule start) (ambiguity) {Conjunction.children+=} | 136 | * (rule start) (ambiguity) {Conjunction.children+=} |
125 | * (rule start) (ambiguity) {Disjunction.children+=} | 137 | * (rule start) (ambiguity) {Disjunction.children+=} |
138 | * (rule start) (ambiguity) {Forall.condition=} | ||
126 | * (rule start) (ambiguity) {Switch.cases+=} | 139 | * (rule start) (ambiguity) {Switch.cases+=} |
127 | */ | 140 | */ |
128 | protected void emit_AtomicExpression_LeftParenthesisKeyword_4_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 141 | protected void emit_AtomicExpression_LeftParenthesisKeyword_4_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
@@ -131,13 +144,47 @@ public class SolverLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
131 | 144 | ||
132 | /** | 145 | /** |
133 | * Ambiguous syntax: | 146 | * Ambiguous syntax: |
147 | * ('{' '}') | FULL_STOP | ||
148 | * | ||
149 | * This ambiguous syntax occurs at: | ||
150 | * name=ID (ambiguity) (rule end) | ||
151 | * supertypes+=[Symbol|QualifiedName] (ambiguity) (rule end) | ||
152 | */ | ||
153 | protected void emit_ClassDeclaration_FULL_STOPTerminalRuleCall_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
154 | acceptNodes(transition, nodes); | ||
155 | } | ||
156 | |||
157 | /** | ||
158 | * Ambiguous syntax: | ||
159 | * ','? | ||
160 | * | ||
161 | * This ambiguous syntax occurs at: | ||
162 | * literals+=EnumLiteral (ambiguity) literals+=EnumLiteral | ||
163 | */ | ||
164 | protected void emit_EnumDeclaration_CommaKeyword_2_0_1_1_0_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
165 | acceptNodes(transition, nodes); | ||
166 | } | ||
167 | |||
168 | /** | ||
169 | * Ambiguous syntax: | ||
170 | * ('{' '}') | FULL_STOP | ||
171 | * | ||
172 | * This ambiguous syntax occurs at: | ||
173 | * name=ID (ambiguity) (rule end) | ||
174 | */ | ||
175 | protected void emit_EnumDeclaration_FULL_STOPTerminalRuleCall_2_1_or___LeftCurlyBracketKeyword_2_0_0_RightCurlyBracketKeyword_2_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | ||
176 | acceptNodes(transition, nodes); | ||
177 | } | ||
178 | |||
179 | /** | ||
180 | * Ambiguous syntax: | ||
134 | * ';'? | 181 | * ';'? |
135 | * | 182 | * |
136 | * This ambiguous syntax occurs at: | 183 | * This ambiguous syntax occurs at: |
137 | * name=ID (ambiguity) (rule end) | 184 | * name=ID (ambiguity) (rule end) |
138 | * opposite=[NamedElement|QualifiedName] (ambiguity) (rule end) | 185 | * opposite=[Symbol|QualifiedName] (ambiguity) (rule end) |
139 | */ | 186 | */ |
140 | protected void emit_MemberDefinition_SemicolonKeyword_5_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 187 | protected void emit_Field_SemicolonKeyword_5_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
141 | acceptNodes(transition, nodes); | 188 | acceptNodes(transition, nodes); |
142 | } | 189 | } |
143 | 190 | ||