diff options
Diffstat (limited to 'language/src/main/java/tools/refinery/language/validation/ProblemValidator.java')
-rw-r--r-- | language/src/main/java/tools/refinery/language/validation/ProblemValidator.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java b/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java index dfd386f5..3c10d39e 100644 --- a/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java +++ b/language/src/main/java/tools/refinery/language/validation/ProblemValidator.java | |||
@@ -27,7 +27,7 @@ public class ProblemValidator extends AbstractProblemValidator { | |||
27 | 27 | ||
28 | public static final String SINGLETON_VARIABLE_ISSUE = ISSUE_PREFIX + "SINGLETON_VARIABLE"; | 28 | public static final String SINGLETON_VARIABLE_ISSUE = ISSUE_PREFIX + "SINGLETON_VARIABLE"; |
29 | 29 | ||
30 | public static final String NON_UNIQUE_NODE_ISSUE = ISSUE_PREFIX + "NON_UNIQUE_NODE"; | 30 | public static final String NON_INDIVIDUAL_NODE_ISSUE = ISSUE_PREFIX + "NON_INDIVIDUAL_NODE"; |
31 | 31 | ||
32 | @Inject | 32 | @Inject |
33 | private ReferenceCounter referenceCounter; | 33 | private ReferenceCounter referenceCounter; |
@@ -51,12 +51,12 @@ public class ProblemValidator extends AbstractProblemValidator { | |||
51 | @Check | 51 | @Check |
52 | public void checkNonUniqueNode(VariableOrNodeArgument argument) { | 52 | public void checkNonUniqueNode(VariableOrNodeArgument argument) { |
53 | var variableOrNode = argument.getVariableOrNode(); | 53 | var variableOrNode = argument.getVariableOrNode(); |
54 | if (variableOrNode instanceof Node node && !ProblemUtil.isUniqueNode(node)) { | 54 | if (variableOrNode instanceof Node node && !ProblemUtil.isIndividualNode(node)) { |
55 | var name = node.getName(); | 55 | var name = node.getName(); |
56 | var message = "Only unique nodes can be referenced in predicates. Mark '%s' as unique with the declaration 'unique %s.'" | 56 | var message = "Only individual nodes can be referenced in predicates. Mark '%s' as individual with the declaration 'individual %s.'" |
57 | .formatted(name, name); | 57 | .formatted(name, name); |
58 | error(message, argument, ProblemPackage.Literals.VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE, | 58 | error(message, argument, ProblemPackage.Literals.VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE, |
59 | INSIGNIFICANT_INDEX, NON_UNIQUE_NODE_ISSUE); | 59 | INSIGNIFICANT_INDEX, NON_INDIVIDUAL_NODE_ISSUE); |
60 | } | 60 | } |
61 | } | 61 | } |
62 | } | 62 | } |