staticvoid go(String fn) throws Exception {
File f = new File(fn);
URL u = f.toURL();
String ufn = u.getFile(); if (!ufn.endsWith("/")) thrownew Exception(u + " does not end with slash"); if (ufn.endsWith("//")) thrownew Exception(u + " ends with two slashes");
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.