Package edu.berkeley.cs.jqf.fuzz.ei

Class ZestGuidance.SeedInput

java.lang.Object

edu.berkeley.cs.jqf.fuzz.ei.ZestGuidance.Input<Integer>

edu.berkeley.cs.jqf.fuzz.ei.ZestGuidance.LinearInput

edu.berkeley.cs.jqf.fuzz.ei.ZestGuidance.SeedInput

All Implemented Interfaces:

Iterable<Integer>

Enclosing class:

ZestGuidance

public class ZestGuidance.SeedInput
extends ZestGuidance.LinearInput

Field Summary

Fields inherited from class edu.berkeley.cs.jqf.fuzz.ei.ZestGuidance.LinearInput

requested, values

Constructor Summary

Constructors

Constructor	Description
SeedInput(File seedFile)

Method Summary

Modifier and Type	Method	Description
void	gc()	Truncates the input list to remove values that were never actually requested.
int	getOrGenerateFresh(Integer key, Random random)

Methods inherited from class edu.berkeley.cs.jqf.fuzz.ei.ZestGuidance.LinearInput

fuzz, iterator, size

Methods inherited from class edu.berkeley.cs.jqf.fuzz.ei.ZestGuidance.Input

isFavored, sampleGeometric, setFavored

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

SeedInput

public SeedInput(File seedFile)
          throws IOException

Throws:

IOException

Method Details

getOrGenerateFresh

public int getOrGenerateFresh(Integer key,
 Random random)

Overrides:

getOrGenerateFresh in class ZestGuidance.LinearInput

gc

public void gc()

Description copied from class: ZestGuidance.LinearInput

Truncates the input list to remove values that were never actually requested.

Although this operation mutates the underlying object, the effect should not be externally visible (at least as long as the test executions are deterministic).

Overrides:

gc in class ZestGuidance.LinearInput