1 package Analysis.Disjoint;
8 // a heap region node has an integer ID, but heap regions can
9 // also have reach tuples with the same ID but out-of-context
10 // so 17 and 17? mean something different in reachability states
11 public class HrnIdOoc {
13 protected Boolean ooc;
15 public HrnIdOoc(Integer id, Boolean ooc) {
20 public Integer getId() {
24 public Boolean getOoc() {
28 public boolean equals(Object o) {
33 if( !(o instanceof HrnIdOoc) ) {
37 HrnIdOoc hio = (HrnIdOoc) o;
44 public int hashCode() {
45 int hash = id.intValue();
46 if( ooc.booleanValue() ) {
52 public String toString() {
53 String s = id.toString();