Package org.checkerframework.javacutil

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	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 Details

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