public Catcher[] catchers(){
  ArrayList catchers=new ArrayList();
  BasicBlock.Catch c=toCatch;
  while (c != null) {
    catchers.add(new Catcher(c));
    c=c.next;
  }
  return (Catcher[])catchers.toArray(new Catcher[catchers.size()]);
}

public Catcher [ ] catchers ( ) { ArrayList catchers = new ArrayList ( ) ; BasicBlock . Catch c = toCatch ; while ( c != null ) { catchers . add ( new Catcher ( c ) ) ; c = c . next ; } return ( Catcher [ ] ) catchers . toArray ( new Catcher [ catchers . size ( ) ] ) ; }
returns catch clauses that will catch an exception thrown in this block .
