1 bdemsky  1.1.2.1 // InvariantsMap.java, created Tue Jun 29 14:13:27 1999 by bdemsky
 2 bdemsky  1.1.2.1 // Copyright (C) 1999 Brian Demsky <bdemsky@mit.edu>
 3 bdemsky  1.1.2.1 // Licensed under the terms of the GNU GPL; see COPYING for details.
 4 bdemsky  1.1.2.1 package harpoon.Analysis.Maps;
 5 bdemsky  1.1.2.1 
 6 bdemsky  1.1.2.1 import harpoon.Analysis.Loops.Loops;
 7 bdemsky  1.1.2.1 import harpoon.ClassFile.HCode;
 8 bdemsky  1.1.2.1 
 9 bdemsky  1.1.2.1 import java.util.Set;
10 bdemsky  1.1.2.1 
11 bdemsky  1.1.2.1 /**
12 bdemsky  1.1.2.1  * <code>InvariantsMap</code> is a mapping from <code>Loops</code> to a
13 bdemsky  1.1.2.1  * <code>Set</code> of invariants.
14 bdemsky  1.1.2.1  *
15 bdemsky  1.1.2.1  * @author  Brian Demsky <bdemsky@mit.edu>
16 cananian 1.2      * @version $Id: InvariantsMap.java,v 1.2 2002/02/25 20:58:10 cananian Exp $
17 bdemsky  1.1.2.1  */
18 bdemsky  1.1.2.1 public interface InvariantsMap {
19 bdemsky  1.1.2.1     /** Returns a <code>Set</code> of invariant loop elements. */
20 bdemsky  1.1.2.1     public Set invariantsMap(HCode hc, Loops lp);
21 cananian 1.2     }