org.checkerframework.framework.util

Interface AnnotationFormatter

All Known Implementing Classes:

DefaultAnnotationFormatter, UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

public interface AnnotationFormatter

Converts AnnotationMirrors to Strings. Used when converting AnnotatedTypeMirrors to Strings.

Method Summary

Modifier and Type	Method and Description
String	formatAnnotationMirror(AnnotationMirror anno) Converts an individual annotation mirror into a String.
String	formatAnnotationString(Collection<? extends AnnotationMirror> annos, boolean printInvisible) Converts a collection of annotation mirrors into a String.

Method Detail

formatAnnotationString

@SideEffectFree
String formatAnnotationString(Collection<? extends AnnotationMirror> annos,
                                              boolean printInvisible)

Converts a collection of annotation mirrors into a String.

Parameters:

annos - a collection of annotations to print

printInvisible - whether or not to print "invisible" annotation mirrors

Returns:

a string representation of annos

See Also:

InvisibleQualifier

formatAnnotationMirror

@SideEffectFree
String formatAnnotationMirror(AnnotationMirror anno)

Converts an individual annotation mirror into a String.

Parameters:

anno - the annotation mirror to convert

Returns:

a String representation of anno