lint/io.github.jmltoolkit.lint.rules

Package-level declarations

Types

AssignableValidator

class AssignableValidator : LintRuleVisitor

JavaContainsJmlConstruct

class JavaContainsJmlConstruct : Validator

JmlNameClashWithJava

class JmlNameClashWithJava : LintRuleVisitor

LintProblemMeta

data class LintProblemMeta(val id: String, val message: String, val level: String) : Record

LocationSetValidator

object LocationSetValidator : LintRuleVisitor

MethodBodyHasNoContract

class MethodBodyHasNoContract : VisitorValidator

OverridingLocalNamesInGhost

class OverridingLocalNamesInGhost : LintRuleVisitor

class ResultVarCheck : LintRuleVisitor