Enum Class QualifierDefaults.BoundType

java.lang.Object
java.lang.Enum<QualifierDefaults.BoundType>
org.checkerframework.framework.util.defaults.QualifierDefaults.BoundType
All Implemented Interfaces:
Serializable, Comparable<QualifierDefaults.BoundType>, Constable
Enclosing class:
QualifierDefaults

protected static enum QualifierDefaults.BoundType extends Enum<QualifierDefaults.BoundType>
Specifies whether the type variable or wildcard has an explicit upper bound (UPPER), an explicit lower bound (LOWER), or no explicit bounds (UNBOUNDED).
  • Enum Constant Details

    • TYPEVAR_UPPER

      public static final QualifierDefaults.BoundType TYPEVAR_UPPER
      Indicates an upper-bounded type variable.
    • TYPEVAR_UNBOUNDED

      public static final QualifierDefaults.BoundType TYPEVAR_UNBOUNDED
      Neither bound is specified, BOTH are implicit. (If a type variable is declared in bytecode and the type of the upper bound is Object, then the checker assumes that the bound was not explicitly written in source code.)
    • WILDCARD_UPPER

      public static final QualifierDefaults.BoundType WILDCARD_UPPER
      Indicates an upper-bounded wildcard.
    • WILDCARD_LOWER

      public static final QualifierDefaults.BoundType WILDCARD_LOWER
      Indicates a lower-bounded wildcard.
    • WILDCARD_UNBOUNDED

      public static final QualifierDefaults.BoundType WILDCARD_UNBOUNDED
      Neither bound is specified, BOTH are implicit.
  • Method Details

    • values

      public static QualifierDefaults.BoundType[] 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 QualifierDefaults.BoundType 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