org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor

java.lang.Object

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor

All Implemented Interfaces:

AnnotatedTypeVisitor<String,Set<AnnotatedTypeMirror>>

Enclosing class:

NullnessAnnotatedTypeFormatter

protected static class NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
extends DefaultAnnotatedTypeFormatter.FormattingVisitor

Field Summary

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

annoFormatter, currentPrintInvisibleSetting, currentPrintVerboseGenerics, defaultInvisiblesSetting, defaultPrintVerboseGenerics

Constructor Summary

Constructors

Constructor and Description
NullnessFormattingVisitor(AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting)

Method Summary

Modifier and Type	Method and Description
String	visitNull(AnnotatedTypeMirror.AnnotatedNullType type, Set<AnnotatedTypeMirror> visiting) Visits a null type.

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NullnessFormattingVisitor

public NullnessFormattingVisitor(AnnotationFormatter annoFormatter,
                                 boolean printVerboseGenerics,
                                 boolean defaultInvisiblesSetting)

Method Detail

visitNull

public String visitNull(AnnotatedTypeMirror.AnnotatedNullType type,
                        Set<AnnotatedTypeMirror> visiting)

Description copied from interface: AnnotatedTypeVisitor

Visits a null type.

Specified by:

visitNull in interface AnnotatedTypeVisitor<String,Set<AnnotatedTypeMirror>>

Overrides:

visitNull in class DefaultAnnotatedTypeFormatter.FormattingVisitor

Parameters:

type - the type to visit

visiting - a visitor-specified parameter

Returns:

a visitor-specified result