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

Class FastExecutionIndexingState

java.lang.Object

edu.berkeley.cs.jqf.fuzz.ei.state.AbstractExecutionIndexingState

edu.berkeley.cs.jqf.fuzz.ei.state.FastExecutionIndexingState

All Implemented Interfaces:

FastCoverageListener

public class FastExecutionIndexingState
extends AbstractExecutionIndexingState
implements FastCoverageListener

Nested Class Summary

Nested classes/interfaces inherited from interface janala.instrument.FastCoverageListener

FastCoverageListener.Default

Constructor Summary

Constructors

Constructor	Description
FastExecutionIndexingState()

Method Summary

Modifier and Type	Method	Description
void	logJump(int iid, int branch)
void	logLookUpSwitch(int value, int iid, int dflt, int[] cases)
void	logMethodBegin(int iid)
void	logMethodEnd(int iid)
void	logTableSwitch(int value, int iid, int min, int max, int dflt)

Methods inherited from class edu.berkeley.cs.jqf.fuzz.ei.state.AbstractExecutionIndexingState

getExecutionIndex, getExecutionIndex, getLastEventIid, popReturn, pushCall, setLastEventIid

Methods inherited from class java.lang.Object

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

Constructor Detail

FastExecutionIndexingState

public FastExecutionIndexingState()

Method Detail

logMethodBegin

public void logMethodBegin(int iid)

Specified by:

logMethodBegin in interface FastCoverageListener

logMethodEnd

public void logMethodEnd(int iid)

Specified by:

logMethodEnd in interface FastCoverageListener

logJump

public void logJump(int iid,
                    int branch)

Specified by:

logJump in interface FastCoverageListener

logLookUpSwitch

public void logLookUpSwitch(int value,
                            int iid,
                            int dflt,
                            int[] cases)

Specified by:

logLookUpSwitch in interface FastCoverageListener

logTableSwitch

public void logTableSwitch(int value,
                           int iid,
                           int min,
                           int max,
                           int dflt)

Specified by:

logTableSwitch in interface FastCoverageListener