From 3aa4a2b58221a3e83b17d0c04c9a6e9c41e5500c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 19 Nov 2022 21:39:00 +0100 Subject: refactor: separate primitive types from nodes --- .../refinery/language/semantics/model/ModelInitializer.java | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'subprojects/language-semantics') 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 233cc156..557e9752 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 @@ -75,8 +75,6 @@ public class ModelInitializer { var argument = arguments.get(i); if (argument instanceof NodeAssertionArgument nodeArgument) { nodes[i] = nodeTrace.getOrThrow(nodeArgument.getNode()); - } else if (argument instanceof ConstantAssertionArgument constantArgument) { - nodes[i] = nodeTrace.getOrThrow(constantArgument.getNode()); } else if (argument instanceof WildcardAssertionArgument) { nodes[i] = -1; } else { @@ -86,8 +84,11 @@ public class ModelInitializer { return Tuple.of(nodes); } - private static TruthValue getTruthValue(LogicValue value) { - return switch (value) { + private static TruthValue getTruthValue(AssertionValue value) { + if (!(value instanceof LogicAssertionValue logicAssertionValue)) { + return TruthValue.ERROR; + } + return switch (logicAssertionValue.getLogicValue()) { case TRUE -> TruthValue.TRUE; case FALSE -> TruthValue.FALSE; case UNKNOWN -> TruthValue.UNKNOWN; -- cgit v1.2.3-70-g09d2