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 | 3 |
1 files changed, 3 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 fa677a7c..05081581 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 | |||
@@ -24,6 +24,9 @@ class NullWorkspace extends ReasonerWorkspace{ | |||
24 | override URI getWorkspaceURI() { | 24 | override URI getWorkspaceURI() { |
25 | throw new UnsupportedOperationException(message) | 25 | throw new UnsupportedOperationException(message) |
26 | } | 26 | } |
27 | |||
28 | override init() { } | ||
29 | override clear() { } | ||
27 | override public void initAndClear() {} | 30 | override public void initAndClear() {} |
28 | override protected URI getURI(String name) { | 31 | override protected URI getURI(String name) { |
29 | throw new UnsupportedOperationException(message) | 32 | throw new UnsupportedOperationException(message) |