diff --git a/checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java b/checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java index 933b4452c19..37fe1b85bab 100644 --- a/checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java +++ b/checker/src/main/java/org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java @@ -180,6 +180,11 @@ public TransferResult visitAssignment( * NumericalSubtractionNode, TransferInput, CFStore)}, and {@link * #propagateToMultiplicationOperand(UBQualifier.LessThanLengthOf, Node, Node, TransferInput, * CFStore)} for details. + * + * @param typeOfNode type of node + * @param node the node + * @param in the TransferInput before propagate to this operand + * @param store location to store the refined type */ private void propagateToOperands( LessThanLengthOf typeOfNode,