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

visit

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

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

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