Class ParameterNullnessPropertyDatabase


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