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

CokoBackend

interface CokoBackend : Backend(source)

Properties

Link copied to clipboard
abstract val artifacts: Map<Path, Artifact>
Link copied to clipboard
abstract val backendData: Any
Link copied to clipboard
abstract val toolInfo: ToolComponent

Functions

Link copied to clipboard
abstract infix fun Op.followedBy(that: Op): Evaluator

For each of the nodes in this, there is a path to at least one of the nodes in that.

Link copied to clipboard
abstract fun never(vararg ops: Op): Evaluator

Ensures that there are no calls to the ops which have arguments that fit the parameters specified in ops

Link copied to clipboard
abstract fun only(vararg ops: Op): Evaluator

Ensures that all calls to the ops have arguments that fit the parameters specified in ops

Link copied to clipboard
abstract fun order(baseNodes: Op, block: Order.() -> Unit): Evaluator
abstract fun order(baseNodes: OrderToken, block: Order.() -> Unit): Evaluator

Ensures the order of nodes as specified in the user configured Order object

Link copied to clipboard
abstract fun whenever(premise: ConditionComponent, assertionBlock: WheneverEvaluator.() -> Unit): WheneverEvaluator

abstract fun whenever(premise: Condition.() -> ConditionComponent, assertionBlock: WheneverEvaluator.() -> Unit): WheneverEvaluator

Verifies that the assertionBlock is ensured when premise is found