harpoon.Analysis.Realtime
Class SimpleCheckRemoval

java.lang.Object
  harpoon.Analysis.Realtime.SimpleCheckRemoval

All Implemented Interfaces:

CheckRemoval, NoHeapCheckRemoval

public class SimpleCheckRemoval
extends Object
implements CheckRemoval, NoHeapCheckRemoval

SimpleCheckRemoval is the simplest implementation of the interface CheckRemoval: it just keeps all the checks!

Version:

$Id: SimpleCheckRemoval.java,v 1.2 2002/02/25 20:59:47 cananian Exp $

Author:

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

Constructor Summary

SimpleCheckRemoval()
Creates a SimpleCheckRemoval.

Method Summary

boolean	shouldRemoveCheck(Quad inst) Very conservative treatment.
boolean	shouldRemoveNoHeapReadCheck(Quad inst) Very conservative treatment.
boolean	shouldRemoveNoHeapWriteCheck(Quad inst) Very conservative treatment.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleCheckRemoval

public SimpleCheckRemoval()

Creates a SimpleCheckRemoval.

Method Detail

shouldRemoveCheck

public boolean shouldRemoveCheck(Quad inst)

Very conservative treatment.

Specified by:

shouldRemoveCheck in interface CheckRemoval

shouldRemoveNoHeapWriteCheck

public boolean shouldRemoveNoHeapWriteCheck(Quad inst)

Very conservative treatment.

Specified by:

shouldRemoveNoHeapWriteCheck in interface NoHeapCheckRemoval

shouldRemoveNoHeapReadCheck

public boolean shouldRemoveNoHeapReadCheck(Quad inst)

Very conservative treatment.

Specified by:

shouldRemoveNoHeapReadCheck in interface NoHeapCheckRemoval