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;
40 id.equals( hio.id ) &&
41 ooc.equals( hio.ooc );
44 public int hashCode() {
45 int hash = id.intValue();
46 if( ooc.booleanValue() ) {
52 public String toString() {
53 String s = id.toString();