Class NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor
- java.lang.Object
-
- org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
-
- org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor
-
- All Implemented Interfaces:
AnnotatedTypeVisitor<java.lang.String,java.util.Set<AnnotatedTypeMirror>>
- Enclosing class:
- NullnessNoInitAnnotatedTypeFormatter
protected static class NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor extends DefaultAnnotatedTypeFormatter.FormattingVisitor
The visitor used by theNullnessNoInitAnnotatedTypeFormatter
.
-
-
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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
visitNull(AnnotatedTypeMirror.AnnotatedNullType type, java.util.Set<AnnotatedTypeMirror> visiting)
Visits anull
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
-
-
-
-
Constructor Detail
-
NullnessFormattingVisitor
public NullnessFormattingVisitor(AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting)
Create a new NullnessFormattingVisitor.- Parameters:
annoFormatter
- the formatter to useprintVerboseGenerics
- whether to print type variables in a less ambiguous manner using[]
to delimit boundsdefaultInvisiblesSetting
- whether or not to print invisible qualifiers
-
-
Method Detail
-
visitNull
public java.lang.String visitNull(AnnotatedTypeMirror.AnnotatedNullType type, java.util.Set<AnnotatedTypeMirror> visiting)
Description copied from interface:AnnotatedTypeVisitor
Visits anull
type.- Specified by:
visitNull
in interfaceAnnotatedTypeVisitor<java.lang.String,java.util.Set<AnnotatedTypeMirror>>
- Overrides:
visitNull
in classDefaultAnnotatedTypeFormatter.FormattingVisitor
- Parameters:
type
- the type to visitvisiting
- a visitor-specified parameter- Returns:
- a visitor-specified result
-
-