diff options
author | 2024-03-10 02:11:15 +0100 | |
---|---|---|
committer | 2024-04-07 14:58:40 +0200 | |
commit | a636a86accf0ed00d0700e04ac0e1ce4f8cadf64 (patch) | |
tree | c11c8df3dca1653643b3941de19e5dbb0cef85b1 /subprojects/store-reasoning-scope/src/main | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.tar.gz refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.tar.zst refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.zip |
refactor(logic): abstract domain interface
Require all abstract domain elements to implement the AbstractValue interface.
Diffstat (limited to 'subprojects/store-reasoning-scope/src/main')
-rw-r--r-- | subprojects/store-reasoning-scope/src/main/java/tools/refinery/store/reasoning/scope/ScopePropagator.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/store-reasoning-scope/src/main/java/tools/refinery/store/reasoning/scope/ScopePropagator.java b/subprojects/store-reasoning-scope/src/main/java/tools/refinery/store/reasoning/scope/ScopePropagator.java index bfe2ca41..94e6bbd7 100644 --- a/subprojects/store-reasoning-scope/src/main/java/tools/refinery/store/reasoning/scope/ScopePropagator.java +++ b/subprojects/store-reasoning-scope/src/main/java/tools/refinery/store/reasoning/scope/ScopePropagator.java | |||
@@ -48,7 +48,7 @@ public class ScopePropagator implements ModelStoreConfiguration { | |||
48 | } | 48 | } |
49 | var newValue = scopes.compute(type, (ignoredKey, oldValue) -> | 49 | var newValue = scopes.compute(type, (ignoredKey, oldValue) -> |
50 | oldValue == null ? interval : oldValue.meet(interval)); | 50 | oldValue == null ? interval : oldValue.meet(interval)); |
51 | if (newValue.isEmpty()) { | 51 | if (newValue.isError()) { |
52 | throw new TranslationException(type, "Unsatisfiable scope for type %s".formatted(type)); | 52 | throw new TranslationException(type, "Unsatisfiable scope for type %s".formatted(type)); |
53 | } | 53 | } |
54 | return this; | 54 | return this; |