add exception

njit-jerse · Oct 3, 2023 · 218ef62 · 218ef62
1 parent ee4c32a
commit 218ef62
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
@@ -343,7 +343,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