harpoon.Analysis.Realtime
Class CheesyPACheckRemoval

java.lang.Object
  harpoon.Analysis.Realtime.CheesyPACheckRemoval

All Implemented Interfaces:

CheckRemoval

public class CheesyPACheckRemoval
extends Object
implements CheckRemoval

CheesyPACheckRemoval

Version:

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

Author:

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

Constructor Summary

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

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

CheesyPACheckRemoval

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

Creates a CheesyPACheckRemoval.

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