Enum UncaughtExceptionsLogger

    • Constructor Summary

      Constructors 
      Constructor Description
    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      NOOP

      Does nothing with the stack traces.

      Warning: when using this policy, uncaught exceptions thrown during the problem resolution will be silently ignored. This policy should only be used when the solver is guaranteed not to throw any exception (for instance if it wraps everything in a try/catch block)

      STDERR

      Print uncaught exceptions' stack traces to the standard error stream.

      SLF4J

      Log exceptions via SLF4J logging API. This requires to provide an SLF4J implementation on the classpath, otherwise nothing will be printed at all.

      STDERR_AND_SLF4J

      Does both STDERR and SLF4J.

    • Method Summary

      Modifier and Type Method Description
      final UncaughtExceptionsLogger valueOf(String value) Returns the enum constant of this type with the specified name.
      final Array<UncaughtExceptionsLogger> values() Returns an array containing the constants of this enum type, in the order they're declared.
      • Methods inherited from class kotlin.Enum

        getName, getOrdinal
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

    • Method Detail

      • valueOf

         final UncaughtExceptionsLogger valueOf(String value)

        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

      • values

         final Array<UncaughtExceptionsLogger> values()

        Returns an array containing the constants of this enum type, in the order they're declared.

        This method may be used to iterate over the constants.