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

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 and Description
protected BaseTypeChecker	checker
protected Elements	elements

Fields inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter

formattingVisitor

Constructor Summary

Constructors

Constructor and Description
UnitsAnnotatedTypeFormatter(BaseTypeChecker checker)

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 Detail

checker

protected final BaseTypeChecker checker

elements

protected final Elements elements

Constructor Detail

UnitsAnnotatedTypeFormatter

public UnitsAnnotatedTypeFormatter(BaseTypeChecker checker)