jmlparser-core/com.github.javaparser.jml.impl/JmlAnnotationSupport

JmlAnnotationSupport

open class JmlAnnotationSupport : Processor(source)

Author

Alexander Weigl

Constructors

JmlAnnotationSupport

constructor(configuration: JmlAnnotationConfiguration)

Properties

val configuration: JmlAnnotationConfiguration

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.