@@ -74,10 +74,14 @@ public void spaceIterate(SpaceClosure blk, boolean usedOnly) { blk.doSpace(theSpace()); } + public void liveRegionsIterate(LiveRegionsClosure closure) { + closure.doLiveRegions(theSpace()); + } + public void printOn(PrintStream tty) { tty.print(" old "); theSpace().printOn(tty); }