org.javimmutable.collections.hash.set.SetNode Maven / Gradle / Ivy

Go to download
///###////////////////////////////////////////////////////////////////////////
//
// Burton Computer Corporation
// http://www.burton-computer.com
//
// Copyright (c) 2019, Burton Computer Corporation
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//     Redistributions of source code must retain the above copyright
//     notice, this list of conditions and the following disclaimer.
//
//     Redistributions in binary form must reproduce the above copyright
//     notice, this list of conditions and the following disclaimer in
//     the documentation and/or other materials provided with the
//     distribution.
//
//     Neither the name of the Burton Computer Corporation nor the names
//     of its contributors may be used to endorse or promote products
//     derived from this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

package org.javimmutable.collections.hash.set;

import org.javimmutable.collections.Proc1;
import org.javimmutable.collections.Proc1Throws;
import org.javimmutable.collections.SplitableIterable;
import org.javimmutable.collections.SplitableIterator;
import org.javimmutable.collections.Sum1;
import org.javimmutable.collections.Sum1Throws;
import org.javimmutable.collections.common.CollisionSet;
import org.javimmutable.collections.iterators.GenericIterator;

import javax.annotation.Nonnull;
import javax.annotation.Nullable;

public interface SetNode
{
    boolean contains(@Nonnull CollisionSet collisionSet,
                     int hashCode,
                     @Nonnull T value);

    @Nonnull
    SetNode insert(@Nonnull CollisionSet collisionSet,
                      int hashCode,
                      @Nonnull T value);

    @Nonnull
    SetNode delete(@Nonnull CollisionSet collisionSet,
                      int hashCode,
                      @Nonnull T value);

    boolean isLeaf();

    @Nonnull
    SetNode liftNode(int index);

    boolean isEmpty(@Nonnull CollisionSet collisionSet);

    int size(@Nonnull CollisionSet collisionSet);

    default void checkInvariants(@Nonnull CollisionSet collisionSet)
    {
    }

    @Nullable
    GenericIterator.State iterateOverRange(@Nonnull CollisionSet collisionSet,
                                              @Nullable GenericIterator.State parent,
                                              int offset,
                                              int limit);

    @Nonnull
    default GenericIterator.Iterable genericIterable(@Nonnull CollisionSet collisionSet)
    {
        return new GenericIterator.Iterable()
        {
            @Nullable
            @Override
            public GenericIterator.State iterateOverRange(@Nullable GenericIterator.State parent,
                                                             int offset,
                                                             int limit)
            {
                return SetNode.this.iterateOverRange(collisionSet, parent, offset, limit);
            }

            @Override
            public int iterableSize()
            {
                return size(collisionSet);
            }
        };
    }

    @Nonnull
    default SplitableIterable iterable(@Nonnull CollisionSet collisionSet)
    {
        return () -> iterator(collisionSet);
    }

    @Nonnull
    default SplitableIterator iterator(@Nonnull CollisionSet collisionSet)
    {
        return new GenericIterator<>(genericIterable(collisionSet), 0, size(collisionSet));
    }

    void forEach(@Nonnull CollisionSet collisionSet,
                 @Nonnull Proc1 proc);

     void forEachThrows(@Nonnull CollisionSet collisionSet,
                                             @Nonnull Proc1Throws proc)
        throws E;

     R reduce(@Nonnull CollisionSet collisionSet,
                 R sum,
                 @Nonnull Sum1 proc);

     R reduceThrows(@Nonnull CollisionSet collisionSet,
                                            R sum,
                                            @Nonnull Sum1Throws proc)
        throws E;
}