lsp/io.github.jmltoolkit.lsp.symbols/JmlCatchSymbols/visit

visit

open override fun visit(n: CompilationUnit, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: AnnotationDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: AnnotationMemberDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: ClassOrInterfaceDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: ConstructorDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: EnumConstantDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: EnumDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: FieldDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: MethodDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlMethodDeclaration, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: VariableDeclarationExpr?, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: ModuleDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlContract, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlRepresentsDeclaration?, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlFieldDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlClassAccessibleDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlClassExprDeclaration, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlSimpleExprClause, arg: Unit?): MutableList<DocumentSymbol>(source)
open override fun visit(n: JmlSignalsClause?, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: JmlSignalsOnlyClause?, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: JmlCallableClause?, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: JmlForallClause?, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: JmlConditionalClause?, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: JmlOldClause?, arg: Unit?): MutableList<DocumentSymbol>?(source)
open override fun visit(n: JmlMultiExprClause?, arg: Unit?): MutableList<DocumentSymbol>?(source)
Generated by Dokka
© 2026 Copyright