lint/com.github.jmlparser.lint.rules/PurityValidator/visit

visit

open override fun visit(n: JmlSimpleExprClause, arg: LintProblemReporter)(source)

open override fun visit(n: JmlClassExprDeclaration, arg: LintProblemReporter)(source)

open override fun visit(n: JmlExpressionStmt, arg: LintProblemReporter)(source)