diff options
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 | 10 |
1 files changed, 10 insertions, 0 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 6041fdbf..8efc1ce7 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 | |||
@@ -71,4 +71,14 @@ class FileSystemWorkspace extends ReasonerWorkspace{ | |||
71 | override subWorkspace(String targetFolder, String prefix) { | 71 | override subWorkspace(String targetFolder, String prefix) { |
72 | return new FileSystemWorkspace(this.targetFolder + "/" + targetFolder, this.prefix + prefix) | 72 | return new FileSystemWorkspace(this.targetFolder + "/" + targetFolder, this.prefix + prefix) |
73 | } | 73 | } |
74 | |||
75 | override allFiles() { | ||
76 | val folder = new File(folderURI.toFileString) | ||
77 | if(folder.isDirectory) { | ||
78 | return folder.list | ||
79 | } else { | ||
80 | throw new IllegalArgumentException('''"«folderURI.toFileString»" is not a folder!''') | ||
81 | } | ||
82 | } | ||
83 | |||
74 | } \ No newline at end of file | 84 | } \ No newline at end of file |