CoCo1

language/src/main/java/de/monticore/lang/sysmlv2/cocos/MKPX_CoCo1.java

@@ -0,0 +1,39 @@
+/* (c) https://github.com/MontiCore/monticore */
+package de.monticore.lang.sysmlv2.cocos;
+
+import de.monticore.lang.sysmlbasis._ast.ASTSpecialization;
+import de.monticore.lang.sysmlparts._ast.ASTPartUsage;
+import de.monticore.lang.sysmlparts._cocos.SysMLPartsASTPartUsageCoCo;
+import de.monticore.types.mcbasictypes._ast.ASTMCType;
+import de.se_rwth.commons.logging.Log;
+
+import java.util.stream.Collectors;
+
+/**
+ * CoCo1: Jeder in "part name:Typ" verwendete Typ muss eine existierende Part-Definition sein.
+ */
+public class MKPX_CoCo1 implements SysMLPartsASTPartUsageCoCo {
+
+  protected String printPartType(ASTMCType type) {
+    return type.printType();
+  }
+
+  @Override
+  public void check(ASTPartUsage node) {
+    var nonExistent = node.streamSpecializations()
+        .flatMap(ASTSpecialization::streamSuperTypes)
+        .filter(t ->
+            node.getEnclosingScope().resolvePartDef(printPartType(t)).isEmpty()
+        )
+        .collect(Collectors.toList());
+
+    for (var problem : nonExistent) {
+      Log.error(
+          "0xMKPX01 The type referenced in a PartUsage \"" + printPartType(problem)
+              + "\" does not exist as a part definition.",
+          node.get_SourcePositionStart(),
+          node.get_SourcePositionEnd()
+      );
+    }
+  }
+}