ModelCheckExecution
constructor(module: ModelCheckModule, projectRoot: File, sourceRoots: List<File>, logicalOwnerProjects: Map<String, String>, contextModules: Set<String>, outputDirectory: File, problemsFile: File = outputDirectory.resolve("problems.jsonl"), ruleInventoryFile: File = outputDirectory.resolve("model_check_rules.json"), remediationReferenceFile: File = problemsFile.resolveSibling("model_check_remediation.json"), viewpoints: List<String> = emptyList(), checks: ModelCheckMode = ModelCheckMode.AUTOMATIC, completeModelScope: Boolean = false, reportFormat: ReportFormat? = null, reportDir: File? = null)