public class StateRefGenerator
| Constructor and Description |
|---|
StateRefGenerator() |
| Modifier and Type | Method and Description |
|---|---|
StateRef |
generate(com.pholser.junit.quickcheck.random.SourceOfRandomness random,
com.pholser.junit.quickcheck.generator.GenerationStatus status) |
public StateRef generate(com.pholser.junit.quickcheck.random.SourceOfRandomness random, com.pholser.junit.quickcheck.generator.GenerationStatus status)