blob: a63681c80b7057f613a1d019d841643cdf1b9595 (
plain) (
blame)
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
|
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"
}
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 = {
generateXtendStub = true
}
junitSupport = {
junitVersion = "5"
}
webSupport = ProblemWebIntegrationFragment {}
}
}
}
|