diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-03 16:24:38 -0500 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-03 16:24:38 -0500 |
commit | 769b900ed48916536eeb61391dd69d0905fce9f3 (patch) | |
tree | 43b013d54661bf70c379086e23a09c9615d325fc /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/NullWorkspace.xtend | |
parent | Alloy solver report progress and does not call solver if cancelled (diff) | |
download | VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.tar.gz VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.tar.zst VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.zip |
Generation is executed in a job
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) |