cpg-core/de.fraunhofer.aisec.cpg.helpers/Util/eogConnect

eogConnect

fun eogConnect(q: Util.Quantifier = Quantifier.ALL, cn: Util.Connect = Connect.SUBTREE, en: Util.Edge, n: Node?, cr: Util.Connect = Connect.SUBTREE, predicate: (EvaluationOrder) -> Boolean? = null, refs: List<Node?>): Boolean

Checks if the Node n connects to the nodes in refs over the CPGS EOG graph edges that depict the evaluation order. The parameter q defines if all edges of interest to node must connect to an edge in refs or one is enough, cn and cr define whether the passed AST nodes themselves are used to search the connections or the EOG Border nodes in the AST subnode. Finally, en defines whether the EOG edges go * from n to r in refs or the inverse.

Return

true if all/any of the connections from node connect to n.

Parameters

q

  • The quantifier, all or any node of n must connect to refs, defaults to ALL.

cn

  • NODE if n itself is the node to connect or SUBTREE if the EOG borders are of interest. Defaults to SUBTREE

en

  • The Edge direction and therefore the borders of n to connect to refs

n

  • Node of interest

cr

  • NODE if refs nodes itself are the nodes to connect or SUBTREE if the EOG borders are of interest

branch

  • All edges must have the specified branch property

refs

  • Multiple reference nodes that can be passed as varargs