Class NullnessNoInitAnnotatedTypeFormatter
java.lang.Object
org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFormatter
- All Implemented Interfaces:
AnnotatedTypeFormatter
A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionprotected static class
The visitor used by theNullnessNoInitAnnotatedTypeFormatter
.Nested classes/interfaces inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
DefaultAnnotatedTypeFormatter.FormattingVisitor
-
Field Summary
Fields inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
captureConversionIds, formattingVisitor, prevCaptureConversionId
-
Constructor Summary
ConstructorsConstructorDescriptionNullnessNoInitAnnotatedTypeFormatter
(boolean printVerboseGenerics, boolean printInvisibleQualifiers) Create a new NullnessNoInitAnnotatedTypeFormatter -
Method Summary
Methods inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
format, format, getCaptureConversionId
-
Constructor Details
-
NullnessNoInitAnnotatedTypeFormatter
public NullnessNoInitAnnotatedTypeFormatter(boolean printVerboseGenerics, boolean printInvisibleQualifiers) Create a new NullnessNoInitAnnotatedTypeFormatter- Parameters:
printVerboseGenerics
- whether to print type variables in a less ambiguous manner using[]
to delimit boundsprintInvisibleQualifiers
- whether or not to print invisible qualifiers
-