1 files changed, 54 insertions, 0 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
new file mode 100644
index 00000000..46812355
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
@@ -0,0 +1,54 @@
+module org.eclipse.viatra.solver.language.GenerateProblem
+
+import org.eclipse.xtext.xtext.generator.*
+import org.eclipse.xtext.xtext.generator.model.project.*
+
+var rootPath = ".."
+
+Workflow {
+        component = XtextGenerator {
+                configuration = {
+                        project = StandardProjectConfig {
+                                baseName = "org.eclipse.viatra.solver.language"
+                                rootPath = rootPath
+                                runtimeTest = {
+                                        enabled = true
+                                }
+                                web = {
+                                        enabled = true
+                                }
+                                mavenLayout = true
+                        }
+                        code = {
+                                encoding = "UTF-8"
+                                lineDelimiter = "\n"
+                                fileHeader = "/*\n * generated by Xtext \${version}\n */"
+                                preferXtendStubs = false
+                        }
+                }
+                
+                language = StandardLanguage {
+                        name = "org.eclipse.viatra.solver.language.Problem"
+                        fileExtensions = "problem"
+                        referencedResource = "platform:/resource/org.eclipse.viatra.solver.language.model/model/problem.genmodel"
+
+                        serializer = {
+                                generateStub = false
+                        }
+                        validator = {
+                                // composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
+                                // Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage
+                                generateDeprecationValidation = true
+                        }
+                        generator = {
+                                generateXtendStub = true
+                        }
+                        junitSupport = {
+                                junitVersion = "5"
+                        }
+                        webSupport = {
+                                framework = "CodeMirror"
+                        }
+                }
+        }
+}