From c63126d2f1ce5f571c316b37e00fb43d2da7c7d3 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 31 Jan 2024 02:00:09 +0100 Subject: refactor(language): module and node declarations * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively. --- .../refinery/language/web/semantics/metadata/MetadataCreator.java | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'subprojects/language-web/src/main') diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java index f05abc45..1f49b0d0 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java @@ -87,14 +87,12 @@ public class MetadataCreator { } private NodeKind getNodeKind(Node node) { - if (ProblemUtil.isImplicitNode(node)) { - return NodeKind.IMPLICIT; - } else if (ProblemUtil.isIndividualNode(node)) { + if (ProblemUtil.isAtomNode(node)) { return NodeKind.INDIVIDUAL; - } else if (ProblemUtil.isNewNode(node)) { + } else if (ProblemUtil.isMultiNode(node)) { return NodeKind.NEW; } else { - throw new TracedException(node, "Unknown node type"); + return NodeKind.IMPLICIT; } } -- cgit v1.2.3-70-g09d2