Package com.palantir.baseline.errorprone.safety

Class SafetyPropagationTransfer

  • All Implemented Interfaces:
    org.checkerframework.errorprone.dataflow.analysis.ForwardTransferFunction<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>, org.checkerframework.errorprone.dataflow.analysis.TransferFunction<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>, org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>
    public final class SafetyPropagationTransfer
extends java.lang.Object
implements org.checkerframework.errorprone.dataflow.analysis.ForwardTransferFunction<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>
    Heavily modified fork from error-prone NullnessPropagationTransfer (apache 2).
    See Also:
    NullnessPropagationTransfer

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      com.google.errorprone.dataflow.AccessPathStore<Safety> initialStore​(org.checkerframework.errorprone.dataflow.cfg.UnderlyingAST _underlyingAst, java.util.List<org.checkerframework.errorprone.dataflow.cfg.node.LocalVariableNode> parameters)  
      SafetyPropagationTransfer.ClearVisitorState setVisitorState​(com.google.errorprone.VisitorState value)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitArrayAccess​(org.checkerframework.errorprone.dataflow.cfg.node.ArrayAccessNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitArrayCreation​(org.checkerframework.errorprone.dataflow.cfg.node.ArrayCreationNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitArrayType​(org.checkerframework.errorprone.dataflow.cfg.node.ArrayTypeNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitAssertionError​(org.checkerframework.errorprone.dataflow.cfg.node.AssertionErrorNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitAssignment​(org.checkerframework.errorprone.dataflow.cfg.node.AssignmentNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseAnd​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseAndNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseComplement​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseComplementNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseOr​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseOrNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseXor​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseXorNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBooleanLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.BooleanLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitCase​(org.checkerframework.errorprone.dataflow.cfg.node.CaseNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitCharacterLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.CharacterLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitClassDeclaration​(org.checkerframework.errorprone.dataflow.cfg.node.ClassDeclarationNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitClassName​(org.checkerframework.errorprone.dataflow.cfg.node.ClassNameNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitConditionalAnd​(org.checkerframework.errorprone.dataflow.cfg.node.ConditionalAndNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitConditionalNot​(org.checkerframework.errorprone.dataflow.cfg.node.ConditionalNotNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitConditionalOr​(org.checkerframework.errorprone.dataflow.cfg.node.ConditionalOrNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitDoubleLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.DoubleLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitEqualTo​(org.checkerframework.errorprone.dataflow.cfg.node.EqualToNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitExplicitThis​(org.checkerframework.errorprone.dataflow.cfg.node.ExplicitThisNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFieldAccess​(org.checkerframework.errorprone.dataflow.cfg.node.FieldAccessNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFloatingDivision​(org.checkerframework.errorprone.dataflow.cfg.node.FloatingDivisionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFloatingRemainder​(org.checkerframework.errorprone.dataflow.cfg.node.FloatingRemainderNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFloatLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.FloatLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitGreaterThan​(org.checkerframework.errorprone.dataflow.cfg.node.GreaterThanNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitGreaterThanOrEqual​(org.checkerframework.errorprone.dataflow.cfg.node.GreaterThanOrEqualNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitImplicitThis​(org.checkerframework.errorprone.dataflow.cfg.node.ImplicitThisNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitInstanceOf​(org.checkerframework.errorprone.dataflow.cfg.node.InstanceOfNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitIntegerDivision​(org.checkerframework.errorprone.dataflow.cfg.node.IntegerDivisionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitIntegerLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.IntegerLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitIntegerRemainder​(org.checkerframework.errorprone.dataflow.cfg.node.IntegerRemainderNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLambdaResultExpression​(org.checkerframework.errorprone.dataflow.cfg.node.LambdaResultExpressionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLeftShift​(org.checkerframework.errorprone.dataflow.cfg.node.LeftShiftNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLessThan​(org.checkerframework.errorprone.dataflow.cfg.node.LessThanNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLessThanOrEqual​(org.checkerframework.errorprone.dataflow.cfg.node.LessThanOrEqualNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLocalVariable​(org.checkerframework.errorprone.dataflow.cfg.node.LocalVariableNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLongLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.LongLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMarker​(org.checkerframework.errorprone.dataflow.cfg.node.MarkerNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMemberReference​(org.checkerframework.errorprone.dataflow.cfg.node.FunctionalInterfaceNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMethodAccess​(org.checkerframework.errorprone.dataflow.cfg.node.MethodAccessNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMethodInvocation​(org.checkerframework.errorprone.dataflow.cfg.node.MethodInvocationNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNarrowingConversion​(org.checkerframework.errorprone.dataflow.cfg.node.NarrowingConversionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNotEqual​(org.checkerframework.errorprone.dataflow.cfg.node.NotEqualNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNullChk​(org.checkerframework.errorprone.dataflow.cfg.node.NullChkNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNullLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.NullLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalAddition​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalAdditionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalMinus​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalMinusNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalMultiplication​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalMultiplicationNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalPlus​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalPlusNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalSubtraction​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalSubtractionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitObjectCreation​(org.checkerframework.errorprone.dataflow.cfg.node.ObjectCreationNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitPackageName​(org.checkerframework.errorprone.dataflow.cfg.node.PackageNameNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitParameterizedType​(org.checkerframework.errorprone.dataflow.cfg.node.ParameterizedTypeNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitPrimitiveType​(org.checkerframework.errorprone.dataflow.cfg.node.PrimitiveTypeNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitReturn​(org.checkerframework.errorprone.dataflow.cfg.node.ReturnNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitShortLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.ShortLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSignedRightShift​(org.checkerframework.errorprone.dataflow.cfg.node.SignedRightShiftNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringConcatenate​(org.checkerframework.errorprone.dataflow.cfg.node.StringConcatenateNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringConcatenateAssignment​(org.checkerframework.errorprone.dataflow.cfg.node.StringConcatenateAssignmentNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringConversion​(org.checkerframework.errorprone.dataflow.cfg.node.StringConversionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.StringLiteralNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSuper​(org.checkerframework.errorprone.dataflow.cfg.node.SuperNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSwitchExpressionNode​(org.checkerframework.errorprone.dataflow.cfg.node.SwitchExpressionNode _node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSynchronized​(org.checkerframework.errorprone.dataflow.cfg.node.SynchronizedNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitTernaryExpression​(org.checkerframework.errorprone.dataflow.cfg.node.TernaryExpressionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitThrow​(org.checkerframework.errorprone.dataflow.cfg.node.ThrowNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitTypeCast​(org.checkerframework.errorprone.dataflow.cfg.node.TypeCastNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitUnsignedRightShift​(org.checkerframework.errorprone.dataflow.cfg.node.UnsignedRightShiftNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitVariableDeclaration​(org.checkerframework.errorprone.dataflow.cfg.node.VariableDeclarationNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  
      org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitWideningConversion​(org.checkerframework.errorprone.dataflow.cfg.node.WideningConversionNode node, org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • SafetyPropagationTransfer

        public SafetyPropagationTransfer()

    • Method Detail

      • initialStore

        public com.google.errorprone.dataflow.AccessPathStore<Safety> initialStore​(org.checkerframework.errorprone.dataflow.cfg.UnderlyingAST _underlyingAst,
                                                                           java.util.List<org.checkerframework.errorprone.dataflow.cfg.node.LocalVariableNode> parameters)
        Specified by:
        initialStore in interface org.checkerframework.errorprone.dataflow.analysis.ForwardTransferFunction<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>

      • visitShortLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitShortLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.ShortLiteralNode _node,
                                                                                                                                                               org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitShortLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitIntegerLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitIntegerLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.IntegerLiteralNode _node,
                                                                                                                                                                 org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitIntegerLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitLongLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLongLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.LongLiteralNode _node,
                                                                                                                                                              org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitLongLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitFloatLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFloatLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.FloatLiteralNode _node,
                                                                                                                                                               org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitFloatLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitDoubleLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitDoubleLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.DoubleLiteralNode _node,
                                                                                                                                                                org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitDoubleLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitBooleanLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBooleanLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.BooleanLiteralNode _node,
                                                                                                                                                                 org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitBooleanLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitCharacterLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitCharacterLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.CharacterLiteralNode _node,
                                                                                                                                                                   org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitCharacterLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitStringLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.StringLiteralNode _node,
                                                                                                                                                                org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitStringLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNullLiteral

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNullLiteral​(org.checkerframework.errorprone.dataflow.cfg.node.NullLiteralNode _node,
                                                                                                                                                              org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNullLiteral in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNumericalMinus

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalMinus​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalMinusNode node,
                                                                                                                                                                 org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNumericalMinus in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNumericalPlus

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalPlus​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalPlusNode node,
                                                                                                                                                                org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNumericalPlus in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitBitwiseComplement

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseComplement​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseComplementNode node,
                                                                                                                                                                    org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitBitwiseComplement in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNullChk

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNullChk​(org.checkerframework.errorprone.dataflow.cfg.node.NullChkNode node,
                                                                                                                                                          org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNullChk in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitStringConcatenate

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringConcatenate​(org.checkerframework.errorprone.dataflow.cfg.node.StringConcatenateNode node,
                                                                                                                                                                    org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitStringConcatenate in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNumericalAddition

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalAddition​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalAdditionNode node,
                                                                                                                                                                    org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNumericalAddition in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNumericalSubtraction

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalSubtraction​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalSubtractionNode node,
                                                                                                                                                                       org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNumericalSubtraction in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNumericalMultiplication

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNumericalMultiplication​(org.checkerframework.errorprone.dataflow.cfg.node.NumericalMultiplicationNode node,
                                                                                                                                                                          org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNumericalMultiplication in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitIntegerDivision

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitIntegerDivision​(org.checkerframework.errorprone.dataflow.cfg.node.IntegerDivisionNode node,
                                                                                                                                                                  org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitIntegerDivision in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitFloatingDivision

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFloatingDivision​(org.checkerframework.errorprone.dataflow.cfg.node.FloatingDivisionNode node,
                                                                                                                                                                   org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitFloatingDivision in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitIntegerRemainder

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitIntegerRemainder​(org.checkerframework.errorprone.dataflow.cfg.node.IntegerRemainderNode node,
                                                                                                                                                                   org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitIntegerRemainder in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitFloatingRemainder

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFloatingRemainder​(org.checkerframework.errorprone.dataflow.cfg.node.FloatingRemainderNode node,
                                                                                                                                                                    org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitFloatingRemainder in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitLeftShift

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLeftShift​(org.checkerframework.errorprone.dataflow.cfg.node.LeftShiftNode node,
                                                                                                                                                            org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitLeftShift in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitSignedRightShift

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSignedRightShift​(org.checkerframework.errorprone.dataflow.cfg.node.SignedRightShiftNode node,
                                                                                                                                                                   org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitSignedRightShift in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitUnsignedRightShift

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitUnsignedRightShift​(org.checkerframework.errorprone.dataflow.cfg.node.UnsignedRightShiftNode node,
                                                                                                                                                                     org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitUnsignedRightShift in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitBitwiseAnd

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseAnd​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseAndNode node,
                                                                                                                                                             org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitBitwiseAnd in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitBitwiseOr

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseOr​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseOrNode node,
                                                                                                                                                            org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitBitwiseOr in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitBitwiseXor

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitBitwiseXor​(org.checkerframework.errorprone.dataflow.cfg.node.BitwiseXorNode node,
                                                                                                                                                             org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitBitwiseXor in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitStringConcatenateAssignment

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringConcatenateAssignment​(org.checkerframework.errorprone.dataflow.cfg.node.StringConcatenateAssignmentNode node,
                                                                                                                                                                              org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitStringConcatenateAssignment in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitLessThan

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLessThan​(org.checkerframework.errorprone.dataflow.cfg.node.LessThanNode node,
                                                                                                                                                           org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitLessThan in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitLessThanOrEqual

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLessThanOrEqual​(org.checkerframework.errorprone.dataflow.cfg.node.LessThanOrEqualNode node,
                                                                                                                                                                  org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitLessThanOrEqual in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitGreaterThan

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitGreaterThan​(org.checkerframework.errorprone.dataflow.cfg.node.GreaterThanNode _node,
                                                                                                                                                              org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitGreaterThan in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitGreaterThanOrEqual

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitGreaterThanOrEqual​(org.checkerframework.errorprone.dataflow.cfg.node.GreaterThanOrEqualNode _node,
                                                                                                                                                                     org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitGreaterThanOrEqual in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitEqualTo

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitEqualTo​(org.checkerframework.errorprone.dataflow.cfg.node.EqualToNode _node,
                                                                                                                                                          org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitEqualTo in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNotEqual

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNotEqual​(org.checkerframework.errorprone.dataflow.cfg.node.NotEqualNode _node,
                                                                                                                                                           org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNotEqual in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitConditionalAnd

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitConditionalAnd​(org.checkerframework.errorprone.dataflow.cfg.node.ConditionalAndNode node,
                                                                                                                                                                 org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitConditionalAnd in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitConditionalOr

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitConditionalOr​(org.checkerframework.errorprone.dataflow.cfg.node.ConditionalOrNode node,
                                                                                                                                                                org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitConditionalOr in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitConditionalNot

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitConditionalNot​(org.checkerframework.errorprone.dataflow.cfg.node.ConditionalNotNode node,
                                                                                                                                                                 org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitConditionalNot in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitTernaryExpression

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitTernaryExpression​(org.checkerframework.errorprone.dataflow.cfg.node.TernaryExpressionNode node,
                                                                                                                                                                    org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitTernaryExpression in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitSwitchExpressionNode

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSwitchExpressionNode​(org.checkerframework.errorprone.dataflow.cfg.node.SwitchExpressionNode _node,
                                                                                                                                                                       org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitSwitchExpressionNode in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitAssignment

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitAssignment​(org.checkerframework.errorprone.dataflow.cfg.node.AssignmentNode node,
                                                                                                                                                             org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitAssignment in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitLocalVariable

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLocalVariable​(org.checkerframework.errorprone.dataflow.cfg.node.LocalVariableNode node,
                                                                                                                                                                org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitLocalVariable in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitVariableDeclaration

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitVariableDeclaration​(org.checkerframework.errorprone.dataflow.cfg.node.VariableDeclarationNode node,
                                                                                                                                                                      org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitVariableDeclaration in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitFieldAccess

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitFieldAccess​(org.checkerframework.errorprone.dataflow.cfg.node.FieldAccessNode node,
                                                                                                                                                              org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitFieldAccess in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitMethodAccess

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMethodAccess​(org.checkerframework.errorprone.dataflow.cfg.node.MethodAccessNode node,
                                                                                                                                                               org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitMethodAccess in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitArrayAccess

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitArrayAccess​(org.checkerframework.errorprone.dataflow.cfg.node.ArrayAccessNode node,
                                                                                                                                                              org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitArrayAccess in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitImplicitThis

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitImplicitThis​(org.checkerframework.errorprone.dataflow.cfg.node.ImplicitThisNode node,
                                                                                                                                                               org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitImplicitThis in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitExplicitThis

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitExplicitThis​(org.checkerframework.errorprone.dataflow.cfg.node.ExplicitThisNode node,
                                                                                                                                                               org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitExplicitThis in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitSuper

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSuper​(org.checkerframework.errorprone.dataflow.cfg.node.SuperNode node,
                                                                                                                                                        org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitSuper in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitReturn

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitReturn​(org.checkerframework.errorprone.dataflow.cfg.node.ReturnNode node,
                                                                                                                                                         org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitReturn in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitLambdaResultExpression

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitLambdaResultExpression​(org.checkerframework.errorprone.dataflow.cfg.node.LambdaResultExpressionNode node,
                                                                                                                                                                         org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitLambdaResultExpression in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitStringConversion

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitStringConversion​(org.checkerframework.errorprone.dataflow.cfg.node.StringConversionNode node,
                                                                                                                                                                   org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitStringConversion in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitWideningConversion

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitWideningConversion​(org.checkerframework.errorprone.dataflow.cfg.node.WideningConversionNode node,
                                                                                                                                                                     org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitWideningConversion in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitNarrowingConversion

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitNarrowingConversion​(org.checkerframework.errorprone.dataflow.cfg.node.NarrowingConversionNode node,
                                                                                                                                                                      org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitNarrowingConversion in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitTypeCast

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitTypeCast​(org.checkerframework.errorprone.dataflow.cfg.node.TypeCastNode node,
                                                                                                                                                           org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitTypeCast in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitInstanceOf

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitInstanceOf​(org.checkerframework.errorprone.dataflow.cfg.node.InstanceOfNode node,
                                                                                                                                                             org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitInstanceOf in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitSynchronized

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitSynchronized​(org.checkerframework.errorprone.dataflow.cfg.node.SynchronizedNode node,
                                                                                                                                                               org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitSynchronized in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitAssertionError

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitAssertionError​(org.checkerframework.errorprone.dataflow.cfg.node.AssertionErrorNode node,
                                                                                                                                                                 org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitAssertionError in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitThrow

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitThrow​(org.checkerframework.errorprone.dataflow.cfg.node.ThrowNode node,
                                                                                                                                                        org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitThrow in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitCase

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitCase​(org.checkerframework.errorprone.dataflow.cfg.node.CaseNode node,
                                                                                                                                                       org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitCase in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitMethodInvocation

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMethodInvocation​(org.checkerframework.errorprone.dataflow.cfg.node.MethodInvocationNode node,
                                                                                                                                                                   org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitMethodInvocation in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitObjectCreation

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitObjectCreation​(org.checkerframework.errorprone.dataflow.cfg.node.ObjectCreationNode node,
                                                                                                                                                                 org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitObjectCreation in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitMemberReference

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMemberReference​(org.checkerframework.errorprone.dataflow.cfg.node.FunctionalInterfaceNode node,
                                                                                                                                                                  org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitMemberReference in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitArrayCreation

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitArrayCreation​(org.checkerframework.errorprone.dataflow.cfg.node.ArrayCreationNode node,
                                                                                                                                                                org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitArrayCreation in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitArrayType

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitArrayType​(org.checkerframework.errorprone.dataflow.cfg.node.ArrayTypeNode node,
                                                                                                                                                            org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitArrayType in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitPrimitiveType

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitPrimitiveType​(org.checkerframework.errorprone.dataflow.cfg.node.PrimitiveTypeNode node,
                                                                                                                                                                org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitPrimitiveType in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitClassName

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitClassName​(org.checkerframework.errorprone.dataflow.cfg.node.ClassNameNode node,
                                                                                                                                                            org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitClassName in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitPackageName

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitPackageName​(org.checkerframework.errorprone.dataflow.cfg.node.PackageNameNode node,
                                                                                                                                                              org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitPackageName in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitParameterizedType

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitParameterizedType​(org.checkerframework.errorprone.dataflow.cfg.node.ParameterizedTypeNode node,
                                                                                                                                                                    org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitParameterizedType in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitMarker

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitMarker​(org.checkerframework.errorprone.dataflow.cfg.node.MarkerNode node,
                                                                                                                                                         org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitMarker in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>

      • visitClassDeclaration

        public org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> visitClassDeclaration​(org.checkerframework.errorprone.dataflow.cfg.node.ClassDeclarationNode node,
                                                                                                                                                                   org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>> input)
        Specified by:
        visitClassDeclaration in interface org.checkerframework.errorprone.dataflow.cfg.node.NodeVisitor<org.checkerframework.errorprone.dataflow.analysis.TransferResult<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>,​org.checkerframework.errorprone.dataflow.analysis.TransferInput<Safety,​com.google.errorprone.dataflow.AccessPathStore<Safety>>>