Add Javadoc.

smillst · Dec 15, 2021 · a04acc7 · a04acc7
1 parent 176a87d
commit a04acc7
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/...ework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java b/...ework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java
@@ -1242,6 +1242,13 @@ public Void visitSwitch(SwitchTree javacTree, Node javaParserNode) {
     return null;
   }
 
+  /**
+   * Visit a switch expression.
+   *
+   * @param javacTree switch expression tree
+   * @param javaParserNode java parser node
+   * @return null
+   */
   public Void visitSwitchExpression17(Tree javacTree, Node javaParserNode) {
     SwitchExpr node = castNode(SwitchExpr.class, javaParserNode, javacTree);
     processSwitchExpression(javacTree, node);

diff --git a/framework/src/main/java/org/checkerframework/framework/ajava/TreeScannerWithDefaults.java b/framework/src/main/java/org/checkerframework/framework/ajava/TreeScannerWithDefaults.java
@@ -383,6 +383,13 @@ public Void visitSwitch(SwitchTree tree, Void p) {
     return super.visitSwitch(tree, p);
   }
 
+  /**
+   * Visit a switch expression tree.
+   *
+   * @param tree switch expression tree
+   * @param p null
+   * @return null
+   */
   public Void visitSwitchExpression17(Tree tree, Void p) {
     defaultAction(tree);
     return super.scan(tree, p);
@@ -454,6 +461,13 @@ public Void visitWildcard(WildcardTree tree, Void p) {
     return super.visitWildcard(tree, p);
   }
 
+  /**
+   * Visit a yield tree.
+   *
+   * @param tree a yield tree
+   * @param p null
+   * @return null
+   */
   public Void visitYield17(Tree tree, Void p) {
     defaultAction(tree);
     return super.scan(tree, p);