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

JmlDocSanitizer

class JmlDocSanitizer : Record(source)

Author

Alexander Weigl

Constructors

Link copied to clipboard
constructor()

Functions

Link copied to clipboard
open fun asString(jmlDocs: NodeList<JmlDoc>): String
open fun asString(jmlDocs: NodeList<JmlDoc>, emulateGlobalPosition: Boolean): String
open fun asString(jmlDocs: Collection<Token>, emulateGlobalPosition: Boolean): String
Link copied to clipboard
open fun asStringJT(jmlDocs: Collection<JavaToken>, emulateGlobalPosition: Boolean): String
Link copied to clipboard
abstract fun equals(p: Any): Boolean
Link copied to clipboard
abstract fun hashCode(): Int
Link copied to clipboard
open fun isActiveJmlSpec(keys: Array<String>): Boolean
open fun isActiveJmlSpec(activeKeys: Collection<String>, keys: Array<String>): Boolean
Link copied to clipboard
Link copied to clipboard
abstract fun toString(): String
Generated by Dokka
© 2026 Copyright