Class MayReturnNullPropertyDatabase


  • @Deprecated
    public class MayReturnNullPropertyDatabase
    extends MethodPropertyDatabase<java.lang.Boolean>
    Deprecated.
    MethodPropertyDatabase for keeping track of which methods may return null.
    Author:
    David Hovemeyer
    • Constructor Detail

      • MayReturnNullPropertyDatabase

        public MayReturnNullPropertyDatabase()
        Deprecated.
    • Method Detail

      • encodeProperty

        protected java.lang.String encodeProperty​(java.lang.Boolean property)
        Deprecated.
        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
      • main

        public static void main​(java.lang.String[] args)
                         throws java.lang.Exception
        Deprecated.
        Throws:
        java.lang.Exception