diff options
Diffstat (limited to 'subprojects/language-web/src/main')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/metadata/MetadataCreator.java | 8 |
1 files changed, 3 insertions, 5 deletions
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 { | |||
87 | } | 87 | } |
88 | 88 | ||
89 | private NodeKind getNodeKind(Node node) { | 89 | private NodeKind getNodeKind(Node node) { |
90 | if (ProblemUtil.isImplicitNode(node)) { | 90 | if (ProblemUtil.isAtomNode(node)) { |
91 | return NodeKind.IMPLICIT; | ||
92 | } else if (ProblemUtil.isIndividualNode(node)) { | ||
93 | return NodeKind.INDIVIDUAL; | 91 | return NodeKind.INDIVIDUAL; |
94 | } else if (ProblemUtil.isNewNode(node)) { | 92 | } else if (ProblemUtil.isMultiNode(node)) { |
95 | return NodeKind.NEW; | 93 | return NodeKind.NEW; |
96 | } else { | 94 | } else { |
97 | throw new TracedException(node, "Unknown node type"); | 95 | return NodeKind.IMPLICIT; |
98 | } | 96 | } |
99 | } | 97 | } |
100 | 98 | ||