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.
  • 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