lint/io.github.jmltoolkit.lint.rules/ResultVarCheck/visit

visit

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

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

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