Initial workspace setup

1 files changed, 44 insertions, 0 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
new file mode 100644
index 00000000..903ac83b
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2
@@ -0,0 +1,44 @@
+module ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage

+

+import org.eclipse.xtext.xtext.generator.*

+import org.eclipse.xtext.xtext.generator.model.project.*

+

+var rootPath = ".."

+

+Workflow {

+        

+        component = XtextGenerator {

+                configuration = {

+                        project = StandardProjectConfig {

+                                baseName = "ca.mcgill.ecse.dslreasoner.vampire.language"

+                                rootPath = rootPath

+                                runtimeTest = {

+                                        enabled = true

+                                }

+                                eclipsePlugin = {

+                                        enabled = true

+                                }

+                                eclipsePluginTest = {

+                                        enabled = true

+                                }

+                                createEclipseMetaData = true

+                        }

+                        code = {

+                                encoding = "UTF-8"

+                                lineDelimiter = "\r\n"

+                                fileHeader = "/*\n * generated by Xtext \${version}\n */"

+                        }

+                }

+                language = StandardLanguage {

+                        name = "ca.mcgill.ecse.dslreasoner.VampireLanguage"

+                        fileExtensions = "tptp"

+

+                        serializer = {

+                                generateStub = false

+                        }

+                        validator = {

+                                // composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"

+                        }

+                }

+        }

+}