jmlparser-core/com.github.javaparser.jml

Package-level declarations

Types

open class Example

JmlDocHardRemover

open class JmlDocHardRemover : Processor

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

JmlDocSanitizer

class JmlDocSanitizer : Record

open class JmlProcessor : Processor

Here happens the JML magic.

open class JmlUtility

JmlWarnRemaingJmlDoc

open class JmlWarnRemaingJmlDoc : Processor

StringConstructor

open class StringConstructor