Class ParameterNullnessPropertyDatabase


  • public class ParameterNullnessPropertyDatabase
    extends MethodPropertyDatabase<ParameterProperty>
    Method property database storing which method parameters might be unconditionally dereferenced.
    Author:
    David Hovemeyer