diff options
author | 2024-05-17 17:13:21 +0200 | |
---|---|---|
committer | 2024-05-26 17:22:31 +0200 | |
commit | 378d97f41ab9bf1a3dc2136f340bb57d263ea474 (patch) | |
tree | 55e4002d0bfb00392f4ab9538f804ee241c9d84e /subprojects/language-semantics/src/main | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-378d97f41ab9bf1a3dc2136f340bb57d263ea474.tar.gz refinery-378d97f41ab9bf1a3dc2136f340bb57d263ea474.tar.zst refinery-378d97f41ab9bf1a3dc2136f340bb57d263ea474.zip |
feat: rule parsing
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 { |