Hierarchy For All Packages

Package Hierarchies:

• org.mpi_sws.jmc.annotations,
• org.mpi_sws.jmc.annotations.strategies,
• org.mpi_sws.jmc.api.util,
• org.mpi_sws.jmc.api.util.concurrent,
• org.mpi_sws.jmc.api.util.statements,
• org.mpi_sws.jmc.checker,
• org.mpi_sws.jmc.checker.exceptions,
• org.mpi_sws.jmc.integrations.junit5.descriptors,
• org.mpi_sws.jmc.integrations.junit5.engine,
• org.mpi_sws.jmc.runtime,
• org.mpi_sws.jmc.runtime.scheduling,
• org.mpi_sws.jmc.strategies,
• org.mpi_sws.jmc.strategies.trust,
• org.mpi_sws.jmc.util

Class Hierarchy

• java.lang.Object
  • java.util.concurrent.AbstractExecutorService (implements java.util.concurrent.ExecutorService)
    • java.util.concurrent.ThreadPoolExecutor
      • org.mpi_sws.jmc.api.util.concurrent.JmcThreadPoolExecutor
  • org.junit.platform.engine.support.descriptor.AbstractTestDescriptor (implements org.junit.platform.engine.TestDescriptor)
    • org.junit.platform.engine.support.descriptor.EngineDescriptor
      • org.mpi_sws.jmc.integrations.junit5.descriptors.JmcEngineDescriptor
    • org.mpi_sws.jmc.integrations.junit5.descriptors.JmcClassTestDescriptor
    • org.mpi_sws.jmc.integrations.junit5.descriptors.JmcMethodTestDescriptor (implements org.mpi_sws.jmc.integrations.junit5.descriptors.JmcExecutableTestDescriptor)
  • org.mpi_sws.jmc.strategies.trust.Algo
  • org.mpi_sws.jmc.strategies.trust.BackwardRevisitView
  • java.util.concurrent.CompletableFuture<T> (implements java.util.concurrent.CompletionStage<T>, java.util.concurrent.Future<V>)
    • org.mpi_sws.jmc.api.util.concurrent.JmcCompletableFuture<T>
  • org.mpi_sws.jmc.strategies.trust.CoverageGraph
  • org.mpi_sws.jmc.strategies.trust.Event
  • org.mpi_sws.jmc.strategies.trust.Event.Key
  • org.mpi_sws.jmc.strategies.trust.EventFactory
  • org.mpi_sws.jmc.strategies.trust.EventUtils
  • org.mpi_sws.jmc.util.ExceptionUtil
  • org.mpi_sws.jmc.strategies.trust.ExecutionGraph
  • org.mpi_sws.jmc.strategies.trust.ExecutionGraph.TopologicalSorter
  • org.mpi_sws.jmc.strategies.trust.ExecutionGraphNode
  • org.mpi_sws.jmc.strategies.trust.ExecutionGraphSimulator
  • org.mpi_sws.jmc.strategies.trust.ExplorationStack
  • org.mpi_sws.jmc.strategies.trust.ExplorationStack.Item
  • org.mpi_sws.jmc.util.FileUtil
  • org.mpi_sws.jmc.api.util.statements.JmcAssume
  • org.mpi_sws.jmc.api.util.concurrent.JmcAtomicBoolean
  • org.mpi_sws.jmc.api.util.concurrent.JmcAtomicInteger
  • org.mpi_sws.jmc.api.util.concurrent.JmcAtomicReference<V>
  • org.mpi_sws.jmc.api.util.concurrent.JmcAtomicReferenceArray<V>
  • org.mpi_sws.jmc.api.util.concurrent.JmcAtomicStampedReference<V>
  • org.mpi_sws.jmc.checker.JmcCheckerConfiguration
  • org.mpi_sws.jmc.checker.JmcCheckerConfiguration.Builder
  • org.mpi_sws.jmc.api.util.concurrent.JmcCompletableFuture.JmcAsyncRunnable<T> (implements java.lang.Runnable)
  • org.mpi_sws.jmc.integrations.junit5.descriptors.JmcDescriptorUtil
  • org.mpi_sws.jmc.api.util.concurrent.JmcExecutors
  • org.mpi_sws.jmc.api.util.concurrent.JmcExecutorService (implements java.util.concurrent.ExecutorService)
  • org.mpi_sws.jmc.checker.JmcFunctionalTestTarget (implements org.mpi_sws.jmc.checker.JmcTestTarget)
  • org.mpi_sws.jmc.api.util.concurrent.JmcFuture<T> (implements java.util.concurrent.RunnableFuture<V>)
  • org.mpi_sws.jmc.api.util.concurrent.JmcLockSupport
  • org.mpi_sws.jmc.checker.JmcModelChecker
  • org.mpi_sws.jmc.checker.JmcModelCheckerReport
  • org.mpi_sws.jmc.api.util.concurrent.JmcReentrantLock
  • org.mpi_sws.jmc.runtime.JmcRuntime
  • org.mpi_sws.jmc.runtime.JmcRuntimeConfiguration
  • org.mpi_sws.jmc.runtime.JmcRuntimeConfiguration.Builder
  • org.mpi_sws.jmc.runtime.JmcRuntimeEvent
  • org.mpi_sws.jmc.runtime.JmcRuntimeEvent.Builder
  • org.mpi_sws.jmc.runtime.JmcRuntimeUtils
  • org.mpi_sws.jmc.integrations.junit5.engine.JmcTestEngine (implements org.junit.platform.engine.TestEngine)
  • org.mpi_sws.jmc.integrations.junit5.engine.JmcTestExecutor
  • org.mpi_sws.jmc.api.util.concurrent.JmcThreadFactory (implements java.util.concurrent.ThreadFactory)
  • org.mpi_sws.jmc.util.LamportVectorClock (implements org.mpi_sws.jmc.util.PartialOrder<T>)
  • org.mpi_sws.jmc.util.LamportVectorClock.Component (implements org.mpi_sws.jmc.util.TotalOrder<T>)
  • org.mpi_sws.jmc.strategies.trust.Location
  • org.mpi_sws.jmc.strategies.trust.LocationStore
  • org.mpi_sws.jmc.strategies.trust.MeasureGraphCoverageStrategy (implements org.mpi_sws.jmc.strategies.SchedulingStrategy)
  • org.mpi_sws.jmc.strategies.trust.MeasureGraphCoverageStrategyConfig
  • org.mpi_sws.jmc.strategies.trust.MeasureGraphCoverageStrategyConfig.MeasureGraphCoverageStrategyConfigBuilder
  • java.util.Random (implements java.util.random.RandomGenerator, java.io.Serializable)
    • org.mpi_sws.jmc.api.util.JmcRandom
  • org.mpi_sws.jmc.runtime.scheduling.Scheduler
  • org.mpi_sws.jmc.runtime.scheduling.SchedulingChoice<T>
  • org.mpi_sws.jmc.runtime.scheduling.SchedulingChoiceValue
    • org.mpi_sws.jmc.runtime.scheduling.PrimitiveValue
  • org.mpi_sws.jmc.runtime.scheduling.SchedulingChoiceValueAdapter<T>
    • org.mpi_sws.jmc.runtime.scheduling.PrimitiveValueAdapter
  • org.mpi_sws.jmc.runtime.scheduling.SchedulingChoiceValueFactory
  • org.mpi_sws.jmc.strategies.SchedulingStrategyConfiguration
  • org.mpi_sws.jmc.strategies.SchedulingStrategyConfiguration.Builder
  • org.mpi_sws.jmc.strategies.SchedulingStrategyFactory
  • org.mpi_sws.jmc.util.StringUtil
  • org.mpi_sws.jmc.runtime.TaskManager
  • java.lang.Thread (implements java.lang.Runnable)
    • org.mpi_sws.jmc.api.util.concurrent.JmcThread
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.mpi_sws.jmc.strategies.trust.ExecutionGraph.TopologicalSorter.GraphCycleException
      • org.mpi_sws.jmc.checker.exceptions.JmcCheckerException
        • org.mpi_sws.jmc.checker.exceptions.JmcCheckerTimeoutException
        • org.mpi_sws.jmc.checker.exceptions.JmcInvalidConfigurationException
        • org.mpi_sws.jmc.strategies.JmcInvalidStrategyException
        • org.mpi_sws.jmc.strategies.JmcReplayUnsupported
      • org.mpi_sws.jmc.strategies.trust.NoSuchEventException
      • java.lang.RuntimeException
        • org.mpi_sws.jmc.runtime.HaltCheckerException
        • org.mpi_sws.jmc.runtime.HaltExecutionException
        • org.mpi_sws.jmc.runtime.HaltTaskException
      • org.mpi_sws.jmc.runtime.TaskAlreadyPaused
      • org.mpi_sws.jmc.runtime.TaskNotExists
      • org.mpi_sws.jmc.util.TotalOrder.InvalidComparisonException
  • org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy (implements org.mpi_sws.jmc.strategies.SchedulingStrategy)
    • org.mpi_sws.jmc.strategies.RandomSchedulingStrategy (implements org.mpi_sws.jmc.strategies.ReplayableSchedulingStrategy)
    • org.mpi_sws.jmc.strategies.trust.TrustStrategy (implements org.mpi_sws.jmc.strategies.ReplayableSchedulingStrategy)
  • org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy.TrackLocks (implements org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy.Tracker)
  • org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy.TrackTasks (implements org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy.Tracker)

Interface Hierarchy

• org.mpi_sws.jmc.strategies.trust.Event.EventPredicate
• org.mpi_sws.jmc.strategies.trust.ExecutionGraph.ExecutionGraphNodeVisitor
• org.mpi_sws.jmc.integrations.junit5.descriptors.JmcExecutableTestDescriptor
• org.mpi_sws.jmc.checker.JmcFunctionalTestTarget.Target
• org.mpi_sws.jmc.checker.JmcTestTarget
• org.mpi_sws.jmc.util.PartialOrder<T>
• org.mpi_sws.jmc.strategies.SchedulingStrategy
  • org.mpi_sws.jmc.strategies.ReplayableSchedulingStrategy
• org.mpi_sws.jmc.strategies.SchedulingStrategyConfiguration.SchedulingStrategyConstructor
• org.mpi_sws.jmc.util.TotalOrder<T>
• org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy.Tracker

Annotation Interface Hierarchy

• org.mpi_sws.jmc.annotations.JmcCheck (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.JmcCheckConfiguration (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.JmcExpectAssertionFailure (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.JmcExpectExecutions (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.JmcIgnoreInstrumentation (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.strategies.JmcMeasureGraphCoverage (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.JmcReplay (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.JmcTimeout (implements java.lang.annotation.Annotation)
• org.mpi_sws.jmc.annotations.strategies.JmcTrustStrategy (implements java.lang.annotation.Annotation)

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.mpi_sws.jmc.strategies.trust.Event.Type
    • org.mpi_sws.jmc.strategies.trust.ExplorationStack.ItemType
    • org.mpi_sws.jmc.runtime.HaltExecutionException.Type
    • org.mpi_sws.jmc.runtime.JmcRuntimeEvent.Type
    • org.mpi_sws.jmc.util.PartialOrder.Relation
    • org.mpi_sws.jmc.strategies.trust.Relation
    • org.mpi_sws.jmc.runtime.TaskManager.TaskState
    • org.mpi_sws.jmc.util.TotalOrder.Relation
    • org.mpi_sws.jmc.strategies.trust.TrustStrategy.SchedulingPolicy

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.mpi_sws.jmc.strategies.trust.SchedulingChoiceWrapper