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>

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)
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.

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