1 cananian 1.1.2.3 // CheckRemoval.java, created Mon Jan 22 18:40:16 2001 by wbeebee
 2 cananian 1.1.2.3 // Copyright (C) 2001 Wes Beebee <wbeebee@mit.edu>
 3 cananian 1.1.2.3 // Licensed under the terms of the GNU GPL; see COPYING for details.
 4 wbeebee  1.1.2.1 package harpoon.Analysis.Realtime;
 5 wbeebee  1.1.2.1 
 6 wbeebee  1.1.2.1 import harpoon.IR.Quads.Quad;
 7 wbeebee  1.1.2.1 
 8 wbeebee  1.1.2.1 /**
 9 wbeebee  1.1.2.1  * <code>CheckRemoval</code> is an interface that all classes that analyze
10 wbeebee  1.1.2.2  * RTJ <code>harpoon.IR.Quads.SET</code> or 
11 wbeebee  1.1.2.2  * <code>harpoon.IR.Quads.ASET</code>'s for possible removal of checks should 
12 wbeebee  1.1.2.2  * implement.
13 wbeebee  1.1.2.1  *
14 cananian 1.1.2.3  * @author Wes Beebee <wbeebee@mit.edu>
15 cananian 1.2      * @version $Id: CheckRemoval.java,v 1.2 2002/02/25 20:59:46 cananian Exp $
16 wbeebee  1.1.2.1  */
17 wbeebee  1.1.2.1 
18 wbeebee  1.1.2.1 public interface CheckRemoval {
19 wbeebee  1.1.2.2 
20 wbeebee  1.1.2.2     /** Returns true iff it is always safe to assign a.b = f; or a[b] = f; */
21 wbeebee  1.1.2.2 
22 wbeebee  1.1.2.1     public boolean shouldRemoveCheck(Quad inst);
23 cananian 1.2     }