diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill | |
parent | remove Alloy solver copy (diff) | |
download | VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.gz VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.zst VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.zip |
This branch is ready to be merged into masterVampire-New
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill')
3 files changed, 0 insertions, 41 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 deleted file mode 100644 index e9f8c8b6..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.VampireLanguageParsingTest.xtendbin +++ /dev/null | |||
Binary files differ | |||
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 deleted file mode 100644 index 87f7264b..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.gitignore +++ /dev/null | |||
@@ -1,3 +0,0 @@ | |||
1 | /.VampireLanguageParsingTest.java._trace | ||
2 | /.VampireLanguageParsingTest.xtendbin | ||
3 | /VampireLanguageParsingTest.java | ||
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 deleted file mode 100644 index 3bce3488..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/VampireLanguageParsingTest.java +++ /dev/null | |||
@@ -1,38 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.12.0 | ||
3 | */ | ||
4 | package ca.mcgill.ecse.dslreasoner.tests; | ||
5 | |||
6 | import ca.mcgill.ecse.dslreasoner.tests.VampireLanguageInjectorProvider; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; | ||
8 | import com.google.inject.Inject; | ||
9 | import org.eclipse.xtend2.lib.StringConcatenation; | ||
10 | import org.eclipse.xtext.testing.InjectWith; | ||
11 | import org.eclipse.xtext.testing.XtextRunner; | ||
12 | import org.eclipse.xtext.testing.util.ParseHelper; | ||
13 | import org.eclipse.xtext.xbase.lib.Exceptions; | ||
14 | import org.junit.Assert; | ||
15 | import org.junit.Test; | ||
16 | import org.junit.runner.RunWith; | ||
17 | |||
18 | @RunWith(XtextRunner.class) | ||
19 | @InjectWith(VampireLanguageInjectorProvider.class) | ||
20 | @SuppressWarnings("all") | ||
21 | public class VampireLanguageParsingTest { | ||
22 | @Inject | ||
23 | private ParseHelper<VampireModel> parseHelper; | ||
24 | |||
25 | @Test | ||
26 | public void loadModel() { | ||
27 | try { | ||
28 | StringConcatenation _builder = new StringConcatenation(); | ||
29 | _builder.append("Hello Xtext!"); | ||
30 | _builder.newLine(); | ||
31 | final VampireModel result = this.parseHelper.parse(_builder); | ||
32 | Assert.assertNotNull(result); | ||
33 | Assert.assertTrue(result.eResource().getErrors().isEmpty()); | ||
34 | } catch (Throwable _e) { | ||
35 | throw Exceptions.sneakyThrow(_e); | ||
36 | } | ||
37 | } | ||
38 | } | ||