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())(source)
Configuration options for JML stub generation.
Constructors
Link copied to clipboard
constructor(jmlKeys: List<String> = emptyList(), excludeClasses: List<String> = listOf(), mergeClasses: List<String> = listOf(), addGeneratedAnnotation: Boolean = true, throwUnsupportedForStubs: Boolean = false, preserveContracts: Boolean = false, outputDir: Path = Path("out"), files: List<Path> = listOf(), jreClasses: List<String> = listOf())