1package annotations;
2
3/*>>>
4import org.checkerframework.checker.nullness.qual.*;
5*/
6
7/**
8 * Builds an array that will serve as a field of an annotation; created by
9 * {@link AnnotationBuilder#beginArrayField}.
10 */
11public interface ArrayBuilder {
12    /**
13     * Appends a value to the array. Call this method for each desired array
14     * element, in order. See the rules for values on
15     * {@link Annotation#getFieldValue}; furthermore, a subannotation must have
16     * been created by the same factory as the annotation of which it is a
17     * field.
18     */
19    void appendElement(Object x);
20
21    /**
22     * Finishes building the array. Call this method after all elements have
23     * been appended.
24     */
25    void finish();
26}
27