org.checkerframework.checker.units

Class UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor

java.lang.Object

org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor

All Implemented Interfaces:

org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<String,Set<org.checkerframework.framework.type.AnnotatedTypeMirror>>

Enclosing class:

UnitsAnnotatedTypeFormatter

protected static class UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
UnitsFormattingVisitor(org.checkerframework.common.basetype.BaseTypeChecker checker, org.checkerframework.framework.util.AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting)

Method Summary

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

UnitsFormattingVisitor

public UnitsFormattingVisitor(org.checkerframework.common.basetype.BaseTypeChecker checker,
                              org.checkerframework.framework.util.AnnotationFormatter annoFormatter,
                              boolean printVerboseGenerics,
                              boolean defaultInvisiblesSetting)