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 ChangeTupleSet union( ChangeTupleSet ctsIn ) {
27 ChangeTupleSet ctsOut = new ChangeTupleSet( this );
28 ctsOut.changeTuples.addAll( ctsIn.changeTuples );
32 public boolean isSubset( ChangeTupleSet ctsIn ) {
33 return ctsIn.changeTuples.containsAll( this.changeTuples );
36 public String toString() {
37 return changeTuples.toString();