diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 54 |
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 @@ | |||
1 | module org.eclipse.viatra.solver.language.GenerateProblem | ||
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 | component = XtextGenerator { | ||
10 | configuration = { | ||
11 | project = StandardProjectConfig { | ||
12 | baseName = "org.eclipse.viatra.solver.language" | ||
13 | rootPath = rootPath | ||
14 | runtimeTest = { | ||
15 | enabled = true | ||
16 | } | ||
17 | web = { | ||
18 | enabled = true | ||
19 | } | ||
20 | mavenLayout = true | ||
21 | } | ||
22 | code = { | ||
23 | encoding = "UTF-8" | ||
24 | lineDelimiter = "\n" | ||
25 | fileHeader = "/*\n * generated by Xtext \${version}\n */" | ||
26 | preferXtendStubs = false | ||
27 | } | ||
28 | } | ||
29 | |||
30 | language = StandardLanguage { | ||
31 | name = "org.eclipse.viatra.solver.language.Problem" | ||
32 | fileExtensions = "problem" | ||
33 | referencedResource = "platform:/resource/org.eclipse.viatra.solver.language.model/model/problem.genmodel" | ||
34 | |||
35 | serializer = { | ||
36 | generateStub = false | ||
37 | } | ||
38 | validator = { | ||
39 | // composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator" | ||
40 | // Generates checks for @Deprecated grammar annotations, an IssueProvider and a corresponding PropertyPage | ||
41 | generateDeprecationValidation = true | ||
42 | } | ||
43 | generator = { | ||
44 | generateXtendStub = true | ||
45 | } | ||
46 | junitSupport = { | ||
47 | junitVersion = "5" | ||
48 | } | ||
49 | webSupport = { | ||
50 | framework = "CodeMirror" | ||
51 | } | ||
52 | } | ||
53 | } | ||
54 | } | ||