Package it.unive.lisa.interprocedural.callgraph

Class CallGraphEdge

java.lang.Object

it.unive.lisa.interprocedural.callgraph.CallGraphEdge

All Implemented Interfaces:

Edge<CallGraphNode,CallGraphEdge,BaseCallGraph>

public class CallGraphEdge
extends java.lang.Object
implements Edge<CallGraphNode,CallGraphEdge,BaseCallGraph>

An edge between two CallGraphNodes in a BaseCallGraph.

Constructor Summary

Constructors

Constructor	Description
CallGraphEdge(CallGraphNode source, CallGraphNode destination)	Build the edge.

Method Summary

Modifier and Type	Method	Description
<V> boolean	accept(GraphVisitor<BaseCallGraph,CallGraphNode,CallGraphEdge,V> visitor, V tool)	Accepts the given GraphVisitor.
boolean	canBeSimplified()	Yields true if and only if this edge could be simplified if one of the nodes connected to it is simplified (i.e., removed from the graph).
boolean	equals(java.lang.Object obj)
CallGraphNode	getDestination()	Yields the node where this edge ends.
CallGraphNode	getSource()	Yields the node where this edge originates.
int	hashCode()
CallGraphEdge	newInstance(CallGraphNode source, CallGraphNode destination)	Builds a new instance of this edge, connecting the given nodes.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CallGraphEdge

public CallGraphEdge(CallGraphNode source,
                     CallGraphNode destination)

Build the edge.

Parameters:

source - the source node

destination - the destination node

Method Detail

getSource

public CallGraphNode getSource()

Description copied from interface: Edge

Yields the node where this edge originates.

Specified by:

getSource in interface Edge<CallGraphNode,CallGraphEdge,BaseCallGraph>

Returns:

the source node

getDestination

public CallGraphNode getDestination()

Description copied from interface: Edge

Yields the node where this edge ends.

Specified by:

getDestination in interface Edge<CallGraphNode,CallGraphEdge,BaseCallGraph>

Returns:

the destination node

canBeSimplified

public boolean canBeSimplified()

Description copied from interface: Edge

Yields true if and only if this edge could be simplified if one of the nodes connected to it is simplified (i.e., removed from the graph).

Specified by:

canBeSimplified in interface Edge<CallGraphNode,CallGraphEdge,BaseCallGraph>

Returns:

whether or not this edge can be simplified

newInstance

public CallGraphEdge newInstance(CallGraphNode source,
                                 CallGraphNode destination)

Description copied from interface: Edge

Builds a new instance of this edge, connecting the given nodes.

Specified by:

newInstance in interface Edge<CallGraphNode,CallGraphEdge,BaseCallGraph>

Parameters:

source - the source node

destination - the destination node

Returns:

a new instance of this edge, connecting the given nodes

accept

public <V> boolean accept(GraphVisitor<BaseCallGraph,CallGraphNode,CallGraphEdge,V> visitor,
                          V tool)

Description copied from interface: Edge

Accepts the given GraphVisitor. Implementors of this method are responsible for invoking GraphVisitor.visit(Object, Graph, Edge) on this edge. The visiting should stop if such call returns false.

Specified by:

accept in interface Edge<CallGraphNode,CallGraphEdge,BaseCallGraph>

Type Parameters:

V - the type of auxiliary tool that visitor can use

Parameters:

visitor - the visitor that is visiting the Graph containing this edge

tool - the auxiliary tool that visitor can use

Returns:

whether or not the visiting should stop when this call returns, as decided by the visitor itself

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object