aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/pool.c
diff options
context:
space:
mode:
authorRichard Brooksby2002-06-07 16:47:14 +0100
committerRichard Brooksby2002-06-07 16:47:14 +0100
commit97075f705350901f5ff46387f658ab459a4cd73f (patch)
tree4349ad5e7200f072a800f48749d57f3625757e7e /mps/code/pool.c
parent8b990e4858b6f6d735de07a241b1785702bb16e7 (diff)
downloademacs-97075f705350901f5ff46387f658ab459a4cd73f.tar.gz
emacs-97075f705350901f5ff46387f658ab459a4cd73f.zip
Updating cross references to design documents to html style, to go with master/design document tree.
Copied from Perforce Change: 29897 ServerID: perforce.ravenbrook.com
Diffstat (limited to 'mps/code/pool.c')
-rw-r--r--mps/code/pool.c10
1 files changed, 5 insertions, 5 deletions
diff --git a/mps/code/pool.c b/mps/code/pool.c
index bc4c49b774e..0728824743e 100644
--- a/mps/code/pool.c
+++ b/mps/code/pool.c
@@ -5,7 +5,7 @@
5 * 5 *
6 * DESIGN 6 * DESIGN
7 * 7 *
8 * .design: See design.mps.class-interface and design.mps.pool. 8 * .design: See <design/class-interface/> and <design/pool/>.
9 * 9 *
10 * PURPOSE 10 * PURPOSE
11 * 11 *
@@ -99,7 +99,7 @@ Bool PoolCheck(Pool pool)
99/* PoolInit, PoolInitV -- initialize a pool 99/* PoolInit, PoolInitV -- initialize a pool
100 * 100 *
101 * Initialize the generic fields of the pool and calls class-specific 101 * Initialize the generic fields of the pool and calls class-specific
102 * init. See design.mps.pool.align. */ 102 * init. See <design/pool/#align>. */
103 103
104Res PoolInit(Pool pool, Arena arena, PoolClass class, ...) 104Res PoolInit(Pool pool, Arena arena, PoolClass class, ...)
105{ 105{
@@ -130,7 +130,7 @@ Res PoolInitV(Pool pool, Arena arena, PoolClass class, va_list args)
130 /* putting another lock in the code. */ 130 /* putting another lock in the code. */
131 class->labelled = TRUE; 131 class->labelled = TRUE;
132 classId = EventInternString(class->name); 132 classId = EventInternString(class->name);
133 /* @@@@ this breaks design.mps.type.addr.use */ 133 /* @@@@ this breaks <design/type/#addr.use> */
134 EventLabelAddr((Addr)class, classId); 134 EventLabelAddr((Addr)class, classId);
135 } 135 }
136 136
@@ -147,7 +147,7 @@ Res PoolInitV(Pool pool, Arena arena, PoolClass class, va_list args)
147 pool->fillInternalSize = 0.0; 147 pool->fillInternalSize = 0.0;
148 pool->emptyInternalSize = 0.0; 148 pool->emptyInternalSize = 0.0;
149 149
150 /* Initialise signature last; see design.mps.sig */ 150 /* Initialise signature last; see <design/sig/> */
151 pool->sig = PoolSig; 151 pool->sig = PoolSig;
152 pool->serial = globals->poolSerial; 152 pool->serial = globals->poolSerial;
153 ++(globals->poolSerial); 153 ++(globals->poolSerial);
@@ -399,7 +399,7 @@ Res PoolScan(Bool *totalReturn, ScanState ss, Pool pool, Seg seg)
399 399
400/* PoolFix* -- fix a reference to an object in this pool 400/* PoolFix* -- fix a reference to an object in this pool
401 * 401 *
402 * See impl.h.mpm for macro version; see design.mps.pool.req.fix. */ 402 * See impl.h.mpm for macro version; see <design/pool/#req.fix>. */
403 403
404Res (PoolFix)(Pool pool, ScanState ss, Seg seg, Addr *refIO) 404Res (PoolFix)(Pool pool, ScanState ss, Seg seg, Addr *refIO)
405{ 405{