Class NullnessNoInitAnnotatedTypeFormatter
- java.lang.Object
-
- org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
-
- org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFormatter
-
- All Implemented Interfaces:
AnnotatedTypeFormatter
public class NullnessNoInitAnnotatedTypeFormatter extends DefaultAnnotatedTypeFormatter
A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description protected static class
NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor
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
Constructors Constructor Description NullnessNoInitAnnotatedTypeFormatter(boolean printVerboseGenerics, boolean printInvisibleQualifiers)
Create a new NullnessNoInitAnnotatedTypeFormatter
-
Method Summary
-
Methods inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
format, format, getCaptureConversionId
-
-
-
-
Constructor Detail
-
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
-
-