All Downloads are FREE. Search and download functionalities are using the official Maven repository.

net.digitalid.utility.functional.iterators.ReadOnlyIterableIterator Maven / Gradle / Ivy

The newest version!
package net.digitalid.utility.functional.iterators;

import java.util.Iterator;
import java.util.Objects;

import javax.annotation.Nonnull;

import net.digitalid.utility.annotations.generics.Specifiable;
import net.digitalid.utility.annotations.method.Impure;
import net.digitalid.utility.annotations.method.Pure;
import net.digitalid.utility.annotations.ownership.Capturable;
import net.digitalid.utility.annotations.ownership.Captured;
import net.digitalid.utility.validation.annotations.type.Mutable;

/**
 * This class implements a read-only iterable iterator.
 */
@Mutable
public class ReadOnlyIterableIterator<@Specifiable ELEMENT> extends ReadOnlyIterator {
    
    /* -------------------------------------------------- Iterator -------------------------------------------------- */
    
    protected final @Nonnull Iterator iterator;
    
    /* -------------------------------------------------- Constructors -------------------------------------------------- */
    
    protected ReadOnlyIterableIterator(@Captured @Nonnull Iterator iterator) {
        this.iterator = Objects.requireNonNull(iterator);
    }
    
    /**
     * Returns a read-only iterable iterator that captures the given iterator.
     */
    @Pure
    public static @Capturable <@Specifiable ELEMENT> @Nonnull ReadOnlyIterableIterator with(@Captured @Nonnull Iterator iterator) {
        return new ReadOnlyIterableIterator<>(iterator);
    }
    
    /* -------------------------------------------------- Delegated Operations -------------------------------------------------- */
    
    @Pure
    @Override
    public boolean hasNext() {
        return iterator.hasNext();
    }
    
    @Impure
    @Override
    public ELEMENT next() {
        return iterator.next();
    }
    
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy