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