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 javax.lang.model.util.Elements	elements

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.lang.String	formatAnnotationString(java.util.Collection<? extends javax.lang.model.element.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 javax.lang.model.util.Elements elements

Constructor Detail

UnitsAnnotationFormatter

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

Method Detail

formatAnnotationString

public java.lang.String formatAnnotationString(java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> annos,
                                               boolean printInvisible)

Specified by:

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

Overrides:

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