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

Class AbstractExecutionIndexingState

java.lang.Object

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

Direct Known Subclasses:

FastExecutionIndexingState, JanalaExecutionIndexingState

public abstract class AbstractExecutionIndexingState
extends Object

A mutable state representing the current call stack with prefix counts, used to compute light-weight execution indexes.

Author:

Rohan Padhye

See Also:

• ExecutionIndex

Constructor Summary

Constructors

Constructor	Description
AbstractExecutionIndexingState()
AbstractExecutionIndexingState(AbstractExecutionIndexingState eis)

Method Summary

Modifier and Type	Method	Description
ExecutionIndex	getExecutionIndex()
ExecutionIndex	getExecutionIndex(int iid)
int	getLastEventIid()
void	popReturn(int iid)
void	pushCall(int iid)
protected void	setLastEventIid(int iid)

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractExecutionIndexingState

public AbstractExecutionIndexingState()

AbstractExecutionIndexingState

public AbstractExecutionIndexingState(AbstractExecutionIndexingState eis)

Method Details

setLastEventIid

protected void setLastEventIid(int iid)

getLastEventIid

public int getLastEventIid()

pushCall

public void pushCall(int iid)

popReturn

public void popReturn(int iid)

getExecutionIndex

public ExecutionIndex getExecutionIndex(int iid)

getExecutionIndex

public ExecutionIndex getExecutionIndex()