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

Class SequentialEdge

java.lang.Object

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

it.unive.lisa.program.cfg.edge.SequentialEdge

All Implemented Interfaces:

Edge<Statement,Edge,CFG>

public class SequentialEdge
extends Edge

A sequential edge connecting two statement. The abstract analysis state does not get modified when traversing this edge.

Constructor Summary

Constructors

Constructor	Description
SequentialEdge(Statement source, Statement destination)	Builds the edge.

Method Summary

Modifier and Type	Method	Description
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).
SequentialEdge	newInstance(Statement source, Statement destination)	Builds a new instance of this edge, connecting the given nodes.
java.lang.String	toString()
<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 it.unive.lisa.program.cfg.edge.Edge

accept, equals, getDestination, getSource, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

SequentialEdge

public SequentialEdge(Statement source,
                      Statement destination)

Builds the edge.

Parameters:

source - the source statement

destination - the destination statement

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class Edge

traverse

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

Description copied from class: Edge

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

Specified by:

traverse in class Edge

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

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

Returns:

whether or not this edge can be simplified

newInstance

public SequentialEdge newInstance(Statement source,
                                  Statement destination)

Description copied from interface: Edge

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

Parameters:

source - the source node

destination - the destination node

Returns:

a new instance of this edge, connecting the given nodes