aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/poolabs.c
diff options
context:
space:
mode:
authorNick Barnes2002-06-18 14:14:55 +0100
committerNick Barnes2002-06-18 14:14:55 +0100
commit6a1a360814506ddbcf856f41c089a10550f31ae5 (patch)
tree732fc720ec58b9badf2ce1eef392ada522130a03 /mps/code/poolabs.c
parent63e5f529159927bb42b58a97507f4467d6413973 (diff)
downloademacs-6a1a360814506ddbcf856f41c089a10550f31ae5.tar.gz
emacs-6a1a360814506ddbcf856f41c089a10550f31ae5.zip
Integrate changes from global graphics.
Copied from Perforce Change: 30250 ServerID: perforce.ravenbrook.com
Diffstat (limited to 'mps/code/poolabs.c')
-rw-r--r--mps/code/poolabs.c14
1 files changed, 14 insertions, 0 deletions
diff --git a/mps/code/poolabs.c b/mps/code/poolabs.c
index 86fd76ddf31..eaab36f4d12 100644
--- a/mps/code/poolabs.c
+++ b/mps/code/poolabs.c
@@ -2,6 +2,7 @@
2 * 2 *
3 * $Id$ 3 * $Id$
4 * Copyright (c) 2001 Ravenbrook Limited. 4 * Copyright (c) 2001 Ravenbrook Limited.
5 * Copyright (C) 2002 Global Graphics Software.
5 * 6 *
6 * PURPOSE 7 * PURPOSE
7 * 8 *
@@ -141,6 +142,7 @@ DEFINE_CLASS(AbstractPoolClass, class)
141 class->framePop = PoolNoFramePop; 142 class->framePop = PoolNoFramePop;
142 class->framePopPending = PoolNoFramePopPending; 143 class->framePopPending = PoolNoFramePopPending;
143 class->walk = PoolNoWalk; 144 class->walk = PoolNoWalk;
145 class->freewalk = PoolNoFreeWalk;
144 class->bufferClass = PoolNoBufferClass; 146 class->bufferClass = PoolNoBufferClass;
145 class->describe = PoolTrivDescribe; 147 class->describe = PoolTrivDescribe;
146 class->debugMixin = PoolNoDebugMixin; 148 class->debugMixin = PoolNoDebugMixin;
@@ -620,6 +622,18 @@ void PoolNoWalk(Pool pool, Seg seg,
620} 622}
621 623
622 624
625void PoolNoFreeWalk(Pool pool, FreeBlockStepMethod f, void *p)
626{
627 AVERT(Pool, pool);
628 AVER(FUNCHECK(f));
629 /* p is arbitrary, hence can't be checked */
630 UNUSED(p);
631
632 /* FreeWalk doesn't have be perfect, so just pretend you didn't find any. */
633 NOOP;
634}
635
636
623BufferClass PoolNoBufferClass(void) 637BufferClass PoolNoBufferClass(void)
624{ 638{
625 NOTREACHED; 639 NOTREACHED;