00001 package edu.ksu.cis.bandera.bofa; 00002 00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 00004 * Bandera, a Java(TM) analysis and transformation toolkit * 00005 * Copyright (C) 1998, 1999 Shawn Laubach (laubach@acm.org) * 00006 * All rights reserved. * 00007 * * 00008 * This work was done as a project in the SAnToS Laboratory, * 00009 * Department of Computing and Information Sciences, Kansas State * 00010 * University, USA (http://www.cis.ksu.edu/santos). * 00011 * It is understood that any modification not identified as such is * 00012 * not covered by the preceding statement. * 00013 * * 00014 * This work is free software; you can redistribute it and/or * 00015 * modify it under the terms of the GNU Library General Public * 00016 * License as published by the Free Software Foundation; either * 00017 * version 2 of the License, or (at your option) any later version. * 00018 * * 00019 * This work is distributed in the hope that it will be useful, * 00020 * but WITHOUT ANY WARRANTY; without even the implied warranty of * 00021 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * 00022 * Library General Public License for more details. * 00023 * * 00024 * You should have received a copy of the GNU Library General Public * 00025 * License along with this toolkit; if not, write to the * 00026 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, * 00027 * Boston, MA 02111-1307, USA. * 00028 * * 00029 * Java is a trademark of Sun Microsystems, Inc. * 00030 * * 00031 * To submit a bug report, send a comment, or get the latest news on * 00032 * this project and other SAnToS projects, please visit the web-site * 00033 * http://www.cis.ksu.edu/santos * 00034 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 00035 00036 import ca.mcgill.sable.util.*; 00037 00038 /* 00039 * FASet.java 00040 * $Id: FASet.java,v 1.1.1.1 2002/01/24 03:42:07 pserver Exp $ 00041 */ 00042 00043 /** 00044 * Implements a set capable of calculating the difference between two sets. 00045 * 00046 * @author <A HREF="http://www.cis.ksu.edu/~hatcliff">John Hatcliff</A> 00047 * @author 00048 * <a href="http://www.cis.ksu.edu/~rvprasad">Venkatesh Prasad Ranganath</a> 00049 * 00050 * @version $Name: $($Revision: 1.1.1.1 $) 00051 */ 00052 public class FASet extends HashSet 00053 { 00054 /** 00055 * Creates a new <code>FASet</code> instance. 00056 * 00057 */ 00058 public FASet() 00059 { 00060 super(); 00061 } 00062 /** 00063 * Create a set which contains the given elements. 00064 * 00065 * @param elements to be added into the set. 00066 */ 00067 public FASet(Object[] elements) 00068 { 00069 super(elements); 00070 } 00071 /** 00072 * Creates a new <code>FASet</code> instance. 00073 * 00074 * @param cap the initial capacity of the set. 00075 */ 00076 public FASet(int cap) 00077 { 00078 super(cap); 00079 } 00080 /** 00081 * Creates a new <code>FASet</code> instance. 00082 * 00083 * @param cap the initial capacity of the set. 00084 * @param load the expected load while using this instance of object. 00085 */ 00086 public FASet(int cap, float load) 00087 { 00088 super(cap,load); 00089 } 00090 /** 00091 * Create a set which contains the given elements. 00092 * 00093 * @param element to be added into the set. 00094 */ 00095 public FASet(Object element) 00096 { 00097 super(); 00098 this.add(element); 00099 } 00100 /** 00101 * Builds a new FASet containing the difference between this set 00102 * and the supplied set s. 00103 * 00104 * @param s the set to be substracted from this set 00105 * @return the difference set 00106 */ 00107 public FASet buildDiffSet(Set s) 00108 { 00109 FASet diff = new FASet(); 00110 00111 for(Iterator i = this.iterator(); i.hasNext();) { 00112 Object e = i.next(); 00113 00114 if(!s.contains(e)) { 00115 diff.add(e); 00116 } 00117 } 00118 return diff; 00119 } 00120 }