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

Class ExecutionIndexingGuidance.MappedSeedInput

java.lang.Object

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

edu.berkeley.cs.jqf.fuzz.ei.ExecutionIndexingGuidance.MappedInput

edu.berkeley.cs.jqf.fuzz.ei.ExecutionIndexingGuidance.MappedSeedInput

All Implemented Interfaces:

Iterable<Integer>

Enclosing class:

ExecutionIndexingGuidance

public class ExecutionIndexingGuidance.MappedSeedInput
extends ExecutionIndexingGuidance.MappedInput

Field Summary

Fields inherited from class edu.berkeley.cs.jqf.fuzz.ei.ExecutionIndexingGuidance.MappedInput

executed, orderedKeys, valuesMap

Constructor Summary

Constructors

Constructor	Description
MappedSeedInput(File seedFile)

Method Summary

Modifier and Type	Method	Description
void	gc()	Trims the input map of all keys that were never actually requested since its construction.
int	getOrGenerateFresh(ExecutionIndex key, Random random)	Retrieve a value for an execution index if mapped, else generate a fresh value.

Methods inherited from class edu.berkeley.cs.jqf.fuzz.ei.ExecutionIndexingGuidance.MappedInput

fuzz, fuzz, getValueAtKey, iterator, setValueAtKey, 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

MappedSeedInput

public MappedSeedInput(File seedFile)
                throws IOException

Throws:

IOException

Method Details

getOrGenerateFresh

public int getOrGenerateFresh(ExecutionIndex key,
 Random random)

Description copied from class: ExecutionIndexingGuidance.MappedInput

Retrieve a value for an execution index if mapped, else generate a fresh value.

Overrides:

getOrGenerateFresh in class ExecutionIndexingGuidance.MappedInput

Parameters:

key - the execution index of the trace event requesting a new byte

random - the PRNG

Returns:

the value to return to the quickcheck-like generator

gc

public void gc()

Description copied from class: ExecutionIndexingGuidance.MappedInput

Trims the input map of all keys that were never actually requested since its construction.

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 ExecutionIndexingGuidance.MappedInput