Initial workspace setup

3 files changed, 39 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.VampireLanguageParsingTest.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.VampireLanguageParsingTest.xtendbin
new file mode 100644
index 00000000..dc0af0a6
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.VampireLanguageParsingTest.xtendbin
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.gitignore
new file mode 100644
index 00000000..032d1dcf
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.gitignore
@@ -0,0 +1 @@
+/.VampireLanguageParsingTest.java._trace
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/VampireLanguageParsingTest.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/VampireLanguageParsingTest.java
new file mode 100644
index 00000000..3bce3488
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/VampireLanguageParsingTest.java
@@ -0,0 +1,38 @@
+/**

+ * generated by Xtext 2.12.0

+ */

+package ca.mcgill.ecse.dslreasoner.tests;

+

+import ca.mcgill.ecse.dslreasoner.tests.VampireLanguageInjectorProvider;

+import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;

+import com.google.inject.Inject;

+import org.eclipse.xtend2.lib.StringConcatenation;

+import org.eclipse.xtext.testing.InjectWith;

+import org.eclipse.xtext.testing.XtextRunner;

+import org.eclipse.xtext.testing.util.ParseHelper;

+import org.eclipse.xtext.xbase.lib.Exceptions;

+import org.junit.Assert;

+import org.junit.Test;

+import org.junit.runner.RunWith;

+

+@RunWith(XtextRunner.class)

+@InjectWith(VampireLanguageInjectorProvider.class)

+@SuppressWarnings("all")

+public class VampireLanguageParsingTest {

+  @Inject

+  private ParseHelper<VampireModel> parseHelper;

+  

+  @Test

+  public void loadModel() {

+    try {

+      StringConcatenation _builder = new StringConcatenation();

+      _builder.append("Hello Xtext!");

+      _builder.newLine();

+      final VampireModel result = this.parseHelper.parse(_builder);

+      Assert.assertNotNull(result);

+      Assert.assertTrue(result.eResource().getErrors().isEmpty());

+    } catch (Throwable _e) {

+      throw Exceptions.sneakyThrow(_e);

+    }

+  }

+}