From 771e3773bb7ebbf6712724cb2b248467c9cc2e3c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 8 May 2020 21:02:33 +0200 Subject: Synthetic tokens for solver language --- ...erLanguageSyntheticTokenSyntacticSequencer.xtend | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.xtend (limited to 'Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/serializer') 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 -- cgit v1.2.3-70-g09d2