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:

CodeEdge<CFG,Statement,Edge>, Edge<CFG,Statement,Edge>, java.lang.Comparable<Edge>

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	isUnconditional()	Yields true if and only if this edge represent unconditional execution flow between its bounds.
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>> AnalysisState<A>	traverseBackwards(AnalysisState<A> state)	Traverses this edge in the backward direction, from destination to source, optionally modifying the given sourceState by applying semantic assumptions.
<A extends AbstractState<A>> AnalysisState<A>	traverseForward(AnalysisState<A> state)	Traverses this edge in the forward direction, proceeding from source to destination, optionally modifying the given sourceState by applying semantic assumptions.

Methods inherited from class it.unive.lisa.program.cfg.edge.Edge

accept, compareTo, 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

traverseForward

public <A extends AbstractState<A>> AnalysisState<A> traverseForward(AnalysisState<A> state)
                                                              throws SemanticException

Description copied from class: Edge

Traverses this edge in the forward direction, proceeding from source to destination, optionally modifying the given sourceState by applying semantic assumptions.

Specified by:

traverseForward in class Edge

Type Parameters:

A - the concrete AbstractState instance

Parameters:

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

traverseBackwards

public <A extends AbstractState<A>> AnalysisState<A> traverseBackwards(AnalysisState<A> state)
                                                                throws SemanticException

Description copied from class: Edge

Traverses this edge in the backward direction, from destination to source, optionally modifying the given sourceState by applying semantic assumptions.

Specified by:

traverseBackwards in class Edge

Type Parameters:

A - the concrete AbstractState instance

Parameters:

state - the AnalysisState computed at the destination of this edge

Returns:

the AnalysisState after traversing this edge

Throws:

SemanticException - if something goes wrong during the computation

isUnconditional

public boolean isUnconditional()

Description copied from interface: CodeEdge

Yields true if and only if this edge represent unconditional execution flow between its bounds. This means that (i) it could be simplified if one of the nodes connected to it is simplified (i.e., removed from the graph), and (ii) the graph containing it can avoid storing the edge if its bounds are subsequent.

Returns:

whether or not this edge can be simplified

newInstance

public FalseEdge newInstance(Statement source,
                             Statement destination)

Description copied from interface: CodeEdge

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