Package org.checkerframework.afu.scenelib

Interface ArrayBuilder

public interface ArrayBuilder
Builds an array that will serve as a field of an annotation; created by AnnotationBuilder.beginArrayField(java.lang.String, org.checkerframework.afu.scenelib.field.ArrayAFT).

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    appendElement(Object x)
    Appends a value to the array.
    void
    finish()
    Finishes building the array.

  • Method Details

    • appendElement

      void appendElement(Object x)
      Appends a value to the array. Call this method for each desired array element, in order. See the rules for values on Annotation.getFieldValue(java.lang.String); furthermore, a subannotation must have been created by the same factory as the annotation of which it is a field.
      Parameters:
      x - the next array element

    • finish

      void finish()
      Finishes building the array. Call this method after all elements have been appended.