Package soot.JastAddJ

Interface FinallyHost

    • Method Detail

      • isDUafterFinally

        boolean isDUafterFinally​(Variable v)
      • isDAafterFinally

        boolean isDAafterFinally​(Variable v)
      • emitFinallyCode

        void emitFinallyCode​(Body b)
      • label_finally_block

        Stmt label_finally_block()