jmlstub/io.github.jmltoolkit.jmlstub/StubGenerator

StubGenerator

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

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

Author

Alexander Weigl

Constructors

StubGenerator

constructor(config: StubConfig)

Functions

call

open override fun call(): Set<CompilationUnit>

combineSpecifications

fun combineSpecifications(specs: List<String>): String

Combine multiple JML specifications into a single specification.

run

fun run(cu: CompilationUnit): TypeDeclaration<*>

fun run(compilationUnits: List<List<CompilationUnit>>): MutableCollection<TypeDeclaration<*>>