add documentation to methods where it is missing

njit-jerse · Nov 29, 2023 · 34a10d5 · 34a10d5
1 parent 8a5bf1f
commit 34a10d5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/main/java/org/checkerframework/specimin/UnsolvedClass.java b/src/main/java/org/checkerframework/specimin/UnsolvedClass.java
@@ -121,7 +121,11 @@ public void addFields(String variableExpression) {
     this.classFields.add(variableExpression);
   }
 
-  /** This method sets the number of type variables for the current class */
+  /**
+   * This method sets the number of type variables for the current class
+   *
+   * @param numberOfTypeVariables number of type variable in this class.
+   */
   public void setNumberOfTypeVariables(int numberOfTypeVariables) {
     this.numberOfTypeVariables = numberOfTypeVariables;
   }