diff options
Diffstat (limited to 'subprojects/language-semantics/src/main')
-rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ModelInitializer.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ModelInitializer.java index ccfb630f..59ceae3f 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ModelInitializer.java | |||
@@ -521,7 +521,12 @@ public class ModelInitializer { | |||
521 | for (int i = 0; i < arity; i++) { | 521 | for (int i = 0; i < arity; i++) { |
522 | var argument = arguments.get(i); | 522 | var argument = arguments.get(i); |
523 | if (argument instanceof NodeAssertionArgument nodeArgument) { | 523 | if (argument instanceof NodeAssertionArgument nodeArgument) { |
524 | nodes[i] = getNodeId(nodeArgument.getNode()); | 524 | var variableOrNode = nodeArgument.getNode(); |
525 | if (variableOrNode instanceof Node node) { | ||
526 | nodes[i] = getNodeId(node); | ||
527 | } else { | ||
528 | throw new TracedException(argument, "Invalid assertion argument: " + variableOrNode); | ||
529 | } | ||
525 | } else if (argument instanceof WildcardAssertionArgument) { | 530 | } else if (argument instanceof WildcardAssertionArgument) { |
526 | nodes[i] = -1; | 531 | nodes[i] = -1; |
527 | } else { | 532 | } else { |