Home
last modified time | relevance | path

Searched refs:LocalVariableNode (Results 1 – 12 of 12) sorted by relevance

/external/nullaway/nullaway/src/main/java/com/uber/nullaway/dataflow/
DCoreNullnessStoreInitializer.java21 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
28 List<LocalVariableNode> parameters, in getInitialStore()
50 List<LocalVariableNode> parameters, in methodInitialStore()
57 for (LocalVariableNode param : parameters) { in methodInitialStore()
69 List<LocalVariableNode> parameters, in lambdaInitialStore()
92 LocalVariableNode param = parameters.get(i); in lambdaInitialStore()
DNullnessStore.java36 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
69 public Nullness valueOfLocalVariable(LocalVariableNode node, Nullness defaultValue) { in valueOfLocalVariable()
133 public AccessPath getMapGetIteratorContentsAccessPath(LocalVariableNode iteratorVar) { in getMapGetIteratorContentsAccessPath()
235 Map<LocalVariableNode, LocalVariableNode> localVarTranslations) { in uprootAccessPaths() argument
242 for (LocalVariableNode fromVar : localVarTranslations.keySet()) { in uprootAccessPaths()
244 LocalVariableNode toVar = localVarTranslations.get(fromVar); in uprootAccessPaths()
DAccessPath.java47 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
126 public static AccessPath fromLocal(LocalVariableNode node) { in fromLocal()
337 if (node instanceof LocalVariableNode) { in getAccessPathForNodeWithMapGet()
338 return fromLocal((LocalVariableNode) node); in getAccessPathForNodeWithMapGet()
459 } else if (node instanceof LocalVariableNode) { in populateElementsRec()
460 result = new Root(((LocalVariableNode) node).getElement()); in populateElementsRec()
485 Node mapNode, LocalVariableNode iterVar, AccessPathContext apContext) { in mapWithIteratorContentsKey()
DAccessPathNullnessPropagation.java88 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
194 UnderlyingAST underlyingAST, List<LocalVariableNode> parameters) { in initialStore()
514 if (target instanceof LocalVariableNode in visitAssignment()
516 LocalVariableNode localVariableNode = (LocalVariableNode) target; in visitAssignment()
558 LocalVariableNode lhs, in handleEnhancedForOverKeySet()
587 if (receiver instanceof LocalVariableNode in handleEnhancedForOverKeySet()
588 && isEnhancedForIteratorVariable((LocalVariableNode) receiver)) { in handleEnhancedForOverKeySet()
595 .getMapGetIteratorContentsAccessPath((LocalVariableNode) receiver); in handleEnhancedForOverKeySet()
643 private boolean isEnhancedForIteratorVariable(LocalVariableNode varNode) { in isEnhancedForIteratorVariable()
668 private static boolean hasNonNullConstantValue(LocalVariableNode node) { in hasNonNullConstantValue()
[all …]
DNullnessStoreInitializer.java17 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
40 List<LocalVariableNode> parameters, in getInitialStore()
/external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/
DStreamNullabilityPropagator.java63 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
408 List<LocalVariableNode> parameters, in onDataflowInitialStore()
422 LocalVariableNode filterLocalName; in onDataflowInitialStore()
423 LocalVariableNode mapLocalName; in onDataflowInitialStore()
425 filterLocalName = new LocalVariableNode(((MethodTree) filterTree).getParameters().get(0)); in onDataflowInitialStore()
428 new LocalVariableNode(((LambdaExpressionTree) filterTree).getParameters().get(0)); in onDataflowInitialStore()
431 mapLocalName = new LocalVariableNode(((MethodTree) tree).getParameters().get(argIdx)); in onDataflowInitialStore()
434 new LocalVariableNode(((LambdaExpressionTree) tree).getParameters().get(argIdx)); in onDataflowInitialStore()
DBaseNoOpHandler.java45 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
143 List<LocalVariableNode> parameters, in onDataflowInitialStore()
DHandler.java46 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
216 List<LocalVariableNode> parameters, in onDataflowInitialStore()
DCompositeHandler.java46 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
171 List<LocalVariableNode> parameters, in onDataflowInitialStore()
/external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/contract/
DContractNullnessStoreInitializer.java21 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
32 List<LocalVariableNode> parameters, in getInitialStore()
56 final LocalVariableNode param = parameters.get(i); in getInitialStore()
/external/kotlinx.atomicfu/atomicfu-transformer/src/main/kotlin/kotlinx/atomicfu/transformer/
DAsmUtil.kt82 fun MethodNode.localVar(v: Int, node: AbstractInsnNode): LocalVariableNode? = in AbstractInsnNode()
83 …(localVariables as List<LocalVariableNode>).firstOrNull { it.index == v && verifyLocalVarScopeStar… in AbstractInsnNode()
/external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/contract/fieldcontract/
DRequiresNonNullHandler.java50 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
179 List<LocalVariableNode> parameters, in onDataflowInitialStore()