View Javadoc

1   /*
2    * Created on Dec 4, 2003
3    *
4    * To change the template for this generated file go to
5    * Window>Preferences>Java>Code Generation>Code and Comments
6    */
7   package joeq.Compiler.Analysis.IPSSA.Utils;
8   
9   import java.util.HashSet;
10  import joeq.Compiler.Analysis.IPSSA.SSAIterator;
11  
12  /***
13   * @author V.Benjamin Livshits
14   * @version $Id: DefinitionSet.java 2250 2005-04-29 07:41:11Z joewhaley $
15   * 
16   * Strongly typed definition set.
17   */
18  public class DefinitionSet extends HashSet {
19      /***
20       * Version ID for serialization.
21       */
22      private static final long serialVersionUID = 3258130267196831288L;
23      
24      public DefinitionSet(){
25          super();
26      }
27      public SSAIterator.DefinitionIterator getDefinitionIterator(){
28          return new SSAIterator.DefinitionIterator(iterator());
29      }
30  }