/*

 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.  Oracle designates this

 * particular file as subject to the "Classpath" exception as provided

 * by Oracle in the LICENSE file that accompanied this code.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 */

package java.util.function;

import java.util.Objects;

/**

 * Determines if the input objects match some criteria. This is the two-arity

 * specialization of {@link Predicate}.

 *

 * @param <T> the type of the first argument to {@code test}.

 * @param <U> the type of the second argument to {@code test}.

 *

 * @see Predicate

 * @since 1.8

 */

@FunctionalInterface

public interface BiPredicate<T, U> {

    /**

     * Return {@code true} if the inputs match some criteria.

     *

     * @param t an input object.

     * @param u an input object.

     * @return {@code true} if the inputs match some criteria.

     */

    boolean test(T t, U u);

    /**

     * Returns a predicate which evaluates to {@code true} only if this

     * predicate and the provided predicate both evaluate to {@code true}. If

     * this predicate returns {@code false} then the remaining predicate is not

     * evaluated.

     *

     * @param p a predicate which will be logically-ANDed with this predicate.

     * @return a new predicate which returns {@code true} only if both

     * predicates return {@code true}.

     */

    public default BiPredicate<T, U> and(BiPredicate<? super T, ? super U> p) {

        Objects.requireNonNull(p);

        return (T t, U u) -> test(t, u) && p.test(t, u);

    }

    /**

     * Returns a predicate which negates the result of this predicate.

     *

     * @return a new predicate who's result is always the opposite of this

     * predicate.

     */

    public default BiPredicate<T, U> negate() {

        return (T t, U u) -> !test(t, u);

    }

    /**

     * Returns a predicate which evaluates to {@code true} if either this

     * predicate or the provided predicate evaluates to {@code true}. If this

     * predicate returns {@code true} then the remaining predicate is not

     * evaluated.

     *

     * @param p a predicate which will be logically-ORed with this predicate.

     * @return a new predicate which returns {@code true} if either predicate

     * returns {@code true}.

     */

    public default BiPredicate<T, U> or(BiPredicate<? super T, ? super U> p) {

        Objects.requireNonNull(p);

        return (T t, U u) -> test(t, u) || p.test(t, u);

    }

    /**

     * Returns a predicate that evaluates to {@code true} if both or neither of

     * the component predicates evaluate to {@code true}.

     *

     * @param p a predicate which will be logically-XORed with this predicate.

     * @return a predicate that evaluates to {@code true} if both or neither of

     * the component predicates evaluate to {@code true}.

     */

    public default BiPredicate<T, U> xor(BiPredicate<? super T, ? super U> p) {

        Objects.requireNonNull(p);

        return (T t, U u) -> test(t, u) ^ p.test(t, u);

    }

}