Class UnitsAnnotatedTypeFormatter
java.lang.Object
org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
- All Implemented Interfaces:
AnnotatedTypeFormatter
Formats units-of-measure annotations.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionprotected static classFormat the error printout of any units qualifier that uses Prefix.one.protected static classNested classes/interfaces inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
DefaultAnnotatedTypeFormatter.FormattingVisitor -
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final BaseTypeCheckerThe checker.protected final ElementsJavac element utilities.Fields inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
captureConversionIds, formattingVisitor, prevCaptureConversionId -
Constructor Summary
ConstructorsConstructorDescriptionCreate a UnitsAnnotatedTypeFormatter. -
Method Summary
Methods inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
format, format
-
Field Details
-
checker
The checker. -
elements
Javac element utilities.
-
-
Constructor Details
-
UnitsAnnotatedTypeFormatter
Create a UnitsAnnotatedTypeFormatter.- Parameters:
checker- the checker
-