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