ZoneIdGenerator

java.lang.Object

com.pholser.junit.quickcheck.generator.Generator<ZoneId>

com.pholser.junit.quickcheck.generator.java.time.ZoneIdGenerator

All Implemented Interfaces:: Gen<ZoneId>, Shrink<ZoneId>

public class ZoneIdGenerator extends Generator<ZoneId>

Produces values of type ZoneId.

Constructor Summary

Constructors

Constructor

Description

ZoneIdGenerator()
Method Summary

Modifier and Type

Method

Description

ZoneId

generate(SourceOfRandomness random, GenerationStatus status)

Generates a value, possibly influenced by a source of randomness and metadata about the generation.

Methods inherited from class com.pholser.junit.quickcheck.generator.Generator
addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, canShrink, compatibleWithTypeParameter, configurationAnnotationsOn, configure, configure, copy, doShrink, gen, gen, hasComponents, magnitude, narrow, numberOfNeededComponents, provide, shrink, types

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.pholser.junit.quickcheck.generator.Gen
_gen, filter, filterOptional, flatMap, map, times

Constructor Details
- ZoneIdGenerator
  
  public ZoneIdGenerator()
Method Details
- generate
  
  public ZoneId generate(SourceOfRandomness random, GenerationStatus status)
  
  Description copied from interface: Gen
  
  Generates a value, possibly influenced by a source of randomness and metadata about the generation.
  
  Parameters:
  
  random - source of randomness to be used when generating the value
  
  status - an object that can be used to influence the generated value. For example, generating lists can use the size method to generate lists with a given number of elements.
  
  Returns:
  
  the generated value