lint/com.github.jmlparser.lint.rules

Package-level declarations

Types

AllowedJmlClauses

class AllowedJmlClauses : LintRuleVisitor

ContextSensitiveForbiddenFunctionsValidator

class ContextSensitiveForbiddenFunctionsValidator : LintRuleVisitor

JmlJavaNameClashes

class JmlJavaNameClashes

PurityValidator

class PurityValidator : LintRuleVisitor