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

Method Detail

format

@SideEffectFree
java.lang.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
java.lang.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