CheckRequest

data class CheckRequest(val projectRoot: Path, val elementDir: Path, val viewpoints: List<String> = emptyList(), val ruleset: String? = null, val failAt: ProblemSeverity? = null, val reportFormat: ReportFormat? = null, val reportDir: Path? = null)

Constructors

Link copied to clipboard
constructor(projectRoot: Path, elementDir: Path, viewpoints: List<String> = emptyList(), ruleset: String? = null, failAt: ProblemSeverity? = null, reportFormat: ReportFormat? = null, reportDir: Path? = null)

Properties

Link copied to clipboard
Link copied to clipboard

Single failure threshold for all model-check problems.

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Generated with STIG