diff options
author | 2023-09-11 19:22:26 +0200 | |
---|---|---|
committer | 2023-09-11 19:22:26 +0200 | |
commit | 4d365b54dad8d066bba2a2b1a05092b4802b9970 (patch) | |
tree | 12e5ae36b0041463ded54e7a69dcdc9f3662794f /subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java | |
parent | fix: build failures after integrating generation (diff) | |
download | refinery-4d365b54dad8d066bba2a2b1a05092b4802b9970.tar.gz refinery-4d365b54dad8d066bba2a2b1a05092b4802b9970.tar.zst refinery-4d365b54dad8d066bba2a2b1a05092b4802b9970.zip |
feat: cancellation token for ModelStore
Diffstat (limited to 'subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java')
-rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java index ed2ff33d..4da609fa 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java | |||
@@ -23,6 +23,7 @@ public class BoundAction { | |||
23 | } | 23 | } |
24 | 24 | ||
25 | public boolean fire(Tuple activation) { | 25 | public boolean fire(Tuple activation) { |
26 | model.checkCancelled(); | ||
26 | if (this.activation != null) { | 27 | if (this.activation != null) { |
27 | throw new IllegalStateException("Reentrant firing is not allowed"); | 28 | throw new IllegalStateException("Reentrant firing is not allowed"); |
28 | } | 29 | } |