org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFormatter

java.lang.Object

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter

All Implemented Interfaces:

org.checkerframework.framework.type.AnnotatedTypeFormatter

public class NullnessAnnotatedTypeFormatter
extends org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter

A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor

Nested classes/interfaces inherited from class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter

org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor

Field Summary

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

formattingVisitor

Constructor Summary

Constructors

Constructor and 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 Detail

NullnessAnnotatedTypeFormatter

public NullnessAnnotatedTypeFormatter(boolean printVerboseGenerics,
                                      boolean printInvisibleQualifiers)