publicclass Available
{ publicstaticvoid main (String argv[]) throws Exception {
ZipFile zf = new ZipFile(new File(System.getProperty("test.src"), "input.jar"));
ZipEntry e = zf.getEntry("ReleaseInflater.java"); if (e.getSize() != zf.getInputStream(e).available()) { thrownew Exception("wrong return value of available");
}
}
}
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.