diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend')
-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 |