public void delete(Instruction inst){
  Iterator<GCIRMapElement> iter=list.iterator();
  while (iter.hasNext()) {
    GCIRMapElement ptr=iter.next();
    if (ptr.getInstruction() == inst) {
      iter.remove();
      return;
    }
  }
  throw new OptimizingCompilerException("GCIRMap.delete(" + inst + ") did not delete instruction from GC Map ");
}

public void delete ( Instruction inst ) { Iterator < GCIRMapElement > iter = list . iterator ( ) ; while ( iter . hasNext ( ) ) { GCIRMapElement ptr = iter . next ( ) ; if ( ptr . getInstruction ( ) == inst ) { iter . remove ( ) ; return ; } } throw new OptimizingCompilerException ( "GCIRMap.delete(" + inst + ") did not delete instruction from GC Map " ) ; }
this method removes an entry in the gcirmap that is specified by inst . only one element of the list will be removed per call . if the instruction is not found in the gc map and exeception is thrown .
