diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-09-27 17:44:29 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-09-27 17:44:29 +0200 |
commit | 3b02e4a4dbe7bb89de83dcfbd7b79d569f3cecdb (patch) | |
tree | 63f342277a449c2d9cd8391932da79a7c0e0bae7 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ProjectWorkspace.xtend | |
parent | Transitive closure support for relation definitions in Alloy (diff) | |
download | VIATRA-Generator-3b02e4a4dbe7bb89de83dcfbd7b79d569f3cecdb.tar.gz VIATRA-Generator-3b02e4a4dbe7bb89de83dcfbd7b79d569f3cecdb.tar.zst VIATRA-Generator-3b02e4a4dbe7bb89de83dcfbd7b79d569f3cecdb.zip |
Listing all files in folder.
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ProjectWorkspace.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ProjectWorkspace.xtend | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ProjectWorkspace.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ProjectWorkspace.xtend index 5703bd5a..a1560258 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ProjectWorkspace.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ProjectWorkspace.xtend | |||
@@ -102,4 +102,9 @@ class ProjectWorkspace extends ReasonerWorkspace{ | |||
102 | override subWorkspace(String targetFolder, String prefix) { | 102 | override subWorkspace(String targetFolder, String prefix) { |
103 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | 103 | throw new UnsupportedOperationException("TODO: auto-generated method stub") |
104 | } | 104 | } |
105 | |||
106 | override allFiles() { | ||
107 | target.members.map[it.name] | ||
108 | } | ||
109 | |||
105 | } | 110 | } |