Package edu.berkeley.cs.jqf.fuzz.junit.quickcheck

Class InputStreamGenerator

java.lang.Object

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

edu.berkeley.cs.jqf.fuzz.junit.quickcheck.InputStreamGenerator

All Implemented Interfaces:

Gen<InputStream>, Shrink<InputStream>

public class InputStreamGenerator
extends Generator<InputStream>

Lazy provider of bytes from an input stream. This is useful when you want the parameter sequence to be exactly equal to the raw input, such as when fuzzing with AFL. Use this only with AFL-like front-ends, which return bytes from a fixed-size file. This generator may not work properly with front-ends like Zest that generate fresh values at the end of a parameter sequence, since that would make the InputStream infinitely long.

Author:

Rohan Padhye

Constructor Summary

Constructors

Constructor	Description
InputStreamGenerator()

Method Summary

Modifier and Type	Method	Description
InputStream	generate(SourceOfRandomness sourceOfRandomness, GenerationStatus generationStatus)

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

InputStreamGenerator

public InputStreamGenerator()

Method Details

generate

public InputStream generate(SourceOfRandomness sourceOfRandomness,
 GenerationStatus generationStatus)