Package org.checkerframework.checker.nullness

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 the NullnessNoInitAnnotatedTypeFormatter.

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 bounds

printInvisibleQualifiers - whether or not to print invisible qualifiers