toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core
/
WheneverEvaluator
/
ensure
ensure
fun
ensure
(
block
:
Condition
.
(
)
->
ConditionComponent
)
(
source
)
Specifies a condition that has to be ensured around the
premise
.