add CoCo checker for all import types

cdlang/src/main/java/de/monticore/cdbasis/cocos/CDBasisCoCos.java

@@ -2,6 +2,7 @@
 package de.monticore.cdbasis.cocos;
 
 import de.monticore.cd.cocos.CoCoParent;
+import de.monticore.cdbasis._cocos.CDBasisASTCDTargetImportStatementCoCo;
 import de.monticore.cdbasis._cocos.CDBasisCoCoChecker;
 import de.monticore.cdbasis.cocos.ebnf.*;
 import de.monticore.cdbasis.cocos.mcg.ModifierNotMultipleVisibilitiesCoCo;
@@ -10,6 +11,7 @@
 import de.monticore.cdinterfaceandenum.cocos.ebnf.CDClassImplementsNotCyclic;
 import de.monticore.cdinterfaceandenum.cocos.ebnf.CDClassImplementsOnlyInterfaces;
 import de.monticore.types.check.AbstractDerive;
+import de.monticore.types.mcbasictypes._cocos.MCBasicTypesASTMCImportStatementCoCo;
 
 public class CDBasisCoCos extends CoCoParent<CDBasisCoCoChecker> {
 
@@ -59,6 +61,11 @@ protected void addEbnfCoCos(CDBasisCoCoChecker checker) {
     // CDPackage
     checker.addCoCo(new CDPackageNameUnique());
     checker.addCoCo(new CDPackageUniqueCDTypeNames());
+
+    // CDImport Statements
+    CDOnlyResolvableImportStatements coCo = new CDOnlyResolvableImportStatements();
+    checker.addCoCo((CDBasisASTCDTargetImportStatementCoCo) coCo);
+    checker.addCoCo((MCBasicTypesASTMCImportStatementCoCo) coCo);
   }
 
   @Override

cdlang/src/main/java/de/monticore/cdbasis/cocos/CDOnlyResolvableImportStatements.java

@@ -0,0 +1,37 @@
+package de.monticore.cdbasis.cocos;
+
+import de.monticore.cdbasis.CDBasisMill;
+import de.monticore.cdbasis._ast.ASTCDCompilationUnit;
+import de.monticore.cdbasis._ast.ASTCDTargetImportStatement;
+import de.monticore.cdbasis._cocos.CDBasisASTCDTargetImportStatementCoCo;
+import de.monticore.cdbasis._symboltable.ICDBasisScope;
+import de.monticore.grammar.MCGrammarSymbolTableHelper;
+import de.monticore.symbols.basicsymbols._symboltable.TypeSymbol;
+import de.monticore.types.mcbasictypes._ast.ASTMCImportStatement;
+import de.monticore.types.mcbasictypes._cocos.MCBasicTypesASTMCImportStatementCoCo;
+import de.se_rwth.commons.logging.Log;
+import java.util.Optional;
+
+public class CDOnlyResolvableImportStatements
+    implements CDBasisASTCDTargetImportStatementCoCo, MCBasicTypesASTMCImportStatementCoCo {
+
+  private Optional<TypeSymbol> resolve(String qName) {
+    return CDBasisMill.globalScope().resolveType(qName);
+  }
+
+  @Override
+  public void check(ASTCDTargetImportStatement node) {
+    String qName = node.getMCQualifiedName().getQName();
+    if (resolve(qName).isEmpty()) {
+      Log.error("0xCDC40: Unresolved target import statement: " + qName);
+    }
+  }
+
+  @Override
+  public void check(ASTMCImportStatement node) {
+    String qName = node.getMCQualifiedName().getQName();
+    if (resolve(qName).isEmpty()) {
+      Log.error("0xCDC41: Unresolved mc import statement: " + qName);
+    }
+  }
+}

cdlang/src/test/java/de/monticore/testcdbasis/cocos/CDOnlyResolvableImportStatementsTest.java

@@ -0,0 +1,49 @@
+package de.monticore.testcdbasis.cocos;
+
+import de.monticore.cdbasis._cocos.CDBasisASTCDTargetImportStatementCoCo;
+import de.monticore.cdbasis.cocos.CDOnlyResolvableImportStatements;
+import de.monticore.cdbasis._ast.ASTCDCompilationUnit;
+import de.monticore.testcdbasis.CDBasisTestBasis;
+import de.monticore.types.mcbasictypes._cocos.MCBasicTypesASTMCImportStatementCoCo;
+import de.se_rwth.commons.logging.Log;
+import org.junit.jupiter.api.Test;
+import java.io.IOException;
+import java.util.Optional;
+import static org.junit.jupiter.api.Assertions.assertEquals;
+import static org.junit.jupiter.api.Assertions.assertTrue;
+
+public class CDOnlyResolvableImportStatementsTest extends CDBasisTestBasis {
+
+  @Test
+  public void testInvalidTargetImportStatement() throws IOException {
+    CDOnlyResolvableImportStatements coCo = new CDOnlyResolvableImportStatements();
+    coCoChecker.addCoCo((CDBasisASTCDTargetImportStatementCoCo) coCo);
+    coCoChecker.addCoCo((MCBasicTypesASTMCImportStatementCoCo) coCo);
+    final Optional<ASTCDCompilationUnit> optAST = p.parse(getFilePath(
+        "cdbasis/cocos/CDUnresolvableTargetImportStatementsInvalid.cd"));
+    assertTrue(optAST.isPresent());
+    final ASTCDCompilationUnit ast = optAST.get();
+    Log.getFindings().clear();
+    coCoChecker.checkAll(ast);
+    assertEquals(1, Log.getFindings().size());
+    assertTrue(Log.getFindings().get(0).getMsg().startsWith("0xCDC40"));
+  }
+
+  @Test
+  public void testInvalidMCImportStatement() throws IOException {
+    CDOnlyResolvableImportStatements coCo = new CDOnlyResolvableImportStatements();
+    coCoChecker.addCoCo((CDBasisASTCDTargetImportStatementCoCo) coCo);
+    coCoChecker.addCoCo((MCBasicTypesASTMCImportStatementCoCo) coCo);
+    final Optional<ASTCDCompilationUnit> optAST = p.parse(getFilePath(
+        "cdbasis/cocos/CDUnresolvableMCImportStatementsInvalid.cd"));
+    assertTrue(optAST.isPresent());
+    final ASTCDCompilationUnit ast = optAST.get();
+    Log.getFindings().clear();
+    coCoChecker.checkAll(ast);
+    assertEquals(1, Log.getFindings().size());
+    assertTrue(Log.getFindings().get(0).getMsg().startsWith("0xCDC41"));
+  }
+
+  @Override
+  public void after() {}
+}

cdlang/src/test/resources/de/monticore/cdbasis/cocos/CDUnresolvableMCImportStatementsInvalid.cd

@@ -0,0 +1,15 @@
+/* (c) https://github.com/MontiCore/monticore */
+import this.path.doesnt.Exist;
+
+classdiagram CDUnresolvableImportStatementsInvalid {
+
+  class A {
+    int number = 1;
+  }
+
+  class B extends A{
+    derived int number = 5;
+  }
+
+}
+

cdlang/src/test/resources/de/monticore/cdbasis/cocos/CDUnresolvableTargetImportStatementsInvalid.cd

@@ -0,0 +1,15 @@
+/* (c) https://github.com/MontiCore/monticore */
+targetimport this.path.doesnt.Exist;
+
+classdiagram CDUnresolvableTargetImportStatementsInvalid {
+
+  class A {
+    int number = 1;
+  }
+
+  class B extends A{
+    derived int number = 5;
+  }
+
+}
+

cdlang/src/test/resources/de/monticore/cdbasis/cocos/Valid.cd

@@ -1,4 +1,5 @@
 /* (c) https://github.com/MontiCore/monticore */
+import java.util.List;
 
 classdiagram Valid {