ModelCheckExecution

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

Captured check inputs and destinations, usable without a Gradle Task or Project.

Constructors

Link copied to clipboard
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)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard