Package org.checkerframework.checker.units

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 final BaseTypeChecker	checker	The checker.
protected final 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

checker

protected final BaseTypeChecker checker

The checker.

elements

protected final Elements elements

Javac element utilities.

Constructor Details

UnitsAnnotatedTypeFormatter

public UnitsAnnotatedTypeFormatter(BaseTypeChecker checker)

Create a UnitsAnnotatedTypeFormatter.

Parameters:

checker - the checker