privatestatic String contents(InputStream is) throws Exception {
StringBuilder sb = new StringBuilder(); int c; while ((c = is.read()) != -1)
sb.append((char)c); return sb.toString();
}
privatestaticvoid checkZipEntry(ZipEntry ze, String contents) {
check(ze.getName().equals("someFile"), "filename");
check(ze.getExtra() != null, "extra");
check(contents.equals("Message in a Bottle\n"), "contents");
check(ze.getSize() == "Message in a Bottle\n".length());
}
publicstaticvoid main(String[] args) throws Exception { //---------------------------------------------------------------- // The file InfoZip.zip was created using Unix Info-Zip's zip, thus: // echo Message in a Bottle > someFile; zip InfoZip.zip someFile // Such a file has a LOC extra different from the CEN extra, // which cannot happen using JDK APIs. //----------------------------------------------------------------
File f = new File("InfoZip.zip");
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.