lint/io.github.jmltoolkit.lint.rules/JavaContainsJmlConstruct

JavaContainsJmlConstruct

class JavaContainsJmlConstruct : Validator(source)

Author

Alexander Weigl

Constructors

Link copied to clipboard
constructor()

Functions

Link copied to clipboard
open override fun accept(node: Node, problemReporter: ProblemReporter)
Link copied to clipboard
Link copied to clipboard
open fun processor(): Processor?
Generated by Dokka
© 2026 Copyright