CokoBackend

Properties

abstract val artifacts: Map<Path, Artifact>

abstract val backendData: Any

abstract val toolInfo: ToolComponent

abstract fun argumentOrigin(targetOp: KFunction<Op>, argPos: Int, originOp: KFunction<Op>): Evaluator

Verifies that the argument at argPos of targetOp stems from a call to originOp

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.

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

abstract fun only(vararg ops: Op): Evaluator

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

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

abstract infix fun Op.precedes(that: Op): Evaluator

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

Verifies that the assertionBlock is ensured when premise is found