stat/io.github.jmltoolkit.stat/StatVisitor/visit

visit

open override fun visit(n: CompilationUnit, arg: Element)(source)

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

open override fun visit(n: ClassOrInterfaceDeclaration, arg: Element)(source)

open override fun visit(n: ConstructorDeclaration, arg: Element)(source)

open override fun visit(n: AnnotationDeclaration, arg: Element)(source)

open override fun visit(n: AnnotationMemberDeclaration, arg: Element)(source)

open override fun visit(n: EnumDeclaration, arg: Element)(source)

open override fun visit(n: LocalClassDeclarationStmt, arg: Element)(source)

open override fun visit(n: ModuleDeclaration, arg: Element)(source)

open override fun visit(n: JmlDocDeclaration, arg: Element)(source)

open override fun visit(n: JmlDoc, arg: Element)(source)

open override fun visit(n: JmlDocStmt, arg: Element)(source)

open override fun visit(n: JmlDocType, arg: Element)(source)

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

open override fun visit(n: JmlRepresentsDeclaration, arg: Element)(source)

open override fun visit(n: JmlMethodDeclaration, arg: Element)(source)

open override fun visit(n: JmlContract, arg: Element)(source)

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

open override fun visit(n: JmlUnreachableStmt, arg: Element)(source)

open override fun visit(n: JmlBeginStmt, arg: Element)(source)

open override fun visit(n: JmlEndStmt, arg: Element)(source)

open override fun visit(n: JmlGhostStmt, arg: Element)(source)

open override fun visit(n: JmlLabelStmt, arg: Element)(source)

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

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

open override fun visit(n: JmlSignalsOnlyClause, arg: Element)(source)

open override fun visit(n: JmlOldClause, arg: Element)(source)

open override fun visit(n: JmlMultiExprClause, arg: Element)(source)

open override fun visit(n: JmlCallableClause, arg: Element)(source)

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

open override fun visit(n: JmlRefiningStmt, arg: Element)(source)

open override fun visit(n: JmlConditionalClause, arg: Element)(source)

open override fun visit(n: JmlFieldDeclaration, arg: Element)(source)