cpg-core/de.fraunhofer.aisec.cpg.graph.edges.flows/Dataflow

Dataflow

open class Dataflow(start: Node, end: Node, var granularity: Granularity = default()) : Edge<Node>

This edge class defines a flow of data between start and end. The flow can have a certain granularity.

Inheritors

ContextSensitiveDataflow

Constructors

Dataflow

constructor(start: Node, end: Node, granularity: Granularity = default())

Properties

dependence

var dependence: DependenceType?

The type of dependence (e.g. control or data or none). This field is intentionally nullable, because not all Edge edges are selected in the PDG. This selection is performed in the ProgramDependenceGraphPass.

end

var end: Node

granularity

var granularity: Granularity

The granularity of this dataflow.

index

var index: Int?

The index of this node, if it is stored in an de.fraunhofer.aisec.cpg.graph.edges.collections.EdgeList.

label

open override val label: String

name

var name: String?

An optional name.

start

var start: Node

Functions

clone

open override fun clone(): Edge<Node>

delegate

fun <ThisType : Node> delegate(): Edge.Delegate<ThisType, Node>

equals

open operator override fun equals(other: Any?): Boolean

hashCode

open override fun hashCode(): Int

propertyEquals

fun propertyEquals(obj: Any?): Boolean

toString

open override fun toString(): String