Add params Javadoc

eisop · Jan 2, 2025 · 0710319 · 0710319
1 parent 2950d47
commit 0710319
Showing 1 changed file with 5 additions and 0 deletions.
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
@@ -180,6 +180,11 @@ public TransferResult<CFValue, CFStore> 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,