diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
2 files changed, 4 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 c81a619a..29e9f9d6 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 | |||
@@ -99,7 +99,7 @@ ConfigDeclaration : | |||
99 | 'config' name = ID specification = ConfigSpecification | 99 | 'config' name = ID specification = ConfigSpecification |
100 | ; | 100 | ; |
101 | ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry; | 101 | ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry; |
102 | DocumentationEntry: "documents" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full; | 102 | DocumentationEntry: "log-level" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full; |
103 | RuntimeEntry: "runtime" "=" millisecLimit = INT; | 103 | RuntimeEntry: "runtime" "=" millisecLimit = INT; |
104 | MemoryEntry: "memory" "=" megabyteLimit = INT; | 104 | MemoryEntry: "memory" "=" megabyteLimit = INT; |
105 | CustomEntry: key = STRING "=" value = STRING; | 105 | CustomEntry: key = STRING "=" value = STRING; |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend index 95f14bc1..ca674280 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend | |||
@@ -3,10 +3,12 @@ package hu.bme.mit.inf.dslreasoner.application.execution | |||
3 | import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl | 3 | import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl |
4 | import org.eclipse.emf.common.util.URI | 4 | import org.eclipse.emf.common.util.URI |
5 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification | 5 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification |
6 | import org.eclipse.emf.ecore.EObject | ||
7 | import java.util.List | ||
6 | 8 | ||
7 | class ModelLoader { | 9 | class ModelLoader { |
8 | 10 | ||
9 | def loadModel(PartialModelSpecification specification, ScriptExecutor scriptExecutor) { | 11 | def List<EObject> loadModel(PartialModelSpecification specification, ScriptExecutor scriptExecutor) { |
10 | val entries = specification.entry | 12 | val entries = specification.entry |
11 | if (entries.size == 1) { | 13 | if (entries.size == 1) { |
12 | var URI uri | 14 | var URI uri |