From 0710319536b27cacd1e5800beb8de45aeb5a9feb Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Thu, 2 Jan 2025 15:23:20 -0800
Subject: [PATCH] Add params Javadoc

---
 .../checker/index/upperbound/UpperBoundTransfer.java         | 5 +++++
 1 file changed, 5 insertions(+)

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<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,