jmlstub/io.github.jmltoolkit.jmlstub

Package-level declarations

Types

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

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

JREClassStubGenerator

class JREClassStubGenerator(clazz: Class<*>)

StubConfig

data class StubConfig(val jmlKeys: List<String> = emptyList(), val excludeClasses: List<String> = listOf(), val mergeClasses: List<String> = listOf(), val addGeneratedAnnotation: Boolean = true, val throwUnsupportedForStubs: Boolean = false, val preserveContracts: Boolean = false, val outputDir: Path = Path("out"), val files: List<Path> = listOf(), val jreClasses: List<String> = listOf())

Configuration options for JML stub generation.

StubGenerator

class StubGenerator(config: StubConfig) : Callable<Set<CompilationUnit>>

Generator for creating Java stub files from existing Java source code. The generator preserves JML specifications while replacing method bodies with empty implementations.