hotspot Cdiff src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.verifier/src/org/graalvm/compiler/replacements/verifier/ClassSubstitutionVerifier.java

src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.verifier/src/org/graalvm/compiler/replacements/verifier/ClassSubstitutionVerifier.java
Index Unified diffs Context diffs Sdiffs Patch New Old Previous File Next File hotspot Cdiff src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.verifier/src/org/graalvm/compiler/replacements/verifier/ClassSubstitutionVerifier.java

src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.replacements.verifier/src/org/graalvm/compiler/replacements/verifier/ClassSubstitutionVerifier.java

Print this page


*** 93,106 ****
  
          if (classNames.length != 0) {
              TypeElement typeElement = null;
              for (String className : classNames) {
                  typeElement = env.getElementUtils().getTypeElement(className);
                  if (typeElement == null && !optional) {
                      env.getMessager().printMessage(Kind.ERROR, String.format("The class '%s' was not found on the classpath.", stringValue), sourceElement, classSubstition, stringValue);
                  }
-             }
  
              return typeElement;
          }
  
          if (!optional) {
--- 93,109 ----
  
          if (classNames.length != 0) {
              TypeElement typeElement = null;
              for (String className : classNames) {
                  typeElement = env.getElementUtils().getTypeElement(className);
+                 if (typeElement != null) {
+                     break;
+                 }
+             }
              if (typeElement == null && !optional) {
                  env.getMessager().printMessage(Kind.ERROR, String.format("The class '%s' was not found on the classpath.", stringValue), sourceElement, classSubstition, stringValue);
              }
  
              return typeElement;
          }
  
          if (!optional) {