public int hashCode(){
  int hash=addrType.hashCode();
  for (int i=0; i < buf.length; i++) {
    hash+=buf[i];
  }
  return hash;
}

public int hashCode ( ) { int hash = addrType . hashCode ( ) ; for ( int i = 0 ; i < buf . length ; i ++ ) { hash += buf [ i ] ; } return hash ; }
computes the hash code of this address using its address type and contents . two binaryrefaddrs have the same hash code if they have the same address type and the same contents . it is also possible for different binaryrefaddrs to have the same hash code .
