Package org.mpi_sws.jmc.checker

Class JmcCheckerConfiguration

java.lang.Object
org.mpi_sws.jmc.checker.JmcCheckerConfiguration
public class JmcCheckerConfiguration extends Object
Configuration for the JMC checker.

This class encapsulates the configuration parameters for running the JMC checker, including the number of iterations, strategy type, debug mode, report path, seed, and timeout.

Use the JmcCheckerConfiguration.Builder to create a configuration instance.

  • Method Details

    • getNumIterations

      public Integer getNumIterations()
      Returns the number of iterations to run the checker.
      Returns:
      the number of iterations

    • getReportPath

      public String getReportPath()
      Returns the path where the report will be saved.
      Returns:
      the report path as a string

    • getStrategyType

      public String getStrategyType()
      Returns the type of scheduling strategy to be used.
      Returns:
      the strategy type as a string

    • getDebug

      public boolean getDebug()
      Returns the debug mode status.
      Returns:
      true if debug mode is enabled, false otherwise

    • getSeed

      public Long getSeed()
      Returns the seed for the checker.
      Returns:
      the seed, or null if no seed is set

    • setSeed

      public void setSeed(Long seed)
      Sets the seed for the checker.
      Parameters:
      seed - the seed to set.

    • getTimeout

      public Duration getTimeout()
      Returns the timeout duration for the checker.
      Returns:
      the timeout duration, or null if no timeout is set

    • toRuntimeConfiguration

      public JmcRuntimeConfiguration toRuntimeConfiguration() throws JmcInvalidStrategyException
      Converts this configuration to a runtime configuration.
      Returns:
      a JmcRuntimeConfiguration based on this configuration
      Throws:
      JmcInvalidStrategyException - if the strategy type is invalid or the strategy cannot be created

    • fromAnnotation

      public static JmcCheckerConfiguration fromAnnotation(JmcCheckConfiguration annotation) throws JmcCheckerException
      Creates a JmcCheckerConfiguration from the given annotation.
      Parameters:
      annotation - the JmcCheckConfiguration annotation
      Returns:
      a JmcCheckerConfiguration instance
      Throws:
      JmcCheckerException - if the configuration is invalid