Class ParameterNullnessPropertyDatabase


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