Searched defs:nullnessResult (Results 1 – 1 of 1) sorted by relevance
152 NullnessStore nullnessResult = dataFlow.finalResult(path, context, nullnessPropagation); in getNonnullFieldsOfReceiverAtExit() local161 private Set<Element> getNonnullReceiverFields(NullnessStore nullnessResult) { in getNonnullReceiverFields()