1 files changed, 0 insertions, 133 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/GenerateAlloyLanguage.mwe2 b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/GenerateAlloyLanguage.mwe2
deleted file mode 100644
index 0f23b862..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/GenerateAlloyLanguage.mwe2
+++ /dev/null
@@ -1,133 +0,0 @@
-module hu.bme.mit.inf.dslreasoner.GenerateAlloyLanguage
-
-import org.eclipse.emf.mwe.utils.*
-import org.eclipse.xtext.generator.*
-import org.eclipse.xtext.ui.generator.*
-
-var grammarURI = "classpath:/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtext"
-var fileExtensions = "als"
-var projectName = "hu.bme.mit.inf.dslreasoner.alloy.language"
-var runtimeProject = "../${projectName}"
-var generateXtendStub = true
-var encoding = "UTF-8"
-
-Workflow {
-    bean = StandaloneSetup {
-        scanClassPath = true
-        platformUri = "${runtimeProject}/.."
-        // The following two lines can be removed, if Xbase is not used.
-        registerGeneratedEPackage = "org.eclipse.xtext.xbase.XbasePackage"
-        registerGenModelFile = "platform:/resource/org.eclipse.xtext.xbase/model/Xbase.genmodel"
-    }
-    
-    component = DirectoryCleaner {
-        directory = "${runtimeProject}/src-gen"
-    }
-    
-    component = DirectoryCleaner {
-        directory = "${runtimeProject}/model/generated"
-    }
-    
-    component = DirectoryCleaner {
-        directory = "${runtimeProject}.ui/src-gen"
-    }
-    
-//    component = DirectoryCleaner {
-//      directory = "${runtimeProject}.tests/src-gen"
-//    }
-    
-    component = Generator {
-        pathRtProject = runtimeProject
-        pathUiProject = "${runtimeProject}.ui"
-        //pathTestProject = "${runtimeProject}.tests"
-        projectNameRt = projectName
-        projectNameUi = "${projectName}.ui"
-        encoding = encoding
-        language = auto-inject {
-                uri = grammarURI
-    
-                // Java API to access grammar elements (required by several other fragments)
-                fragment = grammarAccess.GrammarAccessFragment auto-inject {}
-    
-                // generates Java API for the generated EPackages
-                fragment = ecore.EMFGeneratorFragment auto-inject {}
-    
-                // the old serialization component
-                // fragment = parseTreeConstructor.ParseTreeConstructorFragment auto-inject {}    
-    
-                // serializer 2.0
-                fragment = serializer.SerializerFragment auto-inject {
-                        generateStub = false
-                }
-    
-                // a custom ResourceFactory for use with EMF
-                fragment = resourceFactory.ResourceFactoryFragment auto-inject {}
-    
-                // The antlr parser generator fragment.
-                fragment = parser.antlr.XtextAntlrGeneratorFragment auto-inject {
-                //  options = {
-                //      backtrack = true
-                //  }
-                }
-    
-                // Xtend-based API for validation
-                fragment = validation.ValidatorFragment auto-inject {
-                //    composedCheck = "org.eclipse.xtext.validation.ImportUriValidator"
-                //    composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
-                }
-    
-                // old scoping and exporting API
-                // fragment = scoping.ImportURIScopingFragment auto-inject {}
-                // fragment = exporting.SimpleNamesFragment auto-inject {}
-    
-                // scoping and exporting API
-                fragment = scoping.ImportNamespacesScopingFragment auto-inject {}
-                fragment = exporting.QualifiedNamesFragment auto-inject {}
-                fragment = builder.BuilderIntegrationFragment auto-inject {}
-    
-                // generator API
-                fragment = generator.GeneratorFragment auto-inject {}
-    
-                // formatter API
-                fragment = formatting.FormatterFragment auto-inject {}
-    
-                // labeling API
-                fragment = labeling.LabelProviderFragment auto-inject {}
-    
-                // outline API
-                fragment = outline.OutlineTreeProviderFragment auto-inject {}
-                fragment = outline.QuickOutlineFragment auto-inject {}
-    
-                // quickfix API
-                fragment = quickfix.QuickfixProviderFragment auto-inject {}
-    
-                // content assist API
-                fragment = contentAssist.ContentAssistFragment auto-inject {}
-    
-                // generates a more lightweight Antlr parser and lexer tailored for content assist
-                fragment = parser.antlr.XtextAntlrUiGeneratorFragment auto-inject {}
-    
-                // generates junit test support classes into Generator#pathTestProject
-                fragment = junit.Junit4Fragment auto-inject {}
-    
-                // rename refactoring
-                fragment = refactoring.RefactorElementNameFragment auto-inject {}
-    
-                // provides the necessary bindings for java types integration
-                fragment = types.TypesGeneratorFragment auto-inject {}
-    
-                // generates the required bindings only if the grammar inherits from Xbase
-                fragment = xbase.XbaseGeneratorFragment auto-inject {}
-                
-                // generates the required bindings only if the grammar inherits from Xtype
-                fragment = xbase.XtypeGeneratorFragment auto-inject {}
-    
-                // provides a preference page for template proposals
-                fragment = templates.CodetemplatesGeneratorFragment auto-inject {}
-    
-                // provides a compare view
-                fragment = compare.CompareFragment auto-inject {}
-        }
-    }
-}
-