org.checkerframework.checker.units

Class UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

java.lang.Object

org.checkerframework.framework.util.DefaultAnnotationFormatter

org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter

All Implemented Interfaces:

org.checkerframework.framework.util.AnnotationFormatter

Enclosing class:

UnitsAnnotatedTypeFormatter

protected static class UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
extends org.checkerframework.framework.util.DefaultAnnotationFormatter

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

Field Summary

Fields

Modifier and Type	Field and Description
protected org.checkerframework.common.basetype.BaseTypeChecker	checker
protected Elements	elements

Constructor Summary

Constructors

Constructor and Description
UnitsAnnotationFormatter(org.checkerframework.common.basetype.BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
String	formatAnnotationString(Collection<? extends AnnotationMirror> annos, boolean printInvisible)

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 org.checkerframework.common.basetype.BaseTypeChecker checker

elements

protected final Elements elements

Constructor Detail

UnitsAnnotationFormatter

public UnitsAnnotationFormatter(org.checkerframework.common.basetype.BaseTypeChecker checker)

Method Detail

formatAnnotationString

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

Specified by:

formatAnnotationString in interface org.checkerframework.framework.util.AnnotationFormatter

Overrides:

formatAnnotationString in class org.checkerframework.framework.util.DefaultAnnotationFormatter