Class NullValueUnconditionalDeref

java.lang.Object
edu.umd.cs.findbugs.ba.npe.NullValueUnconditionalDeref
public class NullValueUnconditionalDeref extends Object
Collected information about a single value number observed at one or more locations to be both definitely-null and unconditionally dereferenced.

  • Field Details

    • alwaysOnExceptionPath

      private boolean alwaysOnExceptionPath

    • alwaysFieldValue

      private boolean alwaysFieldValue

    • alwaysMethodReturnValue

      private boolean alwaysMethodReturnValue

    • alwaysReadlineValue

      private boolean alwaysReadlineValue

    • alwaysCheckForNullMethodReturn

      private boolean alwaysCheckForNullMethodReturn

    • derefLocationSet

      private final Set<Location> derefLocationSet

  • Constructor Details

    • NullValueUnconditionalDeref

      public NullValueUnconditionalDeref()

  • Method Details

    • add

      public void add(IsNullValue isNullValue, Set<Location> unconditionalDerefLocationSet)
      Parameters:
      isNullValue -
      unconditionalDerefLocationSet -

    • getDerefLocationSet

      public Set<Location> getDerefLocationSet()
      Returns:
      Returns the derefLocationSet.

    • isAlwaysOnExceptionPath

      public boolean isAlwaysOnExceptionPath()
      Returns:
      Returns the alwaysOnExceptionPath.

    • isMethodReturnValue

      public boolean isMethodReturnValue()
      Returns:
      Returns the alwaysMethodReturnValue.

    • isReadlineValue

      public boolean isReadlineValue()
      Returns:
      Returns the alwaysMethodReturnValue.

    • isFieldValue

      public boolean isFieldValue()
      Returns:
      Returns the alwaysFieldValue.

    • isAlwaysCheckForNullMethodReturn

      public boolean isAlwaysCheckForNullMethodReturn()