harpoon.Analysis.Realtime
Class PACheckRemoval

java.lang.Object
  harpoon.Analysis.Realtime.PACheckRemoval

All Implemented Interfaces:

CheckRemoval

public class PACheckRemoval
extends Object
implements CheckRemoval

PACheckRemoval is a pointer analysis based implementation of the CheckRemoval interface.

Version:

$Id: PACheckRemoval.java,v 1.8 2004/02/08 03:20:13 cananian Exp $

Author:

Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>

Constructor Summary

PACheckRemoval(Linker linker, ClassHierarchy ch, HCodeFactory hcf, Set mroots)
Creates a PACheckRemoval.

Method Summary

boolean

shouldRemoveCheck(Quad instr) Returns true iff it is always safe to assign a.b = f; or a[b] = f;

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PACheckRemoval

public PACheckRemoval(Linker linker,
                      ClassHierarchy ch,
                      HCodeFactory hcf,
                      Set mroots)

Creates a PACheckRemoval.

Method Detail

shouldRemoveCheck

public boolean shouldRemoveCheck(Quad instr)

Description copied from interface: CheckRemoval

Returns true iff it is always safe to assign a.b = f; or a[b] = f;

Specified by:

shouldRemoveCheck in interface CheckRemoval