blob: 4dfbb2428c4aced3a1c45cd54d3d32d27335c486 (
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
56
57
58
59
60
61
62
63
64
65
|
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
srcGen = 'src/testFixtures/xtext-gen'
}
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/refinery-language-model/model/problem.genmodel"
serializer = {
generateStub = false
}
validator = {
generateDeprecationValidation = true
}
generator = {
generateStub = false
}
junitSupport = {
generateStub = false
skipXbaseTestingPackage = true
junitVersion = "5"
}
webSupport = ProblemWebIntegrationFragment {
highlightingPath = "js/mode-problem.js"
generateHtmlExample = false
generateJettyLauncher = false
generateServlet = false
generateWebXml = false
}
}
}
}
|