1 files changed, 25 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/generator/VampireLanguageGenerator.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/generator/VampireLanguageGenerator.xtend
new file mode 100644
index 00000000..f099486a
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/generator/VampireLanguageGenerator.xtend
@@ -0,0 +1,25 @@
+/*

+ * generated by Xtext 2.12.0

+ */

+package ca.mcgill.ecse.dslreasoner.generator

+

+import org.eclipse.emf.ecore.resource.Resource

+import org.eclipse.xtext.generator.AbstractGenerator

+import org.eclipse.xtext.generator.IFileSystemAccess2

+import org.eclipse.xtext.generator.IGeneratorContext

+

+/**

+ * Generates code from your model files on save.

+ * 

+ * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#code-generation

+ */

+class VampireLanguageGenerator extends AbstractGenerator {

+

+        override void doGenerate(Resource resource, IFileSystemAccess2 fsa, IGeneratorContext context) {

+//              fsa.generateFile('greetings.txt', 'People to greet: ' + 

+//                      resource.allContents

+//                              .filter(Greeting)

+//                              .map[name]

+//                              .join(', '))

+        }

+}