Package org.mpi_sws.jmc.runtime

package org.mpi_sws.jmc.runtime

This package contains the core runtime components of the JMC framework.

Related Packages

Package	Description
org.mpi_sws.jmc.runtime.scheduling	Defines the classes and interfaces for scheduling in the JMC runtime.

Class	Description
HaltCheckerException	Exception thrown to halt execution of the current and all subsequent executions.
HaltExecutionException	Exception thrown to halt execution of the current execution.
HaltExecutionException.Type	Error type when the model checker stops the execution.
HaltTaskException	Exception thrown to halt execution of the current task.
JmcRuntime	The Runtime environment complete with a scheduler and configuration options used by the model checker.
JmcRuntimeConfiguration	Represents the configuration for the JMC runtime.
JmcRuntimeConfiguration.Builder
JmcRuntimeEvent	Represents an event that occurs during the execution of a program.
JmcRuntimeEvent.Builder	A builder for constructing a JmcRuntimeEvent object.
JmcRuntimeEvent.Type	Enum representing the different types of runtime events that can occur.
JmcRuntimeUtils	Utility class for JMC runtime operations.
TaskAlreadyPaused	Exception thrown when a task is already paused.
TaskManager	Encapsulates all the operations related to Task objects used by the runtime Except the SchedulerTask The encapsulation ensures no memory leak when creating many tasks.
TaskManager.TaskState	The state of each task managed by the @RuntimeEnvironment is represented by one of the following.
TaskNotExists	Exception thrown when a task does not exist.