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, currentlyPrintingRaw, currentPrintInvisibleSetting, currentPrintVerboseGenerics, defaultInvisiblesSetting, defaultPrintVerboseGenerics -
Constructor Summary
ConstructorsConstructorDescriptionNullnessFormattingVisitor(AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting) -
Method Summary
Modifier and TypeMethodDescriptionvisitNull(AnnotatedTypeMirror.AnnotatedNullType type, Set<AnnotatedTypeMirror> visiting) Visits anulltype.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
-
Constructor Details
-
NullnessFormattingVisitor
public NullnessFormattingVisitor(AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting)
-
-
Method Details
-
visitNull
public String visitNull(AnnotatedTypeMirror.AnnotatedNullType type, Set<AnnotatedTypeMirror> visiting) Description copied from interface:AnnotatedTypeVisitorVisits anulltype.- Specified by:
visitNullin interfaceAnnotatedTypeVisitor<String,Set<AnnotatedTypeMirror>> - Overrides:
visitNullin classDefaultAnnotatedTypeFormatter.FormattingVisitor- Parameters:
type- the type to visitvisiting- a visitor-specified parameter- Returns:
- a visitor-specified result
-