lint/io.github.jmltoolkit.lint/JmlLintingConfig

JmlLintingConfig

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

Author

Alexander Weigl

Constructors

JmlLintingConfig

constructor(checkNameClashes: Boolean = true, checkMissingNames: Boolean = true)

Properties

checkMissingNames

val checkMissingNames: Boolean

checkNameClashes

val checkNameClashes: Boolean

Functions

fun isDisabled(lintRule: LintRule): Boolean