jml2java/io.github.jmltoolkit.jml2java/Jml2JavaTranslator

Jml2JavaTranslator

class Jml2JavaTranslator(source)

Author

Alexander Weigl

Constructors

Jml2JavaTranslator

constructor()

Types

object Companion

Functions

fun accept(e: Expression?, arg: BlockStmt): Expression?

fun findPredicate(n: JmlQuantifiedExpr): Expression

fun findUpperBound(n: JmlQuantifiedExpr, variable: String): Expression?