diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext index 101d1a3f..c81a619a 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | |||
@@ -95,10 +95,15 @@ GraphPattern: GraphPatternReference|PatternSpecification; | |||
95 | ConfigSpecification: {ConfigSpecification}'{' | 95 | ConfigSpecification: {ConfigSpecification}'{' |
96 | (entries += ConfigEntry ("," entries += ConfigEntry)*)? | 96 | (entries += ConfigEntry ("," entries += ConfigEntry)*)? |
97 | '}'; | 97 | '}'; |
98 | ConfigDeclaration : | 98 | ConfigDeclaration : |
99 | 'config' name = ID specification = ConfigSpecification | 99 | 'config' name = ID specification = ConfigSpecification |
100 | ; | 100 | ; |
101 | ConfigEntry: key = STRING "=" value = STRING; | 101 | ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry; |
102 | DocumentationEntry: "documents" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full; | ||
103 | RuntimeEntry: "runtime" "=" millisecLimit = INT; | ||
104 | MemoryEntry: "memory" "=" megabyteLimit = INT; | ||
105 | CustomEntry: key = STRING "=" value = STRING; | ||
106 | |||
102 | ConfigReference: config = [ConfigDeclaration]; | 107 | ConfigReference: config = [ConfigDeclaration]; |
103 | Config: ConfigSpecification | ConfigReference; | 108 | Config: ConfigSpecification | ConfigReference; |
104 | 109 | ||