Enum Class DefaultLocation

java.lang.Object
java.lang.Enum<DefaultLocation>
checkers.quals.DefaultLocation
All Implemented Interfaces:
Serializable, Comparable<DefaultLocation>, Constable

public enum DefaultLocation extends Enum<DefaultLocation>
Specifies the locations to which a DefaultQualifier annotation applies.
See Also:
  • Enum Constant Details

    • ALL

      public static final DefaultLocation ALL
      Apply default annotations to all unannotated types.
    • ALL_EXCEPT_LOCALS

      public static final DefaultLocation ALL_EXCEPT_LOCALS
      Apply default annotations to all unannotated types except the raw types of locals.
    • UPPER_BOUNDS

      public static final DefaultLocation UPPER_BOUNDS
      Apply default annotations to unannotated upper bounds: both explicit ones in extends clauses, and implicit upper bounds when no explicit extends or super clause is present.
  • Method Details

    • values

      public static DefaultLocation[] 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 DefaultLocation 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