Enum AssignmentState

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      ASSIGNED
      The value is set by the user, but not yet frozen.
      DEFAULT
      The default value is (still) assigned.
      DERIVED
      A (reasoning) mechanism defined the value.
      FROZEN
      The value is frozen and cannot be changed.
      UNDEFINED
      An undefined value.
      USER_ASSIGNED
      The value is set by the user, should not be changed by the reasoner.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private AssignmentState()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static AssignmentState valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static AssignmentState[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      • Methods inherited from class java.lang.Enum

        clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Enum Constant Detail

      • UNDEFINED

        public static final AssignmentState UNDEFINED
        An undefined value. The decision must be taken in future.
      • ASSIGNED

        public static final AssignmentState ASSIGNED
        The value is set by the user, but not yet frozen.
      • USER_ASSIGNED

        public static final AssignmentState USER_ASSIGNED
        The value is set by the user, should not be changed by the reasoner.
      • DEFAULT

        public static final AssignmentState DEFAULT
        The default value is (still) assigned.
      • DERIVED

        public static final AssignmentState DERIVED
        A (reasoning) mechanism defined the value.
      • FROZEN

        public static final AssignmentState FROZEN
        The value is frozen and cannot be changed.
    • Constructor Detail

      • AssignmentState

        private AssignmentState()
    • Method Detail

      • values

        public static AssignmentState[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (AssignmentState c : AssignmentState.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static AssignmentState valueOf​(java.lang.String name)
        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.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null