Package 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	Description
protected final BaseTypeChecker	checker
protected final Elements	elements

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

annoFormatter, currentlyPrintingRaw, currentPrintInvisibleSetting, currentPrintVerboseGenerics, defaultInvisiblesSetting, defaultPrintVerboseGenerics

Constructor Summary

Constructors

Constructor	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 Details

checker

protected final BaseTypeChecker checker

elements

protected final Elements elements

Constructor Details

UnitsFormattingVisitor

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