add exception to Parameter visit method

njit-jerse · Oct 2, 2023 · 4622a6d · 4622a6d
1 parent 39e36e2
commit 4622a6d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java
@@ -379,7 +379,10 @@ public Visitable visit(Parameter parameter, Void p) {
     try {
       parameter.resolve().describeType();
       return super.visit(parameter, p);
-    } catch (UnsolvedSymbolException e) {
+    }
+    // If the parameter originates from a Java built-in library, such as java.io or java.lang,
+    // an UnsupportedOperationException will be thrown instead.
+    catch (UnsolvedSymbolException | UnsupportedOperationException e) {
       String parameterInString = parameter.toString();
       if (isAClassPath(parameterInString)) {
         // parameterInString needs to be a fully-qualified name. As this parameter has a form of