1 files changed, 24 insertions, 0 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java
new file mode 100644
index 00000000..af761a86
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java
@@ -0,0 +1,24 @@
+package org.eclipse.viatra.solver.language.serializer;
+
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.viatra.solver.language.serializer.SolverLanguageSyntacticSequencer;
+import org.eclipse.xtext.RuleCall;
+import org.eclipse.xtext.nodemodel.INode;
+
+@SuppressWarnings("all")
+public class SolverLanguageSyntheticTokenSyntacticSequencer extends SolverLanguageSyntacticSequencer {
+  @Override
+  protected String getTRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
+    return "+";
+  }
+  
+  @Override
+  protected String getREFLEXIVE_TRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
+    return "*";
+  }
+  
+  @Override
+  protected String getFULL_STOPToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
+    return ".";
+  }
+}