Package edu.berkeley.cs.jqf.fuzz.util

Class CoverageFactory

java.lang.Object

edu.berkeley.cs.jqf.fuzz.util.CoverageFactory

public class CoverageFactory
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static String	propFile

Constructor Summary

Constructors

Constructor	Description
CoverageFactory()

Method Summary

Modifier and Type	Method	Description
static AbstractExecutionIndexingState	newEIState()
static ICoverage	newInstance()

Methods inherited from class java.lang.Object

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

Field Detail

propFile

public static final String propFile

Constructor Detail

CoverageFactory

public CoverageFactory()

Method Detail

newInstance

public static ICoverage newInstance()

newEIState

public static AbstractExecutionIndexingState newEIState()