/*
* Copyright (C) 2010 The Guava Authors
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.glassfish.jersey.internal.guava;
import java.io.Serializable;
A strategy for determining whether two instances are considered equivalent. Examples of equivalences are the identity equivalence and equals
equivalence. Author: Bob Lee, Ben Yu, Gregory Kick Since: 10.0 (mostly source-compatible since 4.0)
/**
* A strategy for determining whether two instances are considered equivalent. Examples of
* equivalences are the {@linkplain #identity() identity equivalence} and {@linkplain #equals equals
* equivalence}.
*
* @author Bob Lee
* @author Ben Yu
* @author Gregory Kick
* @since 10.0 (<a href="http://code.google.com/p/guava-libraries/wiki/Compatibility"
* >mostly source-compatible</a> since 4.0)
*/
public abstract class Equivalence<T> {
Returns an equivalence that delegates to Object.equals
and Object.hashCode
. equivalent
returns true
if both values are null, or if neither value is null and Object.equals
returns true
. hash
returns 0
if passed a null value. Since: 4.0 (in Equivalences)
/**
* Returns an equivalence that delegates to {@link Object#equals} and {@link Object#hashCode}.
* {@link Equivalence#equivalent} returns {@code true} if both values are null, or if neither
* value is null and {@link Object#equals} returns {@code true}. {@link Equivalence#hash} returns
* {@code 0} if passed a null value.
*
* @since 4.0 (in Equivalences)
*/
public static Equivalence<Object> equals() {
return Equals.INSTANCE;
}
Returns an equivalence that uses ==
to compare values and System.identityHashCode(Object)
to compute the hash code. equivalent
returns true
if a == b
, including in the case that a and b are both null. Since: 4.0 (in Equivalences)
/**
* Returns an equivalence that uses {@code ==} to compare values and {@link
* System#identityHashCode(Object)} to compute the hash code. {@link Equivalence#equivalent}
* returns {@code true} if {@code a == b}, including in the case that a and b are both null.
*
* @since 4.0 (in Equivalences)
*/
public static Equivalence<Object> identity() {
return Identity.INSTANCE;
}
Returns true
if the given objects are considered equivalent.
The equivalent
method implements an equivalence relation on object references:
- It is reflexive: for any reference
x
, including null,
equivalent(x, x)
returns true
. - It is symmetric: for any references
x
and y
,
equivalent(x, y) == equivalent(y, x)
. - It is transitive: for any references
x
, y
, and z
, if equivalent(x, y)
returns true
and equivalent(y, z)
returns
true
, then equivalent(x, z)
returns true
. - It is consistent: for any references
x
and y
, multiple invocations of equivalent(x, y)
consistently return true
or consistently return
false
(provided that neither x
nor y
is modified).
/**
* Returns {@code true} if the given objects are considered equivalent.
* <p>
* <p>The {@code equivalent} method implements an equivalence relation on object references:
* <p>
* <ul>
* <li>It is <i>reflexive</i>: for any reference {@code x}, including null, {@code
* equivalent(x, x)} returns {@code true}.
* <li>It is <i>symmetric</i>: for any references {@code x} and {@code y}, {@code
* equivalent(x, y) == equivalent(y, x)}.
* <li>It is <i>transitive</i>: for any references {@code x}, {@code y}, and {@code z}, if
* {@code equivalent(x, y)} returns {@code true} and {@code equivalent(y, z)} returns {@code
* true}, then {@code equivalent(x, z)} returns {@code true}.
* <li>It is <i>consistent</i>: for any references {@code x} and {@code y}, multiple invocations
* of {@code equivalent(x, y)} consistently return {@code true} or consistently return {@code
* false} (provided that neither {@code x} nor {@code y} is modified).
* </ul>
*/
public final boolean equivalent(T a, T b) {
if (a == b) {
return true;
}
if (a == null || b == null) {
return false;
}
return doEquivalent(a, b);
}
Returns true
if a
and b
are considered equivalent.
Called by equivalent
. a
and b
are not the same object and are not nulls.
Since: 10.0 (previously, subclasses would override equivalent())
/**
* Returns {@code true} if {@code a} and {@code b} are considered equivalent.
* <p>
* <p>Called by {@link #equivalent}. {@code a} and {@code b} are not the same
* object and are not nulls.
*
* @since 10.0 (previously, subclasses would override equivalent())
*/
protected abstract boolean doEquivalent(T a, T b);
Returns a hash code for t
.
The hash
has the following properties:
- It is consistent: for any reference
x
, multiple invocations of hash(x
} consistently return the same value provided x
remains unchanged according to the definition of the equivalence. The hash need not remain consistent from one execution of an application to another execution of the same application. - It is distributable across equivalence: for any references
x
and y
, if equivalent(x, y)
, then hash(x) == hash(y)
. It is not necessary
that the hash be distributable across inequivalence. If equivalence(x, y)
is false, hash(x) == hash(y)
may still be true. hash(null)
is 0
.
/**
* Returns a hash code for {@code t}.
* <p>
* <p>The {@code hash} has the following properties:
* <ul>
* <li>It is <i>consistent</i>: for any reference {@code x}, multiple invocations of
* {@code hash(x}} consistently return the same value provided {@code x} remains unchanged
* according to the definition of the equivalence. The hash need not remain consistent from
* one execution of an application to another execution of the same application.
* <li>It is <i>distributable across equivalence</i>: for any references {@code x} and {@code y},
* if {@code equivalent(x, y)}, then {@code hash(x) == hash(y)}. It is <i>not</i> necessary
* that the hash be distributable across <i>inequivalence</i>. If {@code equivalence(x, y)}
* is false, {@code hash(x) == hash(y)} may still be true.
* <li>{@code hash(null)} is {@code 0}.
* </ul>
*/
public final int hash(T t) {
if (t == null) {
return 0;
}
return doHash(t);
}
Since: 10.0 (previously, subclasses would override hash())
/**
* Returns a hash code for non-null object {@code t}.
* <p>
* <p>Called by {@link #hash}.
*
* @since 10.0 (previously, subclasses would override hash())
*/
protected abstract int doHash(T t);
static final class Equals extends Equivalence<Object> implements Serializable {
static final Equivalence.Equals INSTANCE = new Equivalence.Equals();
private static final long serialVersionUID = 1;
@Override
protected boolean doEquivalent(Object a, Object b) {
return a.equals(b);
}
@Override
protected int doHash(Object o) {
return o.hashCode();
}
private Object readResolve() {
return INSTANCE;
}
}
static final class Identity extends Equivalence<Object> implements Serializable {
static final Equivalence.Identity INSTANCE = new Equivalence.Identity();
private static final long serialVersionUID = 1;
@Override
protected boolean doEquivalent(Object a, Object b) {
return false;
}
@Override
protected int doHash(Object o) {
return System.identityHashCode(o);
}
private Object readResolve() {
return INSTANCE;
}
}
}