This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: Patch: merge File.toURI() from Classpath
Bryce McKinlay wrote:
Again, these exceptions should be documented as part of our API
documentation. They are exceptions that should _never_ happen. No call
from the application should cause them to be thrown, thus they are not
part of the API. If they are ever thrown, then there is a bug in
classpath. Nevertheless, applications should have the ability to try and
continue in the face of classpath bugs if they need fault tolerance.
Can't we just use assertions for things that should never happen?
cheers,
dalibor topic