Serialized Form

Package org.mpi_sws.jmc.api.util

Class org.mpi_sws.jmc.api.util.JmcRandom

class JmcRandom extends Random implements Serializable

Package org.mpi_sws.jmc.checker.exceptions

Exception Class org.mpi_sws.jmc.checker.exceptions.JmcCheckerException

class JmcCheckerException extends Exception implements Serializable

Exception Class org.mpi_sws.jmc.checker.exceptions.JmcCheckerTimeoutException

class JmcCheckerTimeoutException extends JmcCheckerException implements Serializable

Exception Class org.mpi_sws.jmc.checker.exceptions.JmcInvalidConfigurationException

class JmcInvalidConfigurationException extends JmcCheckerException implements Serializable

Package org.mpi_sws.jmc.runtime

Exception Class org.mpi_sws.jmc.runtime.HaltCheckerException

class HaltCheckerException extends RuntimeException implements Serializable

Serialized Fields

okay

boolean okay

timeout

boolean timeout

Exception Class org.mpi_sws.jmc.runtime.HaltExecutionException

class HaltExecutionException extends RuntimeException implements Serializable

Serialized Fields

type

HaltExecutionException.Type type

Exception Class org.mpi_sws.jmc.runtime.HaltTaskException

class HaltTaskException extends RuntimeException implements Serializable

Serialized Fields

taskId

Long taskId

Exception Class org.mpi_sws.jmc.runtime.TaskAlreadyPaused

class TaskAlreadyPaused extends Exception implements Serializable

Exception Class org.mpi_sws.jmc.runtime.TaskNotExists

class TaskNotExists extends Exception implements Serializable

Package org.mpi_sws.jmc.strategies

Exception Class org.mpi_sws.jmc.strategies.JmcInvalidStrategyException

class JmcInvalidStrategyException extends JmcCheckerException implements Serializable

Exception Class org.mpi_sws.jmc.strategies.JmcReplayUnsupported

class JmcReplayUnsupported extends JmcCheckerException implements Serializable

Package org.mpi_sws.jmc.strategies.trust

Exception Class org.mpi_sws.jmc.strategies.trust.ExecutionGraph.TopologicalSorter.GraphCycleException

class GraphCycleException extends Exception implements Serializable

Exception Class org.mpi_sws.jmc.strategies.trust.NoSuchEventException

class NoSuchEventException extends Exception implements Serializable

Package org.mpi_sws.jmc.util

Exception Class org.mpi_sws.jmc.util.TotalOrder.InvalidComparisonException

class InvalidComparisonException extends Exception implements Serializable