Home
last modified time | relevance | path

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

/external/nullaway/nullaway/src/main/java/com/uber/nullaway/dataflow/
DDataFlow.java195 A expressionDataflow(TreePath exprPath, Context context, T transfer) {
196 AnalysisResult<A, S> analysisResult = resultForExpr(exprPath, context, transfer);
197 return analysisResult == null ? null : analysisResult.getValue(exprPath.getLeaf());
227 S resultBeforeExpr(TreePath exprPath, Context context, T transfer) {
228 AnalysisResult<A, S> analysisResult = resultForExpr(exprPath, context, transfer);
229 return analysisResult == null ? null : analysisResult.getStoreBefore(exprPath.getLeaf());
239 S resultBefore(TreePath exprPath, Context context, T transfer) {
240 AnalysisResult<A, S> analysisResult = resultFor(exprPath, context, transfer);
241 return analysisResult == null ? null : analysisResult.getStoreBefore(exprPath.getLeaf());
246 AnalysisResult<A, S> resultForExpr(TreePath exprPath, Context context, T transfer) {
[all …]
DAccessPathNullnessAnalysis.java127 public Nullness getNullness(TreePath exprPath, Context context) { in getNullness() argument
128 return dataFlow.expressionDataflow(exprPath, context, nullnessPropagation); in getNullness()
140 public Nullness getNullnessForContractDataflow(TreePath exprPath, Context context) { in getNullnessForContractDataflow() argument
141 return dataFlow.expressionDataflow(exprPath, context, contractNullnessPropagation); in getNullnessForContractDataflow()
341 TreePath exprPath, Context context, VariableElement variableElement) {
342 NullnessStore store = dataFlow.resultBeforeExpr(exprPath, context, nullnessPropagation);
347 .getControlFlowGraph(exprPath, context, nullnessPropagation)
348 .getNodesCorrespondingToTree(exprPath.getLeaf());