Package com.tonic.analysis.dataflow

Class DataFlowEdge

java.lang.Object

com.tonic.analysis.dataflow.DataFlowEdge

public class DataFlowEdge
extends Object

An edge in the data flow graph connecting two nodes.

Constructor Summary

Constructors

Constructor	Description
DataFlowEdge(DataFlowNode source, DataFlowNode target, DataFlowEdgeType type)	Creates an edge with no explicit label.
DataFlowEdge(DataFlowNode source, DataFlowNode target, DataFlowEdgeType type, String label)	Creates a labeled edge.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
String	getDisplayLabel()	Returns the explicit label, falling back to the edge type's display name when unset.
String	getLabel()
DataFlowNode	getSource()
DataFlowNode	getTarget()
String	getTooltip()	Builds multi-line tooltip text naming the edge type, its endpoints and the label.
DataFlowEdgeType	getType()
int	hashCode()
boolean	propagatesTaint()	Reports whether taint propagates along this edge, as decided by the edge type.
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DataFlowEdge

public DataFlowEdge(DataFlowNode source,
                    DataFlowNode target,
                    DataFlowEdgeType type)

Creates an edge with no explicit label.

Parameters:

source - the node the data flows from

target - the node the data flows to

type - the kind of data flow

DataFlowEdge

public DataFlowEdge(DataFlowNode source,
                    DataFlowNode target,
                    DataFlowEdgeType type,
                    String label)

Creates a labeled edge.

Parameters:

source - the node the data flows from

target - the node the data flows to

type - the kind of data flow

label - display label, or null to fall back to the type name

Method Detail

getSource

public DataFlowNode getSource()

Returns:

the source

getTarget

public DataFlowNode getTarget()

Returns:

the target

getType

public DataFlowEdgeType getType()

Returns:

the type

getLabel

public String getLabel()

Returns:

the label

getDisplayLabel

public String getDisplayLabel()

Returns the explicit label, falling back to the edge type's display name when unset.

Returns:

the label to render for this edge

getTooltip

public String getTooltip()

Builds multi-line tooltip text naming the edge type, its endpoints and the label.

Returns:

the tooltip text

propagatesTaint

public boolean propagatesTaint()

Reports whether taint propagates along this edge, as decided by the edge type.

Returns:

true if the edge type propagates taint

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object