com.pholser.junit.quickcheck.generator.java.nio.charset

Class CharsetGenerator

java.lang.Object

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

com.pholser.junit.quickcheck.generator.java.nio.charset.CharsetGenerator

All Implemented Interfaces:

Gen<Charset>, Shrink<Charset>

public class CharsetGenerator
extends Generator<Charset>

Produces values of type Charset.

Constructor Summary

Constructors

Constructor and Description
CharsetGenerator()

Method Summary

Modifier and Type	Method and Description
Charset	generate(SourceOfRandomness random, GenerationStatus status)

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, freq, frequency, map, oneOf, oneOf, pure, times

Constructor Detail

CharsetGenerator

public CharsetGenerator()

Method Detail

generate

public Charset generate(SourceOfRandomness random,
                        GenerationStatus status)