aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java24
1 files changed, 0 insertions, 24 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
deleted file mode 100644
index af761a86..00000000
--- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java
+++ /dev/null
@@ -1,24 +0,0 @@
1package org.eclipse.viatra.solver.language.serializer;
2
3import org.eclipse.emf.ecore.EObject;
4import org.eclipse.viatra.solver.language.serializer.SolverLanguageSyntacticSequencer;
5import org.eclipse.xtext.RuleCall;
6import org.eclipse.xtext.nodemodel.INode;
7
8@SuppressWarnings("all")
9public class SolverLanguageSyntheticTokenSyntacticSequencer extends SolverLanguageSyntacticSequencer {
10 @Override
11 protected String getTRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
12 return "+";
13 }
14
15 @Override
16 protected String getREFLEXIVE_TRANSITIVE_CLOSUREToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
17 return "*";
18 }
19
20 @Override
21 protected String getFULL_STOPToken(final EObject semanticObject, final RuleCall ruleCall, final INode node) {
22 return ".";
23 }
24}