org.checkerframework.framework.type

Interface AnnotatedTypeFormatter

All Known Implementing Classes:

CheckerAdapter.QualAnnotationFormatterAdapter, DefaultAnnotatedTypeFormatter, NullnessAnnotatedTypeFormatter, UnitsAnnotatedTypeFormatter

public interface AnnotatedTypeFormatter

Converts an AnnotatedTypeMirror mirror into a formatted string. For converting AnnotationMirrors:

See Also:

AnnotationFormatter

Method Summary

Modifier and Type	Method and Description
String	format(AnnotatedTypeMirror type) Formats type into a String.
String	format(AnnotatedTypeMirror type, boolean printInvisibles) Formats type into a String.

Method Detail

format

@SideEffectFree
String format(AnnotatedTypeMirror type)

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

Parameters:

type - The type to be converted

Returns:

A string representation of type

See Also:

InvisibleQualifier

format

@SideEffectFree
String format(AnnotatedTypeMirror type,
                              boolean printInvisibles)

Formats type into a String.

Parameters:

type - The type to be converted

printInvisibles - whether or not to print invisible annotations

Returns:

A string representation of type

See Also:

InvisibleQualifier