org.checkerframework.qualframework.base

Class CheckerAdapter.QualAnnotationFormatterAdapter

java.lang.Object

org.checkerframework.qualframework.base.CheckerAdapter.QualAnnotationFormatterAdapter

All Implemented Interfaces:

AnnotatedTypeFormatter, AnnotationFormatter

Enclosing class:

CheckerAdapter<Q>

protected class CheckerAdapter.QualAnnotationFormatterAdapter
extends Object
implements AnnotatedTypeFormatter, AnnotationFormatter

Adapter to convert an AnnotatedTypeFormatter to a QualifiedTypeFormatter.

Constructor Summary

Constructors

Constructor and Description
QualAnnotationFormatterAdapter(QualifiedTypeFormatter<Q> qualifiedTypeFormatter)

Method Summary

Modifier and Type	Method and Description
String	format(AnnotatedTypeMirror type) Formats type into a String.
String	format(AnnotatedTypeMirror type, boolean printVerbose) Formats type into a String.
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

Methods inherited from class java.lang.Object

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

Constructor Detail

QualAnnotationFormatterAdapter

public QualAnnotationFormatterAdapter(QualifiedTypeFormatter<Q> qualifiedTypeFormatter)

Method Detail

format

public String format(AnnotatedTypeMirror type)

Description copied from interface: AnnotatedTypeFormatter

Formats type into a String. Uses an implementation specific default for printing "invisible annotations"

Specified by:

format in interface AnnotatedTypeFormatter

Parameters:

type - the type to be converted

Returns:

a string representation of type

See Also:

InvisibleQualifier

format

public String format(AnnotatedTypeMirror type,
                     boolean printVerbose)

Description copied from interface: AnnotatedTypeFormatter

Formats type into a String.

Specified by:

format in interface AnnotatedTypeFormatter

Parameters:

type - the type to be converted

printVerbose - whether or not to print verbosely

Returns:

a string representation of type

See Also:

InvisibleQualifier

formatAnnotationString

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

Description copied from interface: AnnotationFormatter

Converts a collection of annotation mirrors into a String

Specified by:

formatAnnotationString in interface AnnotationFormatter

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

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:

a String representation of anno