PointerUsageRequiringNonNullValue |
UsagesRequiringNonNullValues.get(Location loc,
ValueNumber vn,
ValueNumberDataflow vnaDataflow) |
static PointerUsageRequiringNonNullValue |
PointerUsageRequiringNonNullValue.getPassedAsNonNullParameter(XMethod m,
int param) |
static PointerUsageRequiringNonNullValue |
PointerUsageRequiringNonNullValue.getPointerDereference() |
static PointerUsageRequiringNonNullValue |
PointerUsageRequiringNonNullValue.getPointerNullChecked() |
static PointerUsageRequiringNonNullValue |
PointerUsageRequiringNonNullValue.getReturnFromNonNullMethod(XMethod m) |
static PointerUsageRequiringNonNullValue |
PointerUsageRequiringNonNullValue.getStoredIntoNonNullField(XField f) |