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 --- ...nguageSyntheticTokenSyntacticSequencer.xtendbin | Bin 0 -> 2758 bytes .../viatra/solver/language/serializer/.gitignore | 1 + ...erLanguageSyntheticTokenSyntacticSequencer.java | 24 +++++++++++++++++++++ 3 files changed, 25 insertions(+) create mode 100644 Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin create mode 100644 Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore create mode 100644 Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java (limited to 'Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer') diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin new file mode 100644 index 00000000..ff3dff94 Binary files /dev/null and b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin differ diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore new file mode 100644 index 00000000..b8132d70 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.gitignore @@ -0,0 +1 @@ +/.SolverLanguageSyntheticTokenSyntacticSequencer.java._trace 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 "."; + } +} -- cgit v1.2.3-54-g00ecf