Package io.github.cvc5

Enum Class Utils.OS

java.lang.Object
java.lang.Enum<Utils.OS>
io.github.cvc5.Utils.OS
All Implemented Interfaces:
Serializable, Comparable<Utils.OS>, Constable
Enclosing class:
Utils
public static enum Utils.OS extends Enum<Utils.OS>
Represent the operating system types supported by cvc5. It includes logic to detect the current operating system at runtime.

  • Enum Constant Details

    • WINDOWS

      public static final Utils.OS WINDOWS
      Microsoft Windows operating system.

    • MAC

      public static final Utils.OS MAC
      Apple macOS operating system.

    • LINUX

      public static final Utils.OS LINUX
      Linux-based operating system.

    • UNKNOWN

      public static final Utils.OS UNKNOWN
      Unknown or unsupported operating system.

  • Field Details

    • CURRENT

      public static final Utils.OS CURRENT
      The detected operating system on which the application is currently running.

  • Method Details

    • values

      public static Utils.OS[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static Utils.OS valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null