1 files changed, 11 insertions, 10 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java
index 4af69077d3..5f277f2a0b 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java
@@ -4,16 +4,13 @@ package org.checkerframework.dataflow.cfg.node;
 import org.checkerframework.checker.nullness.qual.Nullable;
 */
 
-import org.checkerframework.dataflow.util.HashCodeUtils;
-
+import com.sun.source.tree.NewArrayTree;
+import com.sun.source.tree.Tree;
 import java.util.Collection;
 import java.util.LinkedList;
 import java.util.List;
-
 import javax.lang.model.type.TypeMirror;
-
-import com.sun.source.tree.NewArrayTree;
-import com.sun.source.tree.Tree;
+import org.checkerframework.dataflow.util.HashCodeUtils;
 
 /**
  * A node for new array creation
@@ -25,17 +22,21 @@ import com.sun.source.tree.Tree;
  *
  * @author Stefan Heule
  * @author Charlie Garrett
- *
  */
 public class ArrayCreationNode extends Node {
 
-    // The tree is null when an array is created for
-    // variable arity method calls.
+    /** The tree is null when an array is created for variable arity method calls. */
     protected /*@Nullable*/ NewArrayTree tree;
+    /**
+     * The length of this list is the number of dimensions in the array. Each element is the size of
+     * the given dimension.
+     */
     protected List<Node> dimensions;
+
     protected List<Node> initializers;
 
-    public ArrayCreationNode(/*@Nullable*/ NewArrayTree tree,
+    public ArrayCreationNode(
+            /*@Nullable*/ NewArrayTree tree,
             TypeMirror type,
             List<Node> dimensions,
             List<Node> initializers) {