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 }