diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-29 12:05:08 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-29 12:05:08 +0200 |
commit | 5e21737b0a8a903d2e37e821a96a739eb7429fcd (patch) | |
tree | a6080f1daddb96d161f139aee7d92a47c021a9ed /subprojects/language-semantics/src/main/java/tools | |
parent | chore(deps): bump frontend dependencies (diff) | |
download | refinery-5e21737b0a8a903d2e37e821a96a739eb7429fcd.tar.gz refinery-5e21737b0a8a903d2e37e821a96a739eb7429fcd.tar.zst refinery-5e21737b0a8a903d2e37e821a96a739eb7429fcd.zip |
refactor: rename invalidNumberOfContainers
Use a simplified name invalidContainer, since this pattern may match even if
there is a sufficient number of ERROR containers.
Diffstat (limited to 'subprojects/language-semantics/src/main/java/tools')
-rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java index aaef3326..13e25d0a 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | |||
@@ -115,8 +115,8 @@ public class ModelInitializer { | |||
115 | null, TruthValue.UNKNOWN)); | 115 | null, TruthValue.UNKNOWN)); |
116 | putRelationInfo(builtinSymbols.contains(), new RelationInfo(ContainmentHierarchyTranslator.CONTAINS_SYMBOL, | 116 | putRelationInfo(builtinSymbols.contains(), new RelationInfo(ContainmentHierarchyTranslator.CONTAINS_SYMBOL, |
117 | null, TruthValue.UNKNOWN)); | 117 | null, TruthValue.UNKNOWN)); |
118 | putRelationInfo(builtinSymbols.invalidNumberOfContainers(), | 118 | putRelationInfo(builtinSymbols.invalidContainer(), |
119 | new RelationInfo(ContainmentHierarchyTranslator.INVALID_NUMBER_OF_CONTAINERS, TruthValue.FALSE, | 119 | new RelationInfo(ContainmentHierarchyTranslator.INVALID_CONTAINER, TruthValue.FALSE, |
120 | TruthValue.FALSE)); | 120 | TruthValue.FALSE)); |
121 | collectNodes(); | 121 | collectNodes(); |
122 | collectPartialSymbols(); | 122 | collectPartialSymbols(); |