org.checkerframework.checker.units

Class UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor

java.lang.Object

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor

org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor

All Implemented Interfaces:

AnnotatedTypeVisitor<String,Set<AnnotatedTypeMirror>>

Enclosing class:

UnitsAnnotatedTypeFormatter

protected static class UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
extends 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

annoFormatter, currentPrintInvisibleSetting, currentPrintVerboseGenerics, defaultInvisiblesSetting, defaultPrintVerboseGenerics

Constructor Summary

Constructors

Constructor and Description
UnitsFormattingVisitor(BaseTypeChecker checker, AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting)

Method Summary

Methods inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor

formatFlatType, printBound, resetPrintVerboseSettings, setVerboseSettings, visit, visit, visitArray, visitDeclared, visitExecutable, visitIntersection, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitUnion, visitWildcard

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

UnitsFormattingVisitor

public UnitsFormattingVisitor(BaseTypeChecker checker,
                              AnnotationFormatter annoFormatter,
                              boolean printVerboseGenerics,
                              boolean defaultInvisiblesSetting)