Exemplos de HeapInsIntervalManager.remove_useless_intervals em Java

Exemplo n.º 1

Arquivo: HeapInsNode.java Projeto: naiyeleo/sootsrc-2.5.0plus

 /** Discard all context sensitive tuples which are covered by insensitive ones */
 @Override
 public void drop_duplicates() {
   for (Iterator<AllocNode> it = pt_objs.keySet().iterator(); it.hasNext(); ) {
     HeapInsIntervalManager im = pt_objs.get(it.next());
     im.remove_useless_intervals();
   }
 }