Объявление интерфейса может включать модификаторы интерфейса.

Если аннотация a (§9.7) в объявлении интерфейса соответствует типу аннотации T (§9.6), а у T есть (мета-)аннотация m, которая соответствует java.lang.annotation.Target, то m должен иметь элемент, значение которого равно java.lang.annotation.ElementType.TYPE, иначе возникает ошибка времени компиляции.

Модификатор доступа public (§6.6) относится к каждому виду объявления интерфейса.

Модификаторы доступа protected и private относятся только к интерфейсам-членам внутри непосредственно включающего объявления класса или перечисления (§8.5.1).

Модификатор static относится только к интерфейсам-членам (§8.5.1, §9.5), а не к интерфейсам верхнего уровня (§7.6).

Ошибка времени компиляции, если один и тот же модификатор встречается более одного раза в объявлении интерфейса.

Если в объявлении интерфейса появляется два или более (отдельных) модификатора интерфейса, то принято, хотя и не обязательно, чтобы они отображались в порядке, соответствующем указанному выше в производстве для InterfaceModifier.

Интерфейс является обобщенным, если он объявляет одну или несколько переменных типа (§4.4).

Эти переменные типа известны как параметры типа интерфейса. Раздел параметров типа следует за именем интерфейса и отделяется угловыми скобками.

В разделе параметров типа интерфейса переменная типа T непосредственно зависит от переменной типа S, если S является границей T, а T зависит от S, если либо T непосредственно зависит от S, либо T непосредственно зависит от переменной типа U, которая зависит от S (с использованием этого определения рекурсивно).

Ошибка времени компиляции, если переменная типа в разделе параметров типа интерфейса зависит от самой себя.

Область видимости параметра типа интерфейса указана в §6.3.

Ошибка времени компиляции при ссылке на параметр типа интерфейса I где-либо в объявлении поля или члена типа I.

Объявление обобщенного интерфейса определяет набор параметризованных типов (§4.5), по одному для каждого возможного вызова раздела параметров типа аргументами типа. Все эти параметризованные типы совместно используют один и тот же интерфейс во время выполнения.

Если предоставлено предложение extends, то объявляемый интерфейс расширяет каждый из других именованных интерфейсов и, следовательно, наследует типы-члены, методы и константы каждого из других именованных интерфейсов.

Эти другие именованные интерфейсы являются прямыми суперинтерфейсами объявляемого интерфейса.

Любой класс, который implements объявленный интерфейс, также считается реализующим все интерфейсы, которые этот интерфейс extends.

Следующее повторяется из §4.3 и §8.1.5, чтобы сделать представление здесь более понятным:

Учитывая (возможно, общий) объявление интерфейса для I<F₁,...,F_n> (n ≥ 0), прямые суперинтерфейсы типа интерфейса I<F₁,...,F_n> — это типы, указанные в предложении extends объявления I, если присутствует предложение extends.

Пусть I<F₁,...,F_n> (n > 0), будет общим объявлением интерфейса. Прямые суперинтерфейсы параметризованного типа интерфейса I<T₁,...,T_n>, где T_i (1 ≤ i ≤ n) является типом, — все типы J<U₁ θ,...,U_k θ>, где J<U₁,...,U_k> — прямой суперинтерфейс I<F₁,...,F_n>, а θ — подстановка [F1:=T1,...,Fn:=Tn].

Каждый InterfaceType в предложении extends объявления интерфейса должен именовать доступный (§6.6) тип интерфейса; в противном случае возникает ошибка во время компиляции.

Отношение superinterface — это транзитивное замыкание отношения прямого суперинтерфейса. Интерфейс K является суперинтерфейсом интерфейса I, если выполняется одно из следующих условий:

Интерфейс I называется субинтерфейсом интерфейса K всякий раз, когда K является суперинтерфейсом I.

Хотя каждый класс является расширением класса Object, не существует ни одного интерфейса, расширениями которого являются все интерфейсы.

Интерфейс I непосредственно зависит от типа T, если T упоминается в предложении extends I либо как суперинтерфейс, либо как квалификатор в имени суперинтерфейса.

Интерфейс I зависит от ссылочного типа T, если выполняется какое-либо из следующих условий:

Ошибка во время компиляции, если интерфейс зависит от самого себя.

Если циклически объявленные интерфейсы обнаруживаются во время выполнения, когда интерфейсы загружаются (§12.2), то возникает ClassCircularityError.

Тело интерфейса может объявлять члены интерфейса, то есть поля (§9.3), методы (§9.4), классы (§9.5) и интерфейсы (§9.5).

Область видимости объявления члена m, объявленного в или унаследованного типом интерфейса I, указана в §6.3.

Каждое объявление метода в объявлении типа аннотации определяет элемент типа аннотации.

Типы аннотаций могут иметь ноль или более элементов. Тип аннотации не имеет элементов, отличных от тех, которые определены методами, которые он явно объявляет.

В силу синтаксиса AnnotationTypeElementDeclaration объявление метода в объявлении типа аннотации не может иметь формальных параметров или параметров типа, или предложения throws.

По соглашению, никакие AbstractMethodModifiers не должны присутствовать в элементе типа аннотации, кроме аннотаций.

/**
 * Describes the "request-for-enhancement" (RFE)
 * that led to the presence of the annotated API element.
 */
@interface RequestForEnhancement {
    int    id();        // Unique ID number associated with RFE
    String synopsis();  // Synopsis of RFE
    String engineer();  // Name of engineer who implemented RFE
    String date();      // Date RFE was implemented
}

/**
 * An annotation with this type indicates that the 
 * specification of the annotated API element is 
 * preliminary and subject to change.
 */
@interface Preliminary {}

Это ошибка времени компиляции, если тип возвращаемого значения метода, объявленного в типе аннотации, не является одним из следующих: примитивный тип, String, Class, любое параметризованное обращение к Class, тип enum (§8.9), тип аннотации или тип массива (§10), типом элемента которого является один из предыдущих типов.

@interface Verboten {
    String[][] value();
}

Это ошибка времени компиляции, если какой-либо метод, объявленный в типе аннотации, имеет сигнатуру, эквивалентную переопределению, любому методу public или protected, объявленному в классе Object или в интерфейсе java.lang.annotation.Annotation.

Это ошибка времени компиляции, если объявление типа аннотации T содержит элемент типа T, либо непосредственно, либо косвенно.

@interface SelfRef { SelfRef value(); }

@interface Ping { Pong value(); }
@interface Pong { Ping value(); }

По соглашению, имя единственного элемента в одноэлементном типе аннотации — value. Лингвистическая поддержка этого соглашения предоставляется конструкцией аннотации с одним элементом (§9.7.3); необходимо соблюдать соглашение, чтобы воспользоваться конструкцией.

/**
 * Associates a copyright notice with the annotated API element.
 */
@interface Copyright {
    String value();
}

/**
 * Associates a list of endorsers with the annotated class.
 */
@interface Endorsers {
    String[] value();
}

interface Formatter {}

// Designates a formatter to pretty-print the annotated class
@interface PrettyPrinter {
    Class<? extends Formatter> value();
}

@interface Quality {
    enum Level { BAD, INDIFFERENT, GOOD }
    Level value();
}

/**
 * A person's name.  This annotation type is not designed
 * to be used directly to annotate program elements, but to
 * define elements of other annotation types.
 */
@interface Name {
    String first();
    String last();
}
/**
 * Indicates the author of the annotated program element.
 */
@interface Author {
    Name value();
}
/**
 * Indicates the reviewer of the annotated program element.
 */
@interface Reviewer {
    Name value();
}

Элемент типа аннотации может иметь указанное значение по умолчанию. Это делается путем указания после его (пустого) списка параметров ключевого слова default и значения элемента по умолчанию.

Значения по умолчанию применяются динамически во время чтения аннотаций; значения по умолчанию не компилируются в аннотации. Таким образом, изменение значения по умолчанию влияет на аннотации даже в классах, которые были скомпилированы до внесения изменений (предполагая, что эти аннотации не имеют явного значения для элемента по умолчанию).

Для указания значения по умолчанию используется ElementValue (§9.7).

Это ошибка времени компиляции, если тип элемента не соизмерим (§9.7) со указанным значением по умолчанию.

@interface RequestForEnhancementDefault {
    int    id();       // No default - must be specified in 
                       // each annotation
    String synopsis(); // No default - must be specified in 
                       // each annotation
    String engineer()  default "[unassigned]";
    String date()      default "[unimplemented]";
}

Нормальная аннотация используется для аннотирования элемента программы.

The TypeName names the annotation type corresponding to the annotation.

Обратите внимание, что символ at-sign (@) является токеном сам по себе. Технически можно поместить пробел между ним и TypeName, но это не рекомендуется в качестве стиля.

Это ошибка времени компиляции, если TypeName не называет тип аннотации, который доступен (§6.6) в точке, где используется аннотация.

Идентификатор (Identifier) в ElementValuePair должен быть простым именем одного из элементов (т. е. методов) типа аннотации, идентифицируемого TypeName; в противном случае возникает ошибка времени компиляции.

Тип возвращаемого значения этого метода определяет тип элемента пары «элемент-значение».

An ElementValueArrayInitializer is similar to a normal array initializer (§10.6), except that annotations are permitted in place of expressions.

Тип элемента T является commensurate со значением элемента V, если и только если выполняется одно из следующих условий:

Обратите внимание, что null не является допустимым значением элемента для любого типа элемента.

Во время компиляции возникает ошибка, если тип элемента не соизмерим с ElementValue.

Если тип элемента не является типом аннотации или типом массива, ElementValue должно быть ConditionalExpression (§15.25).

A ConditionalExpression is simply an expression without assignments, and not necessarily an expression involving the conditional operator (? :). ConditionalExpression is preferred over Expression in ElementValue because an element value has a simple structure (constant expression or class literal or enum constant) that may easily be represented in binary form.

Если тип элемента является типом массива, а соответствующий ElementValue не является ElementValueArrayInitializer, то значение массива, единственный элемент которого представляет значение, представленное ElementValue, связано с элементом. В противном случае, если соответствующий ElementValue является ElementValueArrayInitializer, то значение массива, представленное ElementValueArrayInitializer, связано с элементом.

Другими словами, допустимо опускать фигурные скобки, когда одноэлементный массив должен быть связан с элементом типа аннотации, принимающим массив в качестве значения.

Обратите внимание, что тип элемента массива не может быть типом массива. То есть вложенные типы массивов не допускаются в качестве типов элементов. (Хотя синтаксис аннотации это допустил бы, синтаксис объявления типа аннотации — нет.)

An ElementValue is always FP-strict (§15.4).

Аннотация в объявлении типа аннотации известна как meta-annotation.

Тип аннотации может использоваться для аннотирования собственного объявления. В более общем плане разрешены цикличности в транзитивном замыкании отношения «аннотирует».

Например, допустимо аннотировать объявление типа аннотации другим типом аннотации и аннотировать объявление последнего типа первым типом. (Предопределенные типы мета-аннотаций содержат несколько таких цикличностей.)

@RequestForEnhancement(
    id       = 2868724,
    synopsis = "Provide time-travel functionality",
    engineer = "Mr. Peabody",
    date     = "4/1/2004"
)
public static void travelThroughTime(Date destination) { ... }

@RequestForEnhancement(
    id       = 4561414,
    synopsis = "Balance the federal budget"
)
public static void balanceFederalBudget() {
    throw new UnsupportedOperationException("Not implemented");
}

Вторая форма аннотации, маркерная аннотация, представляет собой сокращение, предназначенное для использования с типами маркерных аннотаций.

Это сокращение для обычной аннотации:

@Identifier()

Разрешено использовать форму маркерной аннотации для типов аннотаций с элементами, если все элементы имеют значения по умолчанию.

@Preliminary public class TimeTravel { ... }

Третья форма аннотации, одноэлементная аннотация, представляет собой сокращение, предназначенное для использования с одноэлементными типами аннотаций.

Это сокращение для обычной аннотации:

@Identifier(value = ElementValue)

Разрешено использовать одноэлементные аннотации для типов аннотаций с несколькими элементами, если один элемент называется value, а все остальные элементы имеют значения по умолчанию.

@Copyright("2002 Yoyodyne Propulsion Systems, Inc.")
public class OscillationOverthruster { ... }

@Endorsers({"Children", "Unscrupulous dentists"})
public class Lollipop { ... }

@Endorsers("Epicurus")
public class Pleasure { ... }

@Author(@Name(first = "Joe", last = "Hacker"))
public class BitTwiddle { ... }

class GorgeousFormatter implements Formatter { ... }

@PrettyPrinter(GorgeousFormatter.class)
public class Petunia { ... }

// Illegal; String is not a subtype of Formatter
@PrettyPrinter(String.class)
public class Begonia { ... }

@Quality(Quality.Level.GOOD)
public class Karma { ... }