Interface IsNullValueAnalysisFeatures

  • All Known Implementing Classes:
    IsNullValue, IsNullValueAnalysis

    public interface IsNullValueAnalysisFeatures
    Knobs for null value analysis.
    Author:
    David Hovemeyer
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static boolean NCP_EXTRA_BRANCH
      Keep track of an extra branch, so we can distinguish conditionally-null values with two branches from conditionally-null values with three or more branches.
      static boolean NO_SPLIT_DOWNGRADE_NSP
      Do not downgrade "null on simple path" values to "null on complex path" on control splits.
      static boolean NO_SWITCH_DEFAULT_AS_EXCEPTION
      Don't consider switch default cases as exception paths.
      static boolean UNKNOWN_VALUES_ARE_NSP
      If this property is true, then we assume parameters and return values can be null (but aren't definitely null).
      static boolean USE_TYPE_QUALIFIERS
      If this property is true, then resolution of nullness annotations is based on JSR-305 type qualifiers rather than an AnnotationDatabase.
    • Field Detail

      • NO_SPLIT_DOWNGRADE_NSP

        static final boolean NO_SPLIT_DOWNGRADE_NSP
        Do not downgrade "null on simple path" values to "null on complex path" on control splits.
      • NO_SWITCH_DEFAULT_AS_EXCEPTION

        static final boolean NO_SWITCH_DEFAULT_AS_EXCEPTION
        Don't consider switch default cases as exception paths.
      • NCP_EXTRA_BRANCH

        static final boolean NCP_EXTRA_BRANCH
        Keep track of an extra branch, so we can distinguish conditionally-null values with two branches from conditionally-null values with three or more branches.
      • UNKNOWN_VALUES_ARE_NSP

        static final boolean UNKNOWN_VALUES_ARE_NSP
        If this property is true, then we assume parameters and return values can be null (but aren't definitely null).
      • USE_TYPE_QUALIFIERS

        static final boolean USE_TYPE_QUALIFIERS
        If this property is true, then resolution of nullness annotations is based on JSR-305 type qualifiers rather than an AnnotationDatabase.
        See Also:
        Constant Field Values