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

Class TrueEdge

java.lang.Object

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

it.unive.lisa.program.cfg.edge.TrueEdge

All Implemented Interfaces:

Edge<Statement,Edge,CFG>

public class TrueEdge
extends Edge

An edge connecting two statements, that is traversed when the condition expressed in the source state holds. The abstract analysis state gets modified by assuming that the statement where this edge originates does hold.

Constructor Summary

Constructors

Constructor	Description
TrueEdge(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).
TrueEdge	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

TrueEdge

public TrueEdge(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)
                                                                                                                                                    throws SemanticException

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

Throws:

SemanticException - if something goes wrong during the computation

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 TrueEdge 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