JanalaExecutionIndexingState (jqf 2.0 API)

java.lang.Object
- edu.berkeley.cs.jqf.fuzz.ei.state.AbstractExecutionIndexingState
- - edu.berkeley.cs.jqf.fuzz.ei.state.JanalaExecutionIndexingState

All Implemented Interfaces:

TraceEventVisitor
```
public class JanalaExecutionIndexingState
extends AbstractExecutionIndexingState
implements TraceEventVisitor
```
ExecutionIndexingState implementation for Janala instrumentation framework.

Author:

Rohan Padhye

See Also:

ExecutionIndex

Constructor Summary

Constructors
Constructor Description

JanalaExecutionIndexingState()

JanalaExecutionIndexingState(JanalaExecutionIndexingState eis)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`visitAllocEvent(AllocEvent e)`
`void`	`visitBranchEvent(BranchEvent e)`
`void`	`visitCallEvent(CallEvent c)`
`void`	`visitReadEvent(ReadEvent e)`
`void`	`visitReturnEvent(ReturnEvent r)`

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
  - JanalaExecutionIndexingState
```
public JanalaExecutionIndexingState()
```
  - JanalaExecutionIndexingState
```
public JanalaExecutionIndexingState(JanalaExecutionIndexingState eis)
```
- Method Detail
  - visitCallEvent
```
public void visitCallEvent(CallEvent c)
```
    Specified by:
    
    visitCallEvent in interface TraceEventVisitor
  - visitReturnEvent
```
public void visitReturnEvent(ReturnEvent r)
```
    Specified by:
    
    visitReturnEvent in interface TraceEventVisitor
  - visitAllocEvent
```
public void visitAllocEvent(AllocEvent e)
```
    Specified by:
    
    visitAllocEvent in interface TraceEventVisitor
  - visitBranchEvent
```
public void visitBranchEvent(BranchEvent e)
```
    Specified by:
    
    visitBranchEvent in interface TraceEventVisitor
  - visitReadEvent
```
public void visitReadEvent(ReadEvent e)
```
    Specified by:
    
    visitReadEvent in interface TraceEventVisitor