lsp/io.github.jmltoolkit.lsp/CodeActionCollector/visit

visit

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

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

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

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

open override fun visit(n: JmlQuantifiedExpr, arg: Unit?)(source)