1 files changed, 77 insertions, 0 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/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
new file mode 100644
index 00000000..3ffb6315
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/serializer/ProblemSyntacticSequencer.java
@@ -0,0 +1,77 @@
+/*
+ * generated by Xtext 2.26.0.M1
+ */
+package org.eclipse.viatra.solver.language.serializer;
+
+import com.google.inject.Inject;
+import java.util.List;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.viatra.solver.language.services.ProblemGrammarAccess;
+import org.eclipse.xtext.IGrammarAccess;
+import org.eclipse.xtext.RuleCall;
+import org.eclipse.xtext.nodemodel.INode;
+import org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias;
+import org.eclipse.xtext.serializer.analysis.GrammarAlias.GroupAlias;
+import org.eclipse.xtext.serializer.analysis.GrammarAlias.TokenAlias;
+import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable;
+import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition;
+import org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer;
+
+@SuppressWarnings("all")
+public class ProblemSyntacticSequencer extends AbstractSyntacticSequencer {
+
+        protected ProblemGrammarAccess grammarAccess;
+        protected AbstractElementAlias match_ClassDeclaration___ExtendsKeyword_3_0_0_LeftSquareBracketKeyword_3_0_1_1_0_RightSquareBracketKeyword_3_0_1_1_2__q;
+        protected AbstractElementAlias match_PredicateDefinition_PredKeyword_0_0_1_q;
+        
+        @Inject
+        protected void init(IGrammarAccess access) {
+                grammarAccess = (ProblemGrammarAccess) access;
+                match_ClassDeclaration___ExtendsKeyword_3_0_0_LeftSquareBracketKeyword_3_0_1_1_0_RightSquareBracketKeyword_3_0_1_1_2__q = new GroupAlias(false, true, new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getExtendsKeyword_3_0_0()), new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getLeftSquareBracketKeyword_3_0_1_1_0()), new TokenAlias(false, false, grammarAccess.getClassDeclarationAccess().getRightSquareBracketKeyword_3_0_1_1_2()));
+                match_PredicateDefinition_PredKeyword_0_0_1_q = new TokenAlias(false, true, grammarAccess.getPredicateDefinitionAccess().getPredKeyword_0_0_1());
+        }
+        
+        @Override
+        protected String getUnassignedRuleCallToken(EObject semanticObject, RuleCall ruleCall, INode node) {
+                return "";
+        }
+        
+        
+        @Override
+        protected void emitUnassignedTokens(EObject semanticObject, ISynTransition transition, INode fromNode, INode toNode) {
+                if (transition.getAmbiguousSyntaxes().isEmpty()) return;
+                List<INode> transitionNodes = collectNodes(fromNode, toNode);
+                for (AbstractElementAlias syntax : transition.getAmbiguousSyntaxes()) {
+                        List<INode> syntaxNodes = getNodesFor(transitionNodes, syntax);
+                        if (match_ClassDeclaration___ExtendsKeyword_3_0_0_LeftSquareBracketKeyword_3_0_1_1_0_RightSquareBracketKeyword_3_0_1_1_2__q.equals(syntax))
+                                emit_ClassDeclaration___ExtendsKeyword_3_0_0_LeftSquareBracketKeyword_3_0_1_1_0_RightSquareBracketKeyword_3_0_1_1_2__q(semanticObject, getLastNavigableState(), syntaxNodes);
+                        else if (match_PredicateDefinition_PredKeyword_0_0_1_q.equals(syntax))
+                                emit_PredicateDefinition_PredKeyword_0_0_1_q(semanticObject, getLastNavigableState(), syntaxNodes);
+                        else acceptNodes(getLastNavigableState(), syntaxNodes);
+                }
+        }
+
+        /**
+         * Ambiguous syntax:
+         *     ('extends' '[' ']')?
+         *
+         * This ambiguous syntax occurs at:
+         *     name=ID (ambiguity) ',' referenceDeclarations+=ReferenceDeclaration
+         *     name=ID (ambiguity) '.' (rule end)
+         */
+        protected void emit_ClassDeclaration___ExtendsKeyword_3_0_0_LeftSquareBracketKeyword_3_0_1_1_0_RightSquareBracketKeyword_3_0_1_1_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
+                acceptNodes(transition, nodes);
+        }
+        
+        /**
+         * Ambiguous syntax:
+         *     'pred'?
+         *
+         * This ambiguous syntax occurs at:
+         *     error?='error' (ambiguity) name=ID
+         */
+        protected void emit_PredicateDefinition_PredKeyword_0_0_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
+                acceptNodes(transition, nodes);
+        }
+        
+}