lint/io.github.jmltoolkit.lint

Package-level declarations

Types

data class JmlLintingConfig(val checkNameClashes: Boolean = true, val checkMissingNames: Boolean = true)

data class LintProblem(val level: String, val message: String, val location: TokenRange?, val cause: Throwable?, val category: String?, val ruleId: String)

interface LintRule