1 package Analysis.OwnershipAnalysis;
9 public class ChangeTupleSet {
11 public HashSet<ChangeTuple> changeTuples;
13 public ChangeTupleSet() {
14 changeTuples = new HashSet<ChangeTuple>();
17 public ChangeTupleSet( ChangeTuple ct ) {
19 changeTuples.add( ct );
22 public ChangeTupleSet( ChangeTupleSet cts ) {
23 changeTuples = (HashSet<ChangeTuple>) cts.changeTuples.clone(); //COPY?!
26 public Iterator iterator() {
27 return changeTuples.iterator();
30 public ChangeTupleSet union( ChangeTupleSet ctsIn ) {
31 ChangeTupleSet ctsOut = new ChangeTupleSet( this );
32 ctsOut.changeTuples.addAll( ctsIn.changeTuples );
36 public boolean isSubset( ChangeTupleSet ctsIn ) {
37 return ctsIn.changeTuples.containsAll( this.changeTuples );
40 public String toString() {
41 return changeTuples.toString();