org.checkerframework.checker.units

Class UnitsAnnotatedTypeFormatter

java.lang.Object

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter

org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter

All Implemented Interfaces:

org.checkerframework.framework.type.AnnotatedTypeFormatter

public class UnitsAnnotatedTypeFormatter
extends org.checkerframework.framework.type.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

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor

Field Summary

Fields

Modifier and Type	Field and Description
protected org.checkerframework.common.basetype.BaseTypeChecker	checker
protected Elements	elements

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

formattingVisitor

Constructor Summary

Constructors

Constructor and Description
UnitsAnnotatedTypeFormatter(org.checkerframework.common.basetype.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 org.checkerframework.common.basetype.BaseTypeChecker checker

elements

protected final Elements elements

Constructor Detail

UnitsAnnotatedTypeFormatter

public UnitsAnnotatedTypeFormatter(org.checkerframework.common.basetype.BaseTypeChecker checker)