/** * Initializes this class with the passed proxy. * * @param proxy The proxy for this instance. */ public ProxyIdentityFacetKey(Ice.ObjectPrx proxy) { _proxy = proxy; // // Cache the identity and facet, and compute the hash code. // _identity = proxy.ice_getIdentity(); _facet = proxy.ice_getFacet(); int h = _identity.hashCode(); h = 5 * h + _facet.hashCode(); _hashCode = h; }