jmlparser-core/com.github.javaparser.jml/JmlDocHardRemover/JmlDocCollectorVisitor/visit

visit

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

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

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

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