smallcheck.generators.CharGen Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of java-smallcheck Show documentation

An implementation of SmallCheck for Java as a JUnit extension.

The newest version!

package smallcheck.generators;

import com.google.common.collect.Streams;

import java.util.Iterator;
import java.util.stream.Stream;

/**
 * Generates integers.
 * First 0,1,2,3,...,depth
 * Then -1,-2,...,-depth
 */
public class CharGen extends SeriesGen {
    @Override
    public Stream generate(int depth) {
        return Streams.stream(new Iterator() {
            int i = -1;

            @Override
            public boolean hasNext() {
                return i < depth;
            }

            @Override
            public Character next() {
                i++;
                // we start at 'a' because it leads to more readable counter examples
                return (char) ('a' + i);

            }
        });
    }
}