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

WheneverEvaluator

abstract class WheneverEvaluator(premise: ConditionComponent) : Evaluator(source)

An evaluator that describes what should happen around the code that the premise represents.

Constructors

WheneverEvaluator

constructor(premise: ConditionComponent)

Functions

fun call(op: Op, location: CallLocationBuilder.() -> CallLocation? = { null })

Specifies that op has to be called in the given location in regard to the premise.

fun ensure(block: Condition.() -> ConditionComponent)

Specifies a condition that has to be ensured around the premise.

abstract fun evaluate(context: EvaluationContext): Collection<Finding>