diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-24 19:37:32 -0500 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-24 19:37:32 -0500 |
commit | 455c332357a1da6ee8073811b6aa72fc5edda51e (patch) | |
tree | d3db6b7c4244ee5b01f1b9704db02a62ef7ce364 /Application/hu.bme.mit.inf.dslreasoner.application/src | |
parent | Translated PQueryies are added to annotation. (diff) | |
download | VIATRA-Generator-455c332357a1da6ee8073811b6aa72fc5edda51e.tar.gz VIATRA-Generator-455c332357a1da6ee8073811b6aa72fc5edda51e.tar.zst VIATRA-Generator-455c332357a1da6ee8073811b6aa72fc5edda51e.zip |
Application configuration update
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
-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 | ||