Package it.unive.lisa.interprocedural.callgraph

Class CallGraphEdge

java.lang.Object

it.unive.lisa.interprocedural.callgraph.CallGraphEdge

All Implemented Interfaces:

Edge<CallGraph,CallGraphNode,CallGraphEdge>

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

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<CallGraph,CallGraphNode,CallGraphEdge,V> visitor, V tool)	Accepts the given GraphVisitor.
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()
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<CallGraph,CallGraphNode,CallGraphEdge>

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<CallGraph,CallGraphNode,CallGraphEdge>

Returns:

the destination node

accept

public <V> boolean accept(GraphVisitor<CallGraph,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<CallGraph,CallGraphNode,CallGraphEdge>

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