diff options
author | 2018-03-03 02:00:28 -0500 | |
---|---|---|
committer | 2018-03-03 02:00:28 -0500 | |
commit | 9a3018ae6f98996945de9235afb21a89d847190e (patch) | |
tree | 51f288afd6aef44ad6bf371abb2b84adccc5e0f2 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend | |
parent | fixed default model number overriding custom value + added visualisation (diff) | |
download | VIATRA-Generator-9a3018ae6f98996945de9235afb21a89d847190e.tar.gz VIATRA-Generator-9a3018ae6f98996945de9235afb21a89d847190e.tar.zst VIATRA-Generator-9a3018ae6f98996945de9235afb21a89d847190e.zip |
separated init and clear phases in workspaces
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend index 4a5055e8..80190a14 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend | |||
@@ -27,10 +27,15 @@ abstract class ReasonerWorkspace{ | |||
27 | 27 | ||
28 | def URI getWorkspaceURI(); | 28 | def URI getWorkspaceURI(); |
29 | 29 | ||
30 | def public void init() | ||
31 | def public void clear() | ||
30 | /** | 32 | /** |
31 | * Creates the target folder and clears the workspace for the reasoning | 33 | * Creates the target folder and clears the workspace for the reasoning |
32 | */ | 34 | */ |
33 | def public void initAndClear() | 35 | def public void initAndClear() { |
36 | init() | ||
37 | clear() | ||
38 | } | ||
34 | 39 | ||
35 | def protected URI getURI(String name); | 40 | def protected URI getURI(String name); |
36 | protected def Resource getResource(String name) { | 41 | protected def Resource getResource(String name) { |