Synthetic tokens for solver language

1 files changed, 21 insertions, 0 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.xtend b/Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.xtend
new file mode 100644
index 00000000..587ea27b
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.xtend
@@ -0,0 +1,21 @@
+package org.eclipse.viatra.solver.language.serializer
+
+import org.eclipse.emf.ecore.EObject
+import org.eclipse.xtext.RuleCall
+import org.eclipse.xtext.nodemodel.INode
+
+class SolverLanguageSyntheticTokenSyntacticSequencer extends SolverLanguageSyntacticSequencer {
+        
+        override protected getTRANSITIVE_CLOSUREToken(EObject semanticObject, RuleCall ruleCall, INode node) {
+                "+"
+        }
+        
+        override protected getREFLEXIVE_TRANSITIVE_CLOSUREToken(EObject semanticObject, RuleCall ruleCall, INode node) {
+                "*"
+        }
+        
+        override protected getFULL_STOPToken(EObject semanticObject, RuleCall ruleCall, INode node) {
+                "."
+        }
+        
+}
\ No newline at end of file