Package org.checkerframework.framework.type

Interface AnnotatedTypeFormatter

All Known Implementing Classes:

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

Method Details

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 printVerbose)

Formats type into a String.

Parameters:

type - the type to be converted

printVerbose - whether or not to print verbosely

Returns:

a string representation of type

See Also:

• InvisibleQualifier