utils/io.github.jmltoolkit.utils/JMLUtils

JMLUtils

object JMLUtils(source)

Author

Alexander Weigl

Properties

GENERATED_COMBINED

const val GENERATED_COMBINED: String

Functions

createJointContract

fun createJointContract(m: NodeList<JmlContract>): JmlContract

resolvedType2Type

fun resolvedType2Type(type: ResolvedType): Type

fun unroll(old: NodeList<JmlContract>)

fun unroll(n: JmlMultiCompareExpr): Expression