diff options
author | 2018-02-28 18:10:34 -0500 | |
---|---|---|
committer | 2018-02-28 18:10:34 -0500 | |
commit | 896dff596a74f1a79082d65952ef1660bac4877a (patch) | |
tree | 5866063e3f5b42f406ffeaeda0a682a999af1e64 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution | |
parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.tar.gz VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.tar.zst VIATRA-Generator-896dff596a74f1a79082d65952ef1660bac4877a.zip |
added getFile() and refresh() to workspace
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend index fd3e7348..fa677a7c 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend | |||
@@ -51,4 +51,9 @@ class NullWorkspace extends ReasonerWorkspace{ | |||
51 | override public String readText(String name) { | 51 | override public String readText(String name) { |
52 | throw new UnsupportedOperationException(message) | 52 | throw new UnsupportedOperationException(message) |
53 | } | 53 | } |
54 | |||
55 | override public getFile(String name) { | ||
56 | throw new UnsupportedOperationException(message) | ||
57 | } | ||
58 | override refreshFile(String name) { } | ||
54 | } \ No newline at end of file | 59 | } \ No newline at end of file |