1 files changed, 17 insertions, 0 deletions

diff --git a/mps/code/pool.c b/mps/code/pool.c
index 05045b3f309..e92106128c3 100644
--- a/mps/code/pool.c
+++ b/mps/code/pool.c
@@ -461,6 +461,23 @@ void PoolReclaim(Pool pool, Trace trace, Seg seg)
 }
 
 
+/* PoolTraceEnd -- do end-of-trace work
+ *
+ * This method is for a pool class to do final end-of-trace work, 
+ * after all reclaiming is complete.  For example, emitting 
+ * diagnostics about what happened during the trace.
+ */
+
+void PoolTraceEnd(Pool pool, Trace trace)
+{
+  AVERT(Pool, pool);
+  AVERT(Trace, trace);
+  AVER(pool->arena == trace->arena);
+
+  (*pool->class->traceEnd)(pool, trace);
+}
+
+
 /* PoolWalk -- walk objects in this segment */
 
 void PoolWalk(Pool pool, Seg seg, FormattedObjectsStepMethod f,