Package-level declarations
Types
Link copied to clipboard
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.
Link copied to clipboard
data class ModelCheckModule(val path: String, val directory: String, val enabledViewpoints: List<String>, val configuredElementId: String, val failAt: ProblemSeverity, val reportClassificationDifferences: Boolean = true) : Serializable
A module's resolved DSL settings, captured without retaining Gradle projects during execution.
Link copied to clipboard
@DisableCachingByDefault(because = "Model-check aggregation is fast and reads current-build task outputs.")
Root IDE view derived directly from per-module canonical model problem records.
Link copied to clipboard
@DisableCachingByDefault(because = "Validation-only task; <10 ms execution — caching overhead exceeds execution time.")
Per-module configuration validation task.
Link copied to clipboard
@DisableCachingByDefault(because = "Model checks instantiate current compiled model classes.")
Runs model checks (consistency rules) on compiled viewpoint classes.
Link copied to clipboard
@DisableCachingByDefault(because = "Model checks instantiate current compiled model classes.")
Per-module results belong to the ordinary report pipeline; the explicit full-model report has its own scope.
Functions
Link copied to clipboard
fun modelCheckSourceRoots(projectRoot: File, elementDirectory: File, classpath: Collection<File>): List<File>
Match the original check task's source context, including prepared runtime dependency sources.