lint/io.github.jmltoolkit.lint/JmlLintingFacade

JmlLintingFacade

class JmlLintingFacade(config: JmlLintingConfig)(source)

Author

Alexander Weigl

Constructors

JmlLintingFacade

constructor(config: JmlLintingConfig)

Types

object Companion

Properties

val linters: List<LintRule>

Functions

fun asSarif(problems: Collection<LintProblem>): SarifSchema

fun lint(nodes: Collection<Node>): Collection<LintProblem>

fun lint(reporter: LintProblemReporter, nodes: Collection<Node>)