com.ibm.wala.cast.ir.translator

Class AstTranslator.IncipientCFG.Unwind

java.lang.Object

com.ibm.wala.cast.ir.translator.AstTranslator.IncipientCFG.Unwind

Enclosing class:

AstTranslator.IncipientCFG

protected class AstTranslator.IncipientCFG.Unwind
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Unwind()

Method Summary

Modifier and Type	Method and Description
AstTranslator.PreBasicBlock	findOrCreateCode(AstTranslator.PreBasicBlock source, AstTranslator.PreBasicBlock target, boolean exception) When adding an edge from source to target, it is possible that certain exception-handling code needs to be executed before the control is actually transfered to target.

Methods inherited from class java.lang.Object

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

Constructor Detail

Unwind

protected Unwind()

Method Detail

findOrCreateCode

public AstTranslator.PreBasicBlock findOrCreateCode(AstTranslator.PreBasicBlock source,
                                                    AstTranslator.PreBasicBlock target,
                                                    boolean exception)

When adding an edge from source to target, it is possible that certain exception-handling code needs to be executed before the control is actually transfered to target. This method determines if this is the case, and if so, it generates the exception handler blocks and adds an appropriate edge to the target. It returns the basic block that should be the target of the edge from source (target itself if there is no exception-handling code, the initial catch block otherwise)