jmlparser-core/com.github.javaparser.jml/JmlWarnRemaingJmlDoc/JmlWarnRemainingJmlDocVisitor/visit

visit

open fun visit(n: JmlDocDeclaration, arg: Void): Void(source)

open fun visit(n: JmlDocStmt, arg: Void): Void(source)

open fun visit(n: JmlDoc, arg: Void): Void(source)

open fun visit(n: Modifier, arg: Void): Void(source)

open fun visit(n: JmlDocType, arg: Void): Void(source)