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"
+                        }
+                }
+        }
+}

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 @@
	1	module ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage
	2
	3	import org.eclipse.xtext.xtext.generator.*
	4	import org.eclipse.xtext.xtext.generator.model.project.*
	5
	6	var rootPath = ".."
	7
	8	Workflow {
	9
	10	component = XtextGenerator {
	11	configuration = {
	12	project = StandardProjectConfig {
	13	baseName = "ca.mcgill.ecse.dslreasoner.vampire.language"
	14	rootPath = rootPath
	15	runtimeTest = {
	16	enabled = true
	17	}
	18	eclipsePlugin = {
	19	enabled = true
	20	}
	21	eclipsePluginTest = {
	22	enabled = true
	23	}
	24	createEclipseMetaData = true
	25	}
	26	code = {
	27	encoding = "UTF-8"
	28	lineDelimiter = "\r\n"
	29	fileHeader = "/\n generated by Xtext \${version}\n */"
	30	}
	31	}
	32	language = StandardLanguage {
	33	name = "ca.mcgill.ecse.dslreasoner.VampireLanguage"
	34	fileExtensions = "tptp"
	35
	36	serializer = {
	37	generateStub = false
	38	}
	39	validator = {
	40	// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
	41	}
	42	}
	43	}
	44	}