Ejemplos de FinallyHost.isDUafterFinally en Java

Ejemplo n.º 1

Archivo: ReturnStmt.java Proyecto: h-inoue/JCop

 private boolean isDUafterReachedFinallyBlocks_compute(Variable v) {
   if (!isDUbefore(v) && finallyList().isEmpty()) return false;
   for (Iterator iter = finallyList().iterator(); iter.hasNext(); ) {
     FinallyHost f = (FinallyHost) iter.next();
     if (!f.isDUafterFinally(v)) return false;
   }
   return true;
 }