From 455c332357a1da6ee8073811b6aa72fc5edda51e Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszkar.semerath@gmail.com>
Date: Sat, 24 Feb 2018 19:37:32 -0500
Subject: Application configuration update

---
 .../inf/dslreasoner/application/ApplicationConfiguration.xtext   | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')

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;
 
-- 
cgit v1.2.3-54-g00ecf