001/*
002 * Licensed to the author under one or more
003 * contributor license agreements. See the NOTICE file distributed with
004 * this work for additional information regarding copyright ownership.
005 * The ASF licenses this file to You under the Apache License, Version 2.0
006 * (the "License"); you may not use this file except in compliance with
007 * the License. You may obtain a copy of the License at
008 *
009 * http://www.apache.org/licenses/LICENSE-2.0
010 *
011 * Unless required by applicable law or agreed to in writing, software
012 * distributed under the License is distributed on an "AS IS" BASIS,
013 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
014 * See the License for the specific language governing permissions and
015 * limitations under the License.
016 */
017package de.cuioss.test.generator.internal.net.java.quickcheck.generator.support;
018
019import static de.cuioss.test.generator.internal.net.java.quickcheck.generator.support.ListGenerator.MAX_SIZE;
020import static de.cuioss.test.generator.internal.net.java.quickcheck.generator.support.ListGenerator.MIN_SIZE;
021
022import java.util.List;
023
024import de.cuioss.test.generator.internal.net.java.quickcheck.Generator;
025
026/**
027 * Generator for the default collection size.
028 */
029public class SizeGenerator implements Generator<Integer> {
030
031    private final Generator<Integer> sizes = new IntegerGenerator(MIN_SIZE, MAX_SIZE);
032
033    @Override
034    public Integer next() {
035        return sizes.next();
036    }
037
038    /**
039     * A minimum and maximum size value in the {@link ListGenerator#MIN_SIZE} and
040     * {@link ListGenerator#MAX_SIZE} range.
041     */
042    public static List<Integer> anyMinMax() {
043        FixedValuesGenerator<Integer> sized = new FixedValuesGenerator<>(2);
044        return new SortedListGenerator<>(new SizeGenerator(), sized).next();
045    }
046}