1 cananian 1.1.2.2 // NoHeapCheckRemoval.java, created Wed Jan 31 16:35:49 2001 by wbeebee
2 cananian 1.1.2.2 // Copyright (C) 2001 Wes Beebee <wbeebee@mit.edu>
3 cananian 1.1.2.2 // 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>NoHeapCheckRemoval</code> is an interface that all classes that
10 wbeebee 1.1.2.1 * analyze <code>harpoon.IR.Quads.SET</code>, <code>harpoon.IR.Quads.ASET</code>
11 wbeebee 1.1.2.1 * <code>harpoon.IR.Quads.GET</code>, <code>harpoon.IR.Quads.AGET</code>
12 wbeebee 1.1.2.1 * for possible removal of checks for heap access in a NoHeapRealtimeThread
13 wbeebee 1.1.2.1 * should implement.
14 wbeebee 1.1.2.1 *
15 cananian 1.1.2.2 * @author Wes Beebee <wbeebee@mit.edu>
16 cananian 1.2 * @version $Id: NoHeapCheckRemoval.java,v 1.2 2002/02/25 20:59:46 cananian Exp $
17 wbeebee 1.1.2.1 */
18 wbeebee 1.1.2.1
19 wbeebee 1.1.2.1 public interface NoHeapCheckRemoval {
20 wbeebee 1.1.2.1
21 wbeebee 1.1.2.1 /** Returns true iff a.b or a[b] in a.b = f or a[b] = f cannot be a heap
22 wbeebee 1.1.2.1 * reference.
23 wbeebee 1.1.2.1 */
24 wbeebee 1.1.2.1
25 wbeebee 1.1.2.1 public boolean shouldRemoveNoHeapWriteCheck(Quad inst);
26 wbeebee 1.1.2.1
27 wbeebee 1.1.2.1 /** Returns true iff a.b or a[b] in f = a.b or f = a[b] cannot be a heap
28 wbeebee 1.1.2.1 * reference.
29 wbeebee 1.1.2.1 */
30 wbeebee 1.1.2.1
31 wbeebee 1.1.2.1 public boolean shouldRemoveNoHeapReadCheck(Quad inst);
32 cananian 1.2 }