Class UnitsAnnotatedTypeFormatter
- java.lang.Object
-
- org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
-
- org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
-
- All Implemented Interfaces:
AnnotatedTypeFormatter
public class UnitsAnnotatedTypeFormatter extends DefaultAnnotatedTypeFormatter
Formats units-of-measure annotations.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description protected static class
UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
Format the error printout of any units qualifier that uses Prefix.one.protected static class
UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
-
Nested classes/interfaces inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
DefaultAnnotatedTypeFormatter.FormattingVisitor
-
-
Field Summary
Fields Modifier and Type Field Description protected BaseTypeChecker
checker
The checker.protected javax.lang.model.util.Elements
elements
Javac element utilities.-
Fields inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
captureConversionIds, formattingVisitor, prevCaptureConversionId
-
-
Constructor Summary
Constructors Constructor Description UnitsAnnotatedTypeFormatter(BaseTypeChecker checker)
Create a UnitsAnnotatedTypeFormatter.
-
Method Summary
-
Methods inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
format, format, getCaptureConversionId
-
-
-
-
Field Detail
-
checker
protected final BaseTypeChecker checker
The checker.
-
elements
protected final javax.lang.model.util.Elements elements
Javac element utilities.
-
-
Constructor Detail
-
UnitsAnnotatedTypeFormatter
public UnitsAnnotatedTypeFormatter(BaseTypeChecker checker)
Create a UnitsAnnotatedTypeFormatter.- Parameters:
checker
- the checker
-
-