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

JmlWarnRemaingJmlDoc

open class JmlWarnRemaingJmlDoc : Processor(source)

Author

Alexander Weigl

Constructors

JmlWarnRemaingJmlDoc

constructor()

Types

JmlWarnRemainingJmlDocVisitor

open class JmlWarnRemainingJmlDocVisitor : GenericVisitorAdapter<Void, 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.