org.checkerframework.checker.units

Class UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

java.lang.Object

org.checkerframework.framework.util.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 and Description
protected BaseTypeChecker	checker
protected Elements	elements

Constructor Summary

Constructors

Constructor and Description
UnitsAnnotationFormatter(BaseTypeChecker checker)

Method Summary

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

Methods inherited from class org.checkerframework.framework.util.DefaultAnnotationFormatter

formatAnnotationMirror, formatAnnotationMirror, formatAnnotationMirrorArg, isInvisibleQualified

Methods inherited from class java.lang.Object

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

Field Detail

checker

protected final BaseTypeChecker checker

elements

protected final Elements elements

Constructor Detail

UnitsAnnotationFormatter

public UnitsAnnotationFormatter(BaseTypeChecker checker)

Method Detail

formatAnnotationString

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

Description copied from class: DefaultAnnotationFormatter

Creates a space String of each annotation in annos separated by a single 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