Package it.unive.lisa.program.cfg.edge

Class Edge

java.lang.Object

it.unive.lisa.program.cfg.edge.Edge

All Implemented Interfaces:

Edge<Statement,Edge,CFG>

Direct Known Subclasses:

FalseEdge, SequentialEdge, TrueEdge

public abstract class Edge
extends java.lang.Object
implements Edge<Statement,Edge,CFG>

An edge of a control flow graph, connecting two statements.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Edge(Statement source, Statement destination)	Builds the edge.

Method Summary

Modifier and Type	Method	Description
<V> boolean	accept(GraphVisitor<CFG,Statement,Edge,V> visitor, V tool)	Accepts the given GraphVisitor.
boolean	equals(java.lang.Object obj)
Statement	getDestination()	Yields the node where this edge ends.
Statement	getSource()	Yields the node where this edge originates.
int	hashCode()
abstract java.lang.String	toString()
abstract <A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>> AnalysisState<A,H,V>	traverse(AnalysisState<A,H,V> sourceState)	Traverses this edge, optionally modifying the given sourceState by applying semantic assumptions.

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unive.lisa.util.datastructures.graph.Edge

canBeSimplified, newInstance

Constructor Detail

Edge

protected Edge(Statement source,
               Statement destination)

Builds the edge.

Parameters:

source - the source statement

destination - the destination statement

Method Detail

getSource

public final Statement getSource()

Description copied from interface: Edge

Yields the node where this edge originates.

Specified by:

getSource in interface Edge<Statement,Edge,CFG>

Returns:

the source node

getDestination

public final Statement getDestination()

Description copied from interface: Edge

Yields the node where this edge ends.

Specified by:

getDestination in interface Edge<Statement,Edge,CFG>

Returns:

the destination node

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 abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

traverse

public abstract <A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>> AnalysisState<A,H,V> traverse(AnalysisState<A,H,V> sourceState)
                                                                                                                                                             throws SemanticException

Traverses this edge, optionally modifying the given sourceState by applying semantic assumptions.

Type Parameters:

A - the concrete AbstractState instance

H - the concrete HeapDomain instance

V - the concrete ValueDomain instance

Parameters:

sourceState - the AnalysisState computed at the source of this edge

Returns:

the AnalysisState after traversing this edge

Throws:

SemanticException - if something goes wrong during the computation

accept

public <V> boolean accept(GraphVisitor<CFG,Statement,Edge,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<Statement,Edge,CFG>

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