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

Class FalseEdge

java.lang.Object

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

it.unive.lisa.program.cfg.edge.FalseEdge

All Implemented Interfaces:

Edge<Statement,Edge,CFG>

public class FalseEdge
extends Edge

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

Constructor Summary

Constructors

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

FalseEdge

public FalseEdge(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 FalseEdge 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