protected static class NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor extends Object
Constructor and Description |
---|
NullnessFormattingVisitor(org.checkerframework.framework.util.AnnotationFormatter annoFormatter,
boolean printVerboseGenerics,
boolean defaultInvisiblesSetting) |
Modifier and Type | Method and Description |
---|---|
String |
visitNull(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType type,
Set<org.checkerframework.framework.type.AnnotatedTypeMirror> visiting) |
public NullnessFormattingVisitor(org.checkerframework.framework.util.AnnotationFormatter annoFormatter, boolean printVerboseGenerics, boolean defaultInvisiblesSetting)