warning: auxiliary class CompoundEnumeration in ClassLoader.java should not be accessed from outside its own source file about jpf-core HOT 5 CLOSED

This warning is shown when accessing a non-public class from a .java file that contains multiple classes.

Although it's not recommended, it is possible to declare multiple classes in one .java file. However, only one of those classes can be public:

=== A.java ===

public class A {
// ...
}

class B {
// this is an auxiliary class
}

============

from jpf-core.

The current code expects to have java.lang.CompoundEnumeration public standard Java class. But due to changes in the JDK, there seems to have no such public class. In JDK 9/10 for example it is declared in the java/lang/ClassLoader.java itself.

Please see the PR.

References:
http://hg.openjdk.java.net/jdk10/jdk10/jdk/rev/47e7d7363249

from jpf-core.

It seems that this class is a merely utility that allows continuous iteration over all values from an array of enumerations. The class name is probably not important; the essential part lies in the behaviour. Maybe we can rewrite this method to return an instance of Enumeration that contains all values from the arrays resEnum[0] and resEnum[1]?

By the way, this Enumeration class is from JDK 1.0, and probably is not used widely anymore; its name is a bit unfortunate as one can confuse it with Enum. This Enumeration class seems to be a less poverful equivalent of Iterator.

from jpf-core.

Thanks for the tip. What about this implementation, though it is quite verbose?

  public Enumeration<URL> getResources(String name) throws IOException {
    Vector<URL> urlVector = new Vector<>(2);
    if(parent == null) {
      Iterator<URL> iterator = getSystemClassLoader().getResourcesURL(name).asIterator();
      while (iterator.hasNext()) {
        urlVector.add(iterator.next());
      }
    } else{
      Iterator<URL> iterator = parent.getResources(name).asIterator();
      while (iterator.hasNext()) {
        urlVector.add(iterator.next());
      }
    }
    Iterator<URL> iterator = findResources(name).asIterator();
    while (iterator.hasNext()) {
      urlVector.add(iterator.next());
    }

    return urlVector.elements();
  }

from jpf-core.

Well, using Vector is not recommended for new code (very inefficient), although it conveniently returns an Enumeration. I would add a helper adapter class like the one below, and then used Iterator::forEachRemaining to add elements to a collection such as ArrayList.

    public class EnumerationAdapter<E> implements Enumeration<E> {
        private final Iterator<E> iterator;

        public EnumerationProxy(Collection<E> collection) {
            iterator = collection.iterator();
        }

        @Override
        public boolean hasMoreElements() {
            return iterator.hasNext();
        }

        @Override
        public E nextElement() {
            return iterator.next();
        }
    }

from jpf-core.