Application configuration update

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;
 ConfigSpecification: {ConfigSpecification}'{'

                 (entries += ConfigEntry ("," entries += ConfigEntry)*)?

         '}';

-ConfigDeclaration : 
+ConfigDeclaration :
         'config' name = ID specification = ConfigSpecification
 ;

-ConfigEntry: key = STRING "=" value = STRING;

+ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry;

+DocumentationEntry: "documents" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full;

+RuntimeEntry: "runtime" "=" millisecLimit = INT;

+MemoryEntry: "memory" "=" megabyteLimit = INT;

+CustomEntry: key = STRING "=" value = STRING;

+

 ConfigReference: config = [ConfigDeclaration];

 Config: ConfigSpecification | ConfigReference;