Package org.mpi_sws.jmc.strategies.trust

Class ExecutionGraphSimulator

java.lang.Object
org.mpi_sws.jmc.strategies.trust.ExecutionGraphSimulator
public class ExecutionGraphSimulator extends Object

  • Constructor Details

    • ExecutionGraphSimulator

      public ExecutionGraphSimulator()

  • Method Details

    • getExecutionGraph

      public ExecutionGraph getExecutionGraph()

    • getCoverageGraph

      public CoverageGraph getCoverageGraph()

    • updateEvent

      public void updateEvent(JmcRuntimeEvent event)

    • reset

      public void reset()

    • handleBot

      public void handleBot(Event event)

    • handleRead

      public void handleRead(Event event)

    • handleWrite

      public void handleWrite(Event event)

    • handleReadEx

      public void handleReadEx(Event event)

    • handleWriteEx

      public void handleWriteEx(Event event)

    • handleLockAwait

      public void handleLockAwait(Event event)

    • handleNoop

      public void handleNoop(Event event)