language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

module org.eclipse.viatra.solver.language.GenerateProblem

import org.eclipse.xtext.xtext.generator.*
import org.eclipse.xtext.xtext.generator.model.project.*

import org.eclipse.viatra.solver.language.mwe2.*

var rootPath = ".."

Workflow {
	component = XtextGenerator {
		configuration = {
			project = StandardProjectConfig {
				baseName = "language"
				rootPath = rootPath
				runtimeTest = {
					enabled = true
				}
				genericIde = {
					name = "language-ide"
				}
				web = {
					enabled = true
					name = "language-web"
					assets = "../language-web/build/generated/sources/xtext"
				}
				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/language-model/model/problem.genmodel"
			serializer = {
				generateStub = false
			}
			validator = {
				generateDeprecationValidation = true
			}
			generator = {
				generateStub = false
			}
			junitSupport = {
				junitVersion = "5"
			}
			webSupport = ProblemWebIntegrationFragment {
				highlightingPath = "js/mode-problem.js"
				generateHtmlExample = false
			}
		}
	}
}