diff --git a/gradle.properties b/gradle.properties index 9726f10e..c87a5880 100644 --- a/gradle.properties +++ b/gradle.properties @@ -19,10 +19,10 @@ sysmlGitlab = https://git.rwth-aachen.de/api/v4/projects/37093/packages/m # Dependencies mc_version = 7.8.0 -mclsg_version = 7.8.3 +mclsg_version = 7.8.5 se_commons_version = 7.8.0 assertj_version = 3.21.0 junit_version = 5.8.2 # Version of published artifacts -version = 7.8.28 +version = 7.8.29 diff --git a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java index 329ad223..833c407d 100644 --- a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java +++ b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java @@ -15,18 +15,6 @@ public boolean needsSymbols() { return true; } - @Override - public void runAllCoCos(ASTSysMLModel ast){ - if(System.getenv("SYSML_DEFAULT_COCOS") == null) { - tool.runDefaultCoCos(ast); - } - // Runs additional (verification-specific) CoCos when variable is set. - // Defaults to not running them. - if(System.getenv("SYSML_ADDITIONAL_COCOS") != null) { - tool.runAdditionalCoCos(ast); - } - } - @Override public void runCoCosForAllDocuments(){ documentManager.getAllDocumentInformation(new SysMLv2DocumentInformationFilter()).forEach(di -> {