aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-28 18:10:34 -0500
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-28 18:10:34 -0500
commit896dff596a74f1a79082d65952ef1660bac4877a (patch)
tree5866063e3f5b42f406ffeaeda0a682a999af1e64 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend
parentMerge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff)
downloadVIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.tar.gz
VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.tar.zst
VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.zip
added getFile() and refresh() to workspace
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.xtend5
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/FileSystemWorkspace.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/FileSystemWorkspace.xtend
index 8efc1ce7..54ba1936 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
@@ -81,4 +81,9 @@ class FileSystemWorkspace extends ReasonerWorkspace{
81 } 81 }
82 } 82 }
83 83
84 override public getFile(String name) {
85 val uri = getURI(name)
86 return new File(uri.toFileString)
87 }
88 override refreshFile(String name) { }
84} \ No newline at end of file 89} \ No newline at end of file