org.checkerframework.qualframework.poly.format

Class PrettyQualifiedTypeFormatter<Q>

java.lang.Object

org.checkerframework.qualframework.base.format.DefaultQualifiedTypeFormatter<QualParams<Q>,PrettyQualParamsFormatter<Q>>

org.checkerframework.qualframework.poly.format.PrettyQualifiedTypeFormatter<Q>

All Implemented Interfaces:

QualifiedTypeFormatter<QualParams<Q>>

public class PrettyQualifiedTypeFormatter<Q>
extends DefaultQualifiedTypeFormatter<QualParams<Q>,PrettyQualParamsFormatter<Q>>

PrettyQualifiedTypeFormatter formats QualifiedTypeMirrors with QualParams qualifiers into Strings. PrettyQualifiedTypeFormatter prints the primary qualifier of a QualParams before a declared type's name, and the map of qualifier parameters after the declared type's name.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.qualframework.base.format.DefaultQualifiedTypeFormatter

DefaultQualifiedTypeFormatter.AnnoToQualFormatter

Field Summary

Fields inherited from class org.checkerframework.qualframework.base.format.DefaultQualifiedTypeFormatter

adapter, annoAdapter, converter, defaultPrintInvisibleQualifiers, qualFormatter, useOldFormat

Constructor Summary

Constructors

Constructor and Description
PrettyQualifiedTypeFormatter(TypeMirrorConverter<QualParams<Q>> converter, Set<?> invisibleQualifiers, boolean useOldFormat, boolean defaultPrintInvisibleQualifiers)

Method Summary

Modifier and Type	Method and Description
protected AnnotatedTypeFormatter	createAnnotatedTypeFormatter(AnnotationFormatter annotationFormatter) Create the AnnotatedTypeFormatter to be used as the underling formatter.

Methods inherited from class org.checkerframework.qualframework.base.format.DefaultQualifiedTypeFormatter

createAnnotationFormatter, format, format, getQualFormatter

Methods inherited from class java.lang.Object

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

Constructor Detail

PrettyQualifiedTypeFormatter

public PrettyQualifiedTypeFormatter(TypeMirrorConverter<QualParams<Q>> converter,
                                    Set<?> invisibleQualifiers,
                                    boolean useOldFormat,
                                    boolean defaultPrintInvisibleQualifiers)

Method Detail

createAnnotatedTypeFormatter

protected AnnotatedTypeFormatter createAnnotatedTypeFormatter(AnnotationFormatter annotationFormatter)

Description copied from class: DefaultQualifiedTypeFormatter

Create the AnnotatedTypeFormatter to be used as the underling formatter. This formatter should use formatter as its AnnotationFormatter.

Overrides:

createAnnotatedTypeFormatter in class DefaultQualifiedTypeFormatter<QualParams<Q>,PrettyQualParamsFormatter<Q>>

Parameters:

annotationFormatter - an AnnotationFormatter that is configured to printout qualifiers using qualFormatter.

Returns:

the AnnotatedTypeFormatter