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

Package-level declarations

Types

class ArgumentEvaluator(val targetCall: Op, val argPos: Int, val originCall: Op) : Evaluator

class FollowsEvaluator(val ifOp: Op, val thenOp: Op) : Evaluator

class OrderEvaluator(val baseNodes: Collection<Node>, val order: Order) : Evaluator

CPG Evaluator to evaluate Coko order expressions.

class PrecedesEvaluator(val prevOp: Op, val thisOp: Op) : Evaluator