public void dump(PrintWriter stream) { stream.print("archive=" + archiveName); if (info != null) { info.dump(stream); } for (int i = 0; i < resourceTypeTable.length; i++) { if (resourceTypeTable[i] != null) { resourceTypeTable[i].dump(stream); } } stream.print("time="); timeSeries.dump(stream); for (int i = 0; i < resourceInstTable.length; i++) { if (resourceInstTable[i] != null) { resourceInstTable[i].dump(stream); } } }