diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-16 01:41:23 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:06:27 -0400 |
commit | 07073f142e982a1b9fb08255c8eb74d18dbf7a34 (patch) | |
tree | c9c4220ab68a21ef7652a5aef2f76146f00f9fb0 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2 | |
parent | Initial workspace setup (diff) | |
download | VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.gz VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.zst VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.zip |
FAM MM transformation works
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2 b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2 index 903ac83b..2fe82482 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2 +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2 | |||
@@ -6,7 +6,7 @@ import org.eclipse.xtext.xtext.generator.model.project.* | |||
6 | var rootPath = ".." | 6 | var rootPath = ".." |
7 | 7 | ||
8 | Workflow { | 8 | Workflow { |
9 | 9 | //TODO | |
10 | component = XtextGenerator { | 10 | component = XtextGenerator { |
11 | configuration = { | 11 | configuration = { |
12 | project = StandardProjectConfig { | 12 | project = StandardProjectConfig { |
@@ -39,6 +39,9 @@ Workflow { | |||
39 | validator = { | 39 | validator = { |
40 | // composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator" | 40 | // composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator" |
41 | } | 41 | } |
42 | formatter={ | ||
43 | generateStub=true | ||
44 | } | ||
42 | } | 45 | } |
43 | } | 46 | } |
44 | } | 47 | } |