org.checkerframework.qualframework.base.format

Class DefaultQualifiedTypeFormatter.AnnoToQualFormatter

java.lang.Object

org.checkerframework.framework.util.DefaultAnnotationFormatter

org.checkerframework.qualframework.base.format.DefaultQualifiedTypeFormatter.AnnoToQualFormatter

All Implemented Interfaces:

AnnotationFormatter

Enclosing class:

DefaultQualifiedTypeFormatter<Q,QUAL_FORMATTER extends QualFormatter<Q>>

protected class DefaultQualifiedTypeFormatter.AnnoToQualFormatter
extends DefaultAnnotationFormatter

Formats an @Key annotation by looking up the corresponding QualParams and formatting it using a PrettyQualParamsFormatter.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AnnoToQualFormatter()

Method Summary

Modifier and Type	Method and Description
protected void	formatAnnotationMirror(AnnotationMirror am, StringBuilder sb)
String	formatAnnotationString(Collection<? extends AnnotationMirror> annos, boolean printInvisible) Creates a space String of each annotation in annos separated by a single space character, obeying the printInvisible parameter.

Methods inherited from class org.checkerframework.framework.util.DefaultAnnotationFormatter

formatAnnotationMirror, formatAnnotationMirrorArg, isInvisibleQualified

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnoToQualFormatter

protected AnnoToQualFormatter()

Method Detail

formatAnnotationString

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

Description copied from class: DefaultAnnotationFormatter

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

Specified by:

formatAnnotationString in interface AnnotationFormatter

Overrides:

formatAnnotationString in class DefaultAnnotationFormatter

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

protected void formatAnnotationMirror(AnnotationMirror am,
                                      StringBuilder sb)

Overrides:

formatAnnotationMirror in class DefaultAnnotationFormatter