update Javadoc

njit-jerse · Nov 15, 2023 · 289fdfb · 289fdfb
1 parent e2e666f
commit 289fdfb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java
@@ -1297,7 +1297,9 @@ public boolean isAnUnsolvedStaticMethodCalledByAQualifiedClassName(MethodCallExp
    * Ensure to check with {@link #isAnUnsolvedStaticMethodCalledByAQualifiedClassName} before
    * calling this method.
    *
-   * @param methodCall the method call to be used as input
+   * @param methodCall the method call to be used as input. This method call must contain one or
+   *     more dot separated identifiers, followed by a single pair of parentheses containing
+   *     arguments
    * @param methodArguments the list of arguments for this method call
    */
   public void updateClassSetWithQualifiedStaticMethodCall(