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
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionformatAnnotationString
(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
-
Field Details
-
checker
-
elements
-
-
Constructor Details
-
UnitsAnnotationFormatter
-
-
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 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:
-