Enum Constraint.Type

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      ANNOTATION_ASSIGNMENT
      Reasoner-created constraint for annotation assignments.
      CONSTRAINT
      Reasoner-created constraint for constraint variables/values.
      DEFAULT
      Reasoner-created constraint for default values.
      USUAL
      The usual constraint as used in IVML models.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private Type()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static Constraint.Type valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static Constraint.Type[] 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

      • USUAL

        public static final Constraint.Type USUAL
        The usual constraint as used in IVML models.
      • DEFAULT

        public static final Constraint.Type DEFAULT
        Reasoner-created constraint for default values.
      • CONSTRAINT

        public static final Constraint.Type CONSTRAINT
        Reasoner-created constraint for constraint variables/values.
      • ANNOTATION_ASSIGNMENT

        public static final Constraint.Type ANNOTATION_ASSIGNMENT
        Reasoner-created constraint for annotation assignments.
    • Constructor Detail

      • Type

        private Type()
    • Method Detail

      • values

        public static Constraint.Type[] 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 (Constraint.Type c : Constraint.Type.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static Constraint.Type 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