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 | } |