| package org.checkerframework.framework.util; |
| |
| import java.util.Collection; |
| import javax.lang.model.element.AnnotationMirror; |
| import org.checkerframework.dataflow.qual.SideEffectFree; |
| |
| /** Converts AnnotationMirrors to Strings. Used when converting AnnotatedTypeMirrors to Strings. */ |
| public interface AnnotationFormatter { |
| |
| /** |
| * Converts a collection of annotation mirrors into a String. |
| * |
| * @param annos a collection of annotations to print |
| * @param printInvisible whether or not to print "invisible" annotation mirrors |
| * @see org.checkerframework.framework.qual.InvisibleQualifier |
| * @return a string representation of annos |
| */ |
| @SideEffectFree |
| public String formatAnnotationString( |
| Collection<? extends AnnotationMirror> annos, boolean printInvisible); |
| |
| /** |
| * Converts an individual annotation mirror into a String. |
| * |
| * @param anno the annotation mirror to convert |
| * @return a String representation of anno |
| */ |
| @SideEffectFree |
| public String formatAnnotationMirror(AnnotationMirror anno); |
| } |