Merge pull request #28 from LoiNguyenCS/use-2-exception

add exception for Parameter visit method
njit-jerse · Oct 3, 2023 · fcc9ec4 · fcc9ec4
2 parents 162e080 + 218ef62
commit fcc9ec4
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