Package org.checkerframework.checker.units

Class UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

java.lang.Object

org.checkerframework.javacutil.DefaultAnnotationFormatter

org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

All Implemented Interfaces:

AnnotationFormatter

Enclosing class:

UnitsAnnotatedTypeFormatter

protected static class UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
extends DefaultAnnotationFormatter

Format the error printout of any units qualifier that uses Prefix.one.

Field Summary

Fields

Modifier and Type	Field	Description
protected final BaseTypeChecker	checker
protected final Elements	elements

Constructor Summary

Constructors

Constructor	Description
UnitsAnnotationFormatter(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method	Description
String	formatAnnotationString(Collection<? extends AnnotationMirror> annos, boolean printInvisible)	Creates a String of each annotation in annos separated by a single space character and terminated by a space character, obeying the printInvisible parameter.

Methods inherited from class org.checkerframework.javacutil.DefaultAnnotationFormatter

formatAnnotationMirror, formatAnnotationMirror, formatAnnotationMirrorArg, isInvisibleQualified

Methods inherited from class java.lang.Object

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

Field Details

checker

protected final BaseTypeChecker checker

elements

protected final Elements elements

Constructor Details

UnitsAnnotationFormatter

public UnitsAnnotationFormatter(BaseTypeChecker checker)

Method Details

formatAnnotationString

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

Description copied from class: DefaultAnnotationFormatter

Creates a String of each annotation in annos separated by a single space character and terminated by a space character, obeying the printInvisible parameter.

Specified by:

formatAnnotationString in interface AnnotationFormatter

Overrides:

formatAnnotationString in class DefaultAnnotationFormatter

Parameters:

annos - a collection of annotations to print

printInvisible - whether or not to print "invisible" annotation mirrors

Returns:

the list of annotations converted to a String

See Also:

• InvisibleQualifier