| package annotations; |
| |
| /*>>> |
| import org.checkerframework.checker.nullness.qual.*; |
| */ |
| |
| /** |
| * Builds an array that will serve as a field of an annotation; created by |
| * {@link AnnotationBuilder#beginArrayField}. |
| */ |
| public interface ArrayBuilder { |
| /** |
| * Appends a value to the array. Call this method for each desired array |
| * element, in order. See the rules for values on |
| * {@link Annotation#getFieldValue}; furthermore, a subannotation must have |
| * been created by the same factory as the annotation of which it is a |
| * field. |
| */ |
| void appendElement(Object x); |
| |
| /** |
| * Finishes building the array. Call this method after all elements have |
| * been appended. |
| */ |
| void finish(); |
| } |