Package org.checkerframework.checker.nullness

Class NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor

java.lang.Object

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor

org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor

All Implemented Interfaces:

AnnotatedTypeVisitor<String,Set<AnnotatedTypeMirror>>

Enclosing class:

NullnessNoInitAnnotatedTypeFormatter

protected static class NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor
extends DefaultAnnotatedTypeFormatter.FormattingVisitor

The visitor used by the NullnessNoInitAnnotatedTypeFormatter.

Field Summary

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

annoFormatter, currentlyPrintingRaw, currentPrintInvisibleSetting, currentPrintVerboseGenerics, defaultInvisiblesSetting, defaultPrintVerboseGenerics

Constructor Summary

Constructors

Constructor	Description
NullnessFormattingVisitor(AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting)	Create a new NullnessFormattingVisitor.

Method Summary

Modifier and Type	Method	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 Details

NullnessFormattingVisitor

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

Create a new NullnessFormattingVisitor.

Parameters:

annoFormatter - the formatter to use

printVerboseGenerics - whether to print type variables in a less ambiguous manner using [] to delimit bounds

defaultInvisiblesSetting - whether or not to print invisible qualifiers

Method Details

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