Skip to content

7.8.28: added new Option for CoCoChecker #77

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
MKZaito wants to merge 2 commits into
base: release/7.8.x
Choose a base branch
from
+17 −14
Open

7.8.28: added new Option for CoCoChecker #77

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e62c82b
use mclsg version 7.8.4 with new ServerOptions
MKZaito Mar 17, 2026
d32666e
version bumb 7.8.28
MKZaito Mar 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions gradle.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.4
se_commons_version = 7.8.0
assertj_version = 3.21.0
junit_version = 5.8.2

# Version of published artifacts
version = 7.8.27
version = 7.8.28
12 changes: 10 additions & 2 deletions ...r/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LanguageAccess.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,14 +17,22 @@ public class SysMLv2LanguageAccess extends SysMLv2LanguageAccessTOP {
/** Convenience */
public SysMLv2LanguageAccess()
{
super(new DocumentManager(), new SysMLv2ScopeManager());
super(new DocumentManager(), new SysMLv2ScopeManager(), "Default");
}

public SysMLv2LanguageAccess(
DocumentManager documentManager,
SysMLv2ScopeManager scopeManager)
{
super(documentManager, scopeManager);
super(documentManager, scopeManager, "Default");
}

public SysMLv2LanguageAccess(
DocumentManager documentManager,
SysMLv2ScopeManager scopeManager,
String cocoCheckerMode)
{
super(documentManager, scopeManager, cocoCheckerMode);
}

@Override
Expand Down
15 changes: 5 additions & 10 deletions ...er/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,9 @@
import de.se_rwth.commons.logging.Log;

public class SysMLv2LspCoCoRunner extends SysMLv2LspCoCoRunnerTOP {
public SysMLv2LspCoCoRunner(DocumentManager documentManager) {
super(documentManager);

public SysMLv2LspCoCoRunner(DocumentManager documentManager, String cocoCheckerMode) {
super(documentManager, cocoCheckerMode);
}

@Override
Expand All @@ -17,14 +18,8 @@ public boolean needsSymbols() {

@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);
}
super.runAllCoCos(ast);
//ignores SYSML_ADDITIONAL_COCOS and SYSML_DEFAULT_COCOS
}

@Override
Expand Down
Loading