| 
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | ||||||||
java.lang.Objectjava.lang.Enum<DefaultLocation>
checkers.quals.DefaultLocation
public enum DefaultLocation
Specifies the locations to which a DefaultQualifier annotation applies.
DefaultQualifier| Enum Constant Summary | |
|---|---|
ALL
Apply default annotations to all unannotated types.  | 
|
ALL_EXCEPT_LOCALS
Apply default annotations to all unannotated types except the raw types of locals.  | 
|
| Method Summary | |
|---|---|
static DefaultLocation | 
valueOf(String name)
Returns the enum constant of this type with the specified name.  | 
static DefaultLocation[] | 
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 | 
|---|
public static final DefaultLocation ALL
public static final DefaultLocation ALL_EXCEPT_LOCALS
| Method Detail | 
|---|
public static DefaultLocation[] values()
for (DefaultLocation c : DefaultLocation.values()) System.out.println(c);
public static DefaultLocation valueOf(String name)
name - the name of the enum constant to be returned.
IllegalArgumentException - if this enum type has no constant
with the specified name
NullPointerException - if the argument is null
  | 
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | ||||||||