Package org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFormatter

java.lang.Object

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter

All Implemented Interfaces:

AnnotatedTypeFormatter

public class NullnessAnnotatedTypeFormatter
extends DefaultAnnotatedTypeFormatter

A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor

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
NullnessAnnotatedTypeFormatter(boolean printVerboseGenerics, boolean printInvisibleQualifiers)

Method Summary

Methods inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter

format, format

Methods inherited from class java.lang.Object

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

Constructor Details

NullnessAnnotatedTypeFormatter

public NullnessAnnotatedTypeFormatter(boolean printVerboseGenerics,
 boolean printInvisibleQualifiers)