Lines Matching defs:Annotation
62 private ArrayList<Annotation> annotations;
64 /** >= 40 (if used); the desired maximum annotation width */
385 annotations.add(new Annotation(cursor, msg, currentIndent));
421 annotations.add(new Annotation(startAt, startAt + amt, msg, currentIndent));
449 * @param annotationWidth >= 40; the desired maximum annotation width
468 this.annotations = new ArrayList<Annotation>(1000);
475 * Finishes up annotation processing. This closes off any open
480 // Close off the final annotation, if any.
487 Annotation last = annotations.get(asz - 1);
519 int rightAt = 0; // right-hand annotation index
523 Annotation a = annotations.get(rightAt);
529 // This is an area with no annotation.
534 // This is an area with an annotation.
584 * Annotation on output.
586 private static class Annotation {
596 /** non-null; annotation text */
607 * @param text non-null; annotation text
609 public Annotation(int start, int end, String text, int indent) {
620 * @param text non-null; annotation text
622 public Annotation(int start, String text, int indent) {
