diff options
| author | Richard Brooksby | 2002-06-07 16:47:14 +0100 |
|---|---|---|
| committer | Richard Brooksby | 2002-06-07 16:47:14 +0100 |
| commit | 97075f705350901f5ff46387f658ab459a4cd73f (patch) | |
| tree | 4349ad5e7200f072a800f48749d57f3625757e7e /mps/code/pool.c | |
| parent | 8b990e4858b6f6d735de07a241b1785702bb16e7 (diff) | |
| download | emacs-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.c | 10 |
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 | ||
| 104 | Res PoolInit(Pool pool, Arena arena, PoolClass class, ...) | 104 | Res 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 | ||
| 404 | Res (PoolFix)(Pool pool, ScanState ss, Seg seg, Addr *refIO) | 404 | Res (PoolFix)(Pool pool, ScanState ss, Seg seg, Addr *refIO) |
| 405 | { | 405 | { |