jmlstub/io.github.jmltoolkit.jmlstub/JmlStubCombiner

JmlStubCombiner

class JmlStubCombiner(val config: StubConfig = StubConfig())(source)

Combiner for merging multiple JML specifications and stub files. Allows combining JML contracts from different sources into unified specifications.

Merge Behavior:

Methods and fields are additive (combined from all compilation units)
JML contracts: Only the latest compilation unit's contracts are used (not merged)

Author

Alexander Weigl

Constructors

JmlStubCombiner

constructor(config: StubConfig = StubConfig())

Properties

val config: StubConfig

Functions

fun combine(units: List<TypeDeclaration<*>>): CompilationUnit