accept
open override fun accept(node: Node, problemReporter: LintProblemReporter, config: JmlLintingConfig)(source)
A validator that uses a visitor for validation. This class is the visitor too. Implement the "visit" methods you want to use for validation.