diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-03 02:00:28 -0500 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 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/FileSystemWorkspace.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/FileSystemWorkspace.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend index 54ba1936..78803ddf 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend | |||
@@ -24,9 +24,13 @@ class FileSystemWorkspace extends ReasonerWorkspace{ | |||
24 | getFolderURI | 24 | getFolderURI |
25 | } | 25 | } |
26 | 26 | ||
27 | override initAndClear() { | 27 | override init() { |
28 | val folder = new File(folderURI.toFileString) | 28 | val folder = new File(folderURI.toFileString) |
29 | folder.mkdirs | 29 | folder.mkdirs |
30 | } | ||
31 | |||
32 | override clear() { | ||
33 | val folder = new File(folderURI.toFileString) | ||
30 | for(file : folder.listFiles) { | 34 | for(file : folder.listFiles) { |
31 | file.deleteFile | 35 | file.deleteFile |
32 | } | 36 | } |