Package pascal.taie.analysis.pta.core.solver

Class PointerFlowEdge

java.lang.Object

pascal.taie.analysis.pta.core.solver.PointerFlowEdge

All Implemented Interfaces:

Serializable, Edge<Pointer>

Direct Known Subclasses:

OtherEdge

public class PointerFlowEdge
extends Object
implements Edge<Pointer>

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
PointerFlowEdge(FlowKind kind, Pointer source, Pointer target)

Method Summary

Modifier and Type	Method	Description
boolean	addTransfer(Transfer transfer)
boolean	equals(Object o)
String	getInfo()
Set<Transfer>	getTransfers()
int	hashCode()
FlowKind	kind()
Pointer	source()
Pointer	target()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

PointerFlowEdge

public PointerFlowEdge(FlowKind kind,
 Pointer source,
 Pointer target)

Method Details

kind

public FlowKind kind()

source

public Pointer source()

Specified by:

source in interface Edge<Pointer>

Returns:

the source node of the edge.

target

public Pointer target()

Specified by:

target in interface Edge<Pointer>

Returns:

the target node of the edge.

getInfo

public String getInfo()

Returns:

String representation of information for this edge. By default, the information represents the FlowKind, and other subclasses of PointerFlowEdge may contain additional content.

addTransfer

public boolean addTransfer(Transfer transfer)

getTransfers

public Set<Transfer> getTransfers()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object