Home
last modified time | relevance | path

Searched refs:getNullnessForContractDataflow (Results 1 – 2 of 2) sorted by relevance

/external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/contract/
DContractCheckHandler.java107 .getNullnessForContractDataflow( in onMatchMethod()
/external/nullaway/nullaway/src/main/java/com/uber/nullaway/dataflow/
DAccessPathNullnessAnalysis.java143 public Nullness getNullnessForContractDataflow(TreePath exprPath, Context context) { in getNullnessForContractDataflow() method in AccessPathNullnessAnalysis