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

protected

AstTranslator.IncipientCFG.Unwind()

Method Summary

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

AstTranslator.IncipientCFG.Unwind

protected AstTranslator.IncipientCFG.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)