dump.append("--------------------------"+EOL);
Iterator dumpIter = oidCache.getKeys().iterator();
while (dumpIter.hasNext())
{
Identity oid = (Identity)dumpIter.next();
NodeImpl node = cacheLookup(oid, false);
dump.append("node="+node.getPath()+", oid="+oid+EOL);
}
dump.append("--------------------------");
log.debug("DatabasePageManagerCache dump:"+EOL+dump.toString());
}