1 package Analysis.OwnershipAnalysis;
9 // a token touple is a pair that indicates a
10 // heap region node and an arity
11 public class TokenTuple
13 private Integer token;
14 private boolean isNewSummary;
16 // only summary tokens should have ARITY_MANY?
17 public static final int ARITY_ONE = 1;
18 public static final int ARITY_MANY = 2;
21 public TokenTuple( HeapRegionNode hrn ) {
23 isNewSummary = hrn.isNewSummary();
27 public TokenTuple( Integer token,
31 this.isNewSummary = isNewSummary;
35 public Integer getToken() { return token; }
36 public int getArity() { return arity; }
38 public void increaseArity() {
44 public boolean equals( TokenTuple tt ) {
45 return token.equals( tt.getToken() ) &&
46 arity == tt.getArity();
49 public TokenTuple copy() {
50 return new TokenTuple( token,