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

JmlDocHardRemover

open class JmlDocHardRemover : Processor(source)

A post-processor which removes all com.github.javaparser.ast.jml.doc.JmlDocContainer occurrences in an AST.

Author

Alexander Weigl

Constructors

JmlDocHardRemover

constructor()

Types

JmlDocCollectorVisitor

open class JmlDocCollectorVisitor : ModifierVisitor<Void>

Functions

open fun postProcess(result: ParseResult<out Node>, configuration: ParserConfiguration)

Makes the parser do a post-parsing step before the result is returned to the user.

open fun preProcess(innerProvider: Provider): Provider

Adds a pre-parsing step, which has access to the sourcecode through the innerProvider.