public class


extends Object
   ↳ com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator.CSimulationLogger

Class Overview

Log of a method simulation done by CMethodSimulator. Provides in particular the execution trace and the final state.

TODO: copy of the statements during construction


Public Constructors
CSimulationLogger(CMethodSimulator simulator)
Public Methods
List<Integer> getExecutionTrace()
CEnvironment getFinalEnvironment()
CMethodState getFinalState()
List<ICStatement> getStmtsFlatList()
void logExecutedIndex(int executedIndex)
void setFinalEnvironment(CEnvironment finalEnvironment)
void setFinalState(CMethodState state)
String toString()
Inherited Methods
From class java.lang.Object

Public Constructors

public CSimulationLogger (CMethodSimulator simulator)

Public Methods

public List<Integer> getExecutionTrace ()

public CEnvironment getFinalEnvironment ()

public CMethodState getFinalState ()

public List<ICStatement> getStmtsFlatList ()

public void logExecutedIndex (int executedIndex)

public void setFinalEnvironment (CEnvironment finalEnvironment)

public void setFinalState (CMethodState state)

public String toString ()