/** * The overriding of this method should ensure that the objects of this * class work correctly in a hashtable. * * @return The hash code of this object. * @preconditions * @postconditions */ @Override public int hashCode() { return application.hashCode() ^ objectID.hashCode() ^ value.hashCode(); }
/** * The overriding of this method should ensure that the objects of this * class work correctly in a hashtable. * * @return The hash code of this object. * @preconditions * @postconditions */ @Override public int hashCode() { return token.hashCode() ^ private_.hashCode() ^ modifiable.hashCode() ^ label.hashCode(); }