Class NullValueUnconditionalDeref


  • public class NullValueUnconditionalDeref
    extends java.lang.Object
    Collected information about a single value number observed at one or more locations to be both definitely-null and unconditionally dereferenced.
    • Constructor Detail

      • NullValueUnconditionalDeref

        public NullValueUnconditionalDeref()
    • Method Detail

      • add

        public void add​(IsNullValue isNullValue,
                        java.util.Set<Location> unconditionalDerefLocationSet)
        Parameters:
        isNullValue -
        unconditionalDerefLocationSet -
      • getDerefLocationSet

        public java.util.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.