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 }