org.checkerframework.framework.util

Interface AnnotationFormatter

All Known Implementing Classes:

CheckerAdapter.QualAnnotationFormatterAdapter, DefaultAnnotationFormatter, DefaultQualifiedTypeFormatter.AnnoToQualFormatter, UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

public interface AnnotationFormatter

Converts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors:

See Also:

AnnotatedTypeFormatter

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