publicclass CloseXMLStream { publicstaticvoid main(String[] args) throws Throwable { class ExpectedClosingException extends RuntimeException {};
Properties props = new Properties();
ByteArrayOutputStream out = new ByteArrayOutputStream();
props.storeToXML(out, null);
ByteArrayInputStream in = new ByteArrayInputStream(out.toByteArray()) { publicvoid close() { thrownew ExpectedClosingException();
}
}; try {
props.loadFromXML(in); thrownew Exception("Failed: loadFromXML does not close the is!");
} catch (ExpectedClosingException ex) { /*OK*/ }
}
}
Messung V0.5 in Prozent
¤ 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.0.17Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
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.