Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/SolverLanguageSyntheticTokenSyntacticSequencer.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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 ".";
  }
}