jmlparser-core/com.github.javaparser.jml/JmlUtility

JmlUtility

open class JmlUtility(source)

Author

Alexander Weigl

Constructors

constructor()

Functions

fixRangeContracts

open fun fixRangeContracts(@NotNull n: NodeWithContracts<out Node>)

open fun getAllNodes(node: Node): Stream<Node>

resolveException

open fun resolveException(n: JmlSignalsClause): ResolvedType