Package com.pholser.junit.quickcheck.random

Examples of com.pholser.junit.quickcheck.random.SourceOfRandomness

70
71
72
73
74
75
76
77
78
79
        String argument = "foobar";

        Random r = new Random();
        r.setSeed(Objects.hashCode(argument));
        Integer value = (Integer) repository.generatorFor(Integer.class).generate(new SourceOfRandomness(r), null);

        for (int i = 0; i < 10000; ++i)
            assertEquals(value, f.apply(argument));
    }
View Full Code Here
64
65
66
67
68
69
70
    }

    private static <T> T functionValue(Generator<T> generator, Object[] args) {
        Random r = new Random();
        r.setSeed(java.util.Arrays.hashCode(args));
        return generator.generate(new SourceOfRandomness(r), null);
    }
View Full Code Here
97
98
99
100
101
102
103
        @Override public Object invoke(Object proxy, Method method, Object[] args) {
            if (Object.class.equals(method.getDeclaringClass()))
                return handleObjectMethod(proxy, method, args);

            random.setSeed(Arrays.hashCode(args));
            return returnValueGenerator.generate(new SourceOfRandomness(random), status);
        }
View Full Code Here
40
41
42
43
44
45
46
47
48
    private final RandomTheoryParameterGenerator generator;

    /* Called by JUnit reflectively. */
    public RandomValueSupplier() {
        generator = new RandomTheoryParameterGenerator(
            new SourceOfRandomness(new SecureRandom()),
            new GeneratorRepository(new SourceOfRandomness(new SecureRandom()))
                .register(new ServiceLoaderGeneratorSource()));
    }
View Full Code Here
TOP

Related Classes of com.pholser.junit.quickcheck.random.SourceOfRandomness

  • com.pholser.junit.quickcheck.ForAllLambdaTheoryParameterTypesTest
  • com.pholser.junit.quickcheck.generator.Lambdas$LambdaInvocationHandler
  • com.pholser.junit.quickcheck.guava.generator.FunctionOfStringToIntTest
  • com.pholser.junit.quickcheck.internal.RandomValueSupplier
  • java.math.BigInteger
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.