|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.java.quickcheck.generator.Generators
public class Generators
Method Summary | ||
---|---|---|
static
|
cast(Generator<? extends T> generator)
Cast a generator to a super type generator. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static <T> Generator<T> cast(Generator<? extends T> generator)
This method can be used to cast a generator of type Generator to a generator of type Generator given that A extends B. This operator is valid as all Generator instances are covariant (are pure producers).
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |