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

Class OtherEdge

java.lang.Object

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

pascal.taie.analysis.pta.core.solver.OtherEdge

All Implemented Interfaces:

Serializable, Edge<Pointer>

public abstract class OtherEdge
extends PointerFlowEdge

Base class for flow edges of FlowKind.OTHER. Implementation of FlowKind.OTHER flow edges should inherit this class.

See Also:

• Serialized Form

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	OtherEdge(Pointer source, Pointer target)

Method Summary

Modifier and Type	Method	Description
String	getInfo()

Methods inherited from class pascal.taie.analysis.pta.core.solver.PointerFlowEdge

addTransfer, equals, getTransfers, hashCode, kind, source, target, toString

Methods inherited from class java.lang.Object

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

Constructor Details

OtherEdge

protected OtherEdge(Pointer source,
 Pointer target)

Method Details

getInfo

public String getInfo()

Overrides:

getInfo in class PointerFlowEdge

Returns:

String representation of information for this edge. It contains simple name of the edge class to distinguish from other classes of FlowKind.OTHER flow edges.