org.checkerframework.framework.util

Class DefaultAnnotationFormatter

java.lang.Object

org.checkerframework.framework.util.DefaultAnnotationFormatter

All Implemented Interfaces:

AnnotationFormatter

Direct Known Subclasses:

UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

public class DefaultAnnotationFormatter
extends Object
implements AnnotationFormatter

A utility for converting AnnotationMirrors to Strings.

Constructor Summary

Constructors

Constructor and Description
DefaultAnnotationFormatter()

Method Summary

Modifier and Type	Method and Description
String	formatAnnotationMirror(AnnotationMirror anno) Converts an individual annotation mirror into a String.
protected void	formatAnnotationMirror(AnnotationMirror am, StringBuilder sb) A helper method to output a single AnnotationMirror, without showing full package names.
protected void	formatAnnotationMirrorArg(AnnotationValue av, StringBuilder sb)
String	formatAnnotationString(Collection<? extends AnnotationMirror> annos, boolean printInvisible) Creates a String of each annotation in annos separated by a single space character and terminated by a space character, obeying the printInvisible parameter.
static boolean	isInvisibleQualified(AnnotationMirror anno) Returns true if, by default, anno should not be printed.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultAnnotationFormatter

public DefaultAnnotationFormatter()

Method Detail

isInvisibleQualified

public static boolean isInvisibleQualified(AnnotationMirror anno)

Returns true if, by default, anno should not be printed.

Returns:

true if anno's declaration was qualified by InvisibleQualifier

See Also:

InvisibleQualifier

formatAnnotationString

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

Creates a String of each annotation in annos separated by a single space character and terminated by a space character, obeying the printInvisible parameter.

Specified by:

formatAnnotationString in interface AnnotationFormatter

Parameters:

annos - a collection of annotations to print

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

Returns:

the list of annotations converted to a String

See Also:

InvisibleQualifier

formatAnnotationMirror

@SideEffectFree
public String formatAnnotationMirror(AnnotationMirror anno)

Description copied from interface: AnnotationFormatter

Converts an individual annotation mirror into a String.

Specified by:

formatAnnotationMirror in interface AnnotationFormatter

Parameters:

anno - the annotation mirror to convert

Returns:

the string representation of a single AnnotationMirror, without showing full package names

formatAnnotationMirror

protected void formatAnnotationMirror(AnnotationMirror am,
                                      StringBuilder sb)

A helper method to output a single AnnotationMirror, without showing full package names.

formatAnnotationMirrorArg

protected void formatAnnotationMirrorArg(AnnotationValue av,
                                         StringBuilder sb)