diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-11-20 20:52:17 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-22 16:40:03 +0100 |
| commit | 19d38b03de9af68e6234a2a07ac54c36d73edaa7 (patch) | |
| tree | f6c402aa3610bdf66fb842e3b6206622eed8a2fd /subprojects/language-semantics/src | |
| parent | refactor(test): WebSocket integ test robustness (diff) | |
| download | refinery-19d38b03de9af68e6234a2a07ac54c36d73edaa7.tar.gz refinery-19d38b03de9af68e6234a2a07ac54c36d73edaa7.tar.zst refinery-19d38b03de9af68e6234a2a07ac54c36d73edaa7.zip | |
refactor(language): simplify syntax
Diffstat (limited to 'subprojects/language-semantics/src')
| -rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java index 557e9752..13bb20d7 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | |||
| @@ -84,8 +84,8 @@ public class ModelInitializer { | |||
| 84 | return Tuple.of(nodes); | 84 | return Tuple.of(nodes); |
| 85 | } | 85 | } |
| 86 | 86 | ||
| 87 | private static TruthValue getTruthValue(AssertionValue value) { | 87 | private static TruthValue getTruthValue(Expr expr) { |
| 88 | if (!(value instanceof LogicAssertionValue logicAssertionValue)) { | 88 | if (!(expr instanceof LogicConstant logicAssertionValue)) { |
| 89 | return TruthValue.ERROR; | 89 | return TruthValue.ERROR; |
| 90 | } | 90 | } |
| 91 | return switch (logicAssertionValue.getLogicValue()) { | 91 | return switch (logicAssertionValue.getLogicValue()) { |