From 771e3773bb7ebbf6712724cb2b248467c9cc2e3c Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 8 May 2020 21:02:33 +0200
Subject: Synthetic tokens for solver language

---
 ....SolverLanguageTokenDefInjectingParser.xtendbin | Bin 0 -> 2742 bytes
 .../viatra/solver/language/parser/antlr/.gitignore |   7 ++++++
 .../SolverLanguageTokenDefInjectingParser.java     |  26 +++++++++++++++++++++
 ...nguageSyntheticTokenSyntacticSequencer.xtendbin | Bin 0 -> 2758 bytes
 .../viatra/solver/language/serializer/.gitignore   |   1 +
 ...erLanguageSyntheticTokenSyntacticSequencer.java |  24 +++++++++++++++++++
 6 files changed, 58 insertions(+)
 create mode 100644 Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
 create mode 100644 Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
 create mode 100644 Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
 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')

diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin
new file mode 100644
index 00000000..d833165e
Binary files /dev/null and b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin differ
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
new file mode 100644
index 00000000..9cf14147
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.gitignore
@@ -0,0 +1,7 @@
+/.SolverLangaugeSyntheticTokenParser.java._trace
+/.SolverLanguageSyntheticTokenTokenSource.java._trace
+/.LastTokenState.java._trace
+/.SolverLangusgeSyntheticTokenParser.java._trace
+/.SolverLanguageSyntheticTokenParser.java._trace
+/.SolverLanguageTokenSource.java._trace
+/.SolverLanguageTokenDefInjectingParser.java._trace
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
new file mode 100644
index 00000000..12c92733
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/SolverLanguageTokenDefInjectingParser.java
@@ -0,0 +1,26 @@
+package org.eclipse.viatra.solver.language.parser.antlr;
+
+import com.google.inject.Inject;
+import org.antlr.runtime.CharStream;
+import org.antlr.runtime.TokenSource;
+import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageParser;
+import org.eclipse.viatra.solver.language.parser.antlr.SolverLanguageTokenSource;
+import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
+
+@SuppressWarnings("all")
+public class SolverLanguageTokenDefInjectingParser extends SolverLanguageParser {
+  @Inject
+  private ITokenDefProvider tokenDefProvider;
+  
+  @Override
+  protected TokenSource createLexer(final CharStream stream) {
+    SolverLanguageTokenSource _xblockexpression = null;
+    {
+      TokenSource _createLexer = super.createLexer(stream);
+      final SolverLanguageTokenSource tokenSource = ((SolverLanguageTokenSource) _createLexer);
+      tokenSource.initializeTokenDefsFrom(this.tokenDefProvider);
+      _xblockexpression = tokenSource;
+    }
+    return _xblockexpression;
+  }
+}
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-70-g09d2