blob: 2fe824829a7398cc59aab0e5b1400d61abd94ac6 (
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
|
module ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage
import org.eclipse.xtext.xtext.generator.*
import org.eclipse.xtext.xtext.generator.model.project.*
var rootPath = ".."
Workflow {
//TODO
component = XtextGenerator {
configuration = {
project = StandardProjectConfig {
baseName = "ca.mcgill.ecse.dslreasoner.vampire.language"
rootPath = rootPath
runtimeTest = {
enabled = true
}
eclipsePlugin = {
enabled = true
}
eclipsePluginTest = {
enabled = true
}
createEclipseMetaData = true
}
code = {
encoding = "UTF-8"
lineDelimiter = "\r\n"
fileHeader = "/*\n * generated by Xtext \${version}\n */"
}
}
language = StandardLanguage {
name = "ca.mcgill.ecse.dslreasoner.VampireLanguage"
fileExtensions = "tptp"
serializer = {
generateStub = false
}
validator = {
// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
}
formatter={
generateStub=true
}
}
}
}
|