gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst

Class FindStructuredBlockEndNode

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.FindStructuredBlockEndNode

public class FindStructuredBlockEndNode
extends java.lang.Object

Attempts to discover end node of a region, by walking successors of presumably a block that ends with a conditional instruction.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) com.ibm.wala.ssa.SSACFG	cfg
(package private) com.ibm.wala.ssa.ISSABasicBlock	maxLimit
(package private) com.ibm.wala.ssa.ISSABasicBlock	minConvergingNode
(package private) com.ibm.wala.ssa.ISSABasicBlock	minLimit
(package private) java.util.PriorityQueue<com.ibm.wala.ssa.ISSABasicBlock>	remaining
static StaticRegionException	staticRegionException

Constructor Summary

Constructors

Constructor and Description
FindStructuredBlockEndNode(com.ibm.wala.ssa.SSACFG cfg, com.ibm.wala.ssa.ISSABasicBlock initial, com.ibm.wala.ssa.ISSABasicBlock maxLimit)

Method Summary

Modifier and Type	Method and Description
(package private) void	checkRanges(com.ibm.wala.ssa.ISSABasicBlock parent, com.ibm.wala.ssa.ISSABasicBlock b)
(package private) void	findCommonSuccessor(com.ibm.wala.ssa.ISSABasicBlock b) This attempts to walk all successors of a block to try to find the end block node.
com.ibm.wala.ssa.ISSABasicBlock	findMinConvergingNode() Finds the end block of a region.
boolean	predIsReturn(com.ibm.wala.ssa.ISSABasicBlock terminus)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

remaining

java.util.PriorityQueue<com.ibm.wala.ssa.ISSABasicBlock> remaining

minConvergingNode

com.ibm.wala.ssa.ISSABasicBlock minConvergingNode

maxLimit

com.ibm.wala.ssa.ISSABasicBlock maxLimit

minLimit

com.ibm.wala.ssa.ISSABasicBlock minLimit

cfg

com.ibm.wala.ssa.SSACFG cfg

staticRegionException

public static StaticRegionException staticRegionException

Constructor Detail

FindStructuredBlockEndNode

public FindStructuredBlockEndNode(com.ibm.wala.ssa.SSACFG cfg,
                                  com.ibm.wala.ssa.ISSABasicBlock initial,
                                  com.ibm.wala.ssa.ISSABasicBlock maxLimit)

Method Detail

checkRanges

void checkRanges(com.ibm.wala.ssa.ISSABasicBlock parent,
                 com.ibm.wala.ssa.ISSABasicBlock b)
          throws StaticRegionException

Throws:

StaticRegionException

findCommonSuccessor

void findCommonSuccessor(com.ibm.wala.ssa.ISSABasicBlock b)
                  throws StaticRegionException

This attempts to walk all successors of a block to try to find the end block node.

Parameters:

b - The block which we need to find the common successor for all its successors.

Throws:

StaticRegionException - An exception that indicates that something has went wrong during computation.

findMinConvergingNode

public com.ibm.wala.ssa.ISSABasicBlock findMinConvergingNode()
                                                      throws StaticRegionException

Finds the end block of a region.

Returns:

End block of a region.

Throws:

StaticRegionException - An exception that indicates that something has went wrong during computation.

predIsReturn

public boolean predIsReturn(com.ibm.wala.ssa.ISSABasicBlock terminus)