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 Description protected BaseTypeChecker
checker
protected javax.lang.model.util.Elements
elements
-
Constructor Summary
Constructors Constructor Description UnitsAnnotationFormatter(BaseTypeChecker checker)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
formatAnnotationString(java.util.Collection<? extends javax.lang.model.element.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.framework.util.DefaultAnnotationFormatter
formatAnnotationMirror, isInvisibleQualified
-
-
-
-
Field Detail
-
checker
protected final BaseTypeChecker checker
-
elements
protected final javax.lang.model.util.Elements elements
-
-
Constructor Detail
-
UnitsAnnotationFormatter
public UnitsAnnotationFormatter(BaseTypeChecker checker)
-
-
Method Detail
-
formatAnnotationString
public java.lang.String formatAnnotationString(java.util.Collection<? extends javax.lang.model.element.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 interfaceAnnotationFormatter
- Overrides:
formatAnnotationString
in classDefaultAnnotationFormatter
- Parameters:
annos
- a collection of annotations to printprintInvisible
- whether or not to print "invisible" annotation mirrors- Returns:
- the list of annotations converted to a String
- See Also:
InvisibleQualifier
-
-