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

Class ExecutionIndex.Prefix

java.lang.Object

edu.berkeley.cs.jqf.fuzz.ei.ExecutionIndex.Prefix

Enclosing class:

ExecutionIndex

public static class ExecutionIndex.Prefix
extends Object

Constructor Summary

Constructors

Constructor	Description
Prefix(ExecutionIndex ei, int length)

Method Summary

Modifier and Type	Method	Description
ExecutionIndex	getEi()
int	size()

Methods inherited from class java.lang.Object

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

Constructor Details

Prefix

public Prefix(ExecutionIndex ei,
 int length)

Method Details

size

public int size()

getEi

public ExecutionIndex getEi()