cpg/de.fraunhofer.aisec.codyze.backends.cpg.coko.evaluators/CpgWheneverEvaluator

CpgWheneverEvaluator

class CpgWheneverEvaluator(premise: ConditionComponent) : WheneverEvaluator(source)

Constructors

Link copied to clipboard
constructor(premise: ConditionComponent)

Types

Link copied to clipboard
class DummyNode : Node
Link copied to clipboard
data class EvaluationResult(val fulfillingNodes: MutableList<Node> = mutableListOf(), val unfulfillingNodes: MutableList<Node> = mutableListOf(), val problems: CpgWheneverEvaluator.Problems = Problems())

A class to collect the results of the evaluation of a ConditionNode. fulfillingNodes contains all nodes that fulfill the ConditionNode, unfulfillingNodes contains all nodes that do not fulfill the ConditionNode, problems are the problems encountered in the evaluation.

Link copied to clipboard
class Problems

A class to collect the problems that are encountered in an evaluation.

Functions

Link copied to clipboard
fun call(op: Op, location: CallLocationBuilder.() -> CallLocation?)
Link copied to clipboard
fun ensure(block: Condition.() -> ConditionComponent)
Link copied to clipboard
open override fun evaluate(context: EvaluationContext): Collection<Finding>