From 1e7e2b0dd80361128cf31da3884a75bd2a68b6b6 Mon Sep 17 00:00:00 2001
From: MKZaito <127297267+MKZaito@users.noreply.github.com>
Date: Sat, 17 Jan 2026 22:14:32 +0100
Subject: [PATCH] CoCos to default and version bump

* switched some CoCos from extended Checker to default Checker

* version bump to 7.8.5
---
 gradle.properties                             |  2 +-
 .../monticore/lang/sysmlv2/SysMLv2Tool.java   | 19 +++++++++----------
 2 files changed, 10 insertions(+), 11 deletions(-)

diff --git a/gradle.properties b/gradle.properties
index 5af85ba3..5fd9e5fe 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -25,4 +25,4 @@ assertj_version    = 3.21.0
 junit_version      = 5.8.2
 
 # Version of published artifacts
-version            = 7.8.4
+version            = 7.8.5
diff --git a/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java b/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java
index c8960180..98922538 100644
--- a/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java
+++ b/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java
@@ -122,6 +122,15 @@ public void runDefaultCoCos(ASTSysMLModel ast) {
     checker.addCoCo(new SendActionTypeCheck3());
     checker.addCoCo(new AssignActionTypeCheck3());
     checker.addCoCo(new TypeCheck3TransitionGuards());
+    // Check Definitions exist
+    checker.addCoCo(new PartTypeDefinitionExistsCoCo());
+    checker.addCoCo(new RefinementTargetDefinitionExistsCoCo());
+    // Connection CoCos
+    checker.addCoCo(new UniqueSubPartNamesInConnectionCoCo());
+    checker.addCoCo(new QualifiedPortNameExistsCoCo());
+    checker.addCoCo(new SubcomponentOutputConnectionDirectionCoCo());
+    checker.addCoCo(new ParentComponentInputConnectionDirectionCoCo());
+    
     checker.checkAll(ast);
   }
 
@@ -173,16 +182,6 @@ public void runAdditionalCoCos(
     checker.addCoCo(new PortDefinitionExistsCoCo());
     checker.addCoCo(new PartBehaviorCoCo());
 
-    // Check Definitions exist
-    checker.addCoCo(new PartTypeDefinitionExistsCoCo()); 
-    checker.addCoCo(new RefinementTargetDefinitionExistsCoCo()); 
-
-    // Connection CoCos
-    checker.addCoCo(new UniqueSubPartNamesInConnectionCoCo()); 
-    checker.addCoCo(new QualifiedPortNameExistsCoCo()); 
-    checker.addCoCo(new SubcomponentOutputConnectionDirectionCoCo()); 
-    checker.addCoCo(new ParentComponentInputConnectionDirectionCoCo()); 
-
     checker.checkAll(ast);
   }