Class ReturnValueNullnessPropertyDatabase


  • public class ReturnValueNullnessPropertyDatabase
    extends MethodPropertyDatabase<java.lang.Boolean>
    Method property database storing which methods return values guaranteed to be nonnull
    Author:
    David Hovemeyer
    • Constructor Detail

      • ReturnValueNullnessPropertyDatabase

        public ReturnValueNullnessPropertyDatabase()
    • Method Detail

      • decodeProperty

        protected java.lang.Boolean decodeProperty​(java.lang.String propStr)
        Description copied from class: PropertyDatabase
        Subclasses must define this to instantiate the actual property value from its string encoding.
        Specified by:
        decodeProperty in class PropertyDatabase<MethodDescriptor,​java.lang.Boolean>
        Parameters:
        propStr - String containing the encoded property
        Returns:
        the property
      • encodeProperty

        protected java.lang.String encodeProperty​(java.lang.Boolean property)
        Description copied from class: PropertyDatabase
        Subclasses must define this to encode a property as a string for output to a file.
        Specified by:
        encodeProperty in class PropertyDatabase<MethodDescriptor,​java.lang.Boolean>
        Parameters:
        property - the property
        Returns:
        a String which encodes the property