Class InvalidConfigurationException

java.lang.Object
java.lang.Throwable
java.lang.Exception
org.sosy_lab.common.configuration.InvalidConfigurationException
All Implemented Interfaces:
Serializable

public class InvalidConfigurationException extends Exception
Exception class to signal that something is wrong in the user-specified configuration.
See Also:
  • Constructor Details

    • InvalidConfigurationException

      public InvalidConfigurationException(String msg)
    • InvalidConfigurationException

      public InvalidConfigurationException(String msg, Throwable source)