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 Object
  • Constructor Details

    • Unwind

      protected Unwind()
  • Method Details

    • 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)