coko-core/de.fraunhofer.aisec.codyze.specificationLanguages.coko.core/CallAssertion

CallAssertion

class CallAssertion(val op: Op, val location: CallLocation? = null) : CallConditionComponent(source)

Constructors

Link copied to clipboard
constructor(op: Op, location: CallLocation? = null)

Properties

Link copied to clipboard
val location: CallLocation? = null
Link copied to clipboard
val op: Op

Functions

Link copied to clipboard
open override fun toString(): String