Package edu.umd.cs.findbugs.ba.npe

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.

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