1 files changed, 25 insertions, 0 deletions
diff --git a/engine/src/core/checkers/quals/DefaultLocation.java b/engine/src/core/checkers/quals/DefaultLocation.java
new file mode 100644
index 0000000..90dc78a
--- /dev/null
+++ b/engine/src/core/checkers/quals/DefaultLocation.java
@@ -0,0 +1,25 @@
+package checkers.quals;
+
+/**
+ * Specifies the locations to which a {@link DefaultQualifier} annotation applies.
+ *
+ * @see DefaultQualifier
+ */
+public enum DefaultLocation {
+
+    /** Apply default annotations to all unannotated types. */
+    ALL,
+
+    /** Apply default annotations to all unannotated types except the raw types
+     * of locals. */
+    ALL_EXCEPT_LOCALS,
+
+    /** Apply default annotations to unannotated upper bounds:  both
+     * explicit ones in <tt>extends</tt> clauses, and implicit upper bounds
+     * when no explicit <tt>extends</tt> or <tt>super</tt> clause is
+     * present. */
+    // Especially useful for parameterized classes that provide a lot of
+    // static methods with the same generic parameters as the class.
+    UPPER_BOUNDS;
+
+}