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

JmlProcessor

open class JmlProcessor : Processor(source)

Here happens the JML magic. This post-processor consumes JmlDoc and transfer them into proper AST nodes, which are attached to the corresponding node.

You can configure the JmlProcessor via the ParserConfiguration given in the JavaParser.

The JmlProcessor is re-run for every given key set.

Warnings are produced, if isKeepJmlDocs is false, and not all JmlDocContainer are removed. This should considered as a programing failure in the JML attacher algorithm.

Author

Alexander Weigl

See also

Constructors

Link copied to clipboard
constructor()

Functions

Link copied to clipboard
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.
Link copied to clipboard
open fun preProcess(innerProvider: Provider): Provider
Adds a pre-parsing step, which has access to the sourcecode through the innerProvider.
Generated by Dokka
© 2026 Copyright