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
All Methods Instance Methods Concrete Methods 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)
-
-
-
Constructor Detail
-
AbstractExecutionIndexingState
public AbstractExecutionIndexingState()
-
AbstractExecutionIndexingState
public AbstractExecutionIndexingState(AbstractExecutionIndexingState eis)
-
-
Method Detail
-
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()
-
-