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

1 files changed, 58 insertions, 58 deletions

diff --git a/mps/code/mpmtypes.h b/mps/code/mpmtypes.h
index 7bcd2f00b5c..a92a38169c4 100644
--- a/mps/code/mpmtypes.h
+++ b/mps/code/mpmtypes.h
@@ -3,7 +3,7 @@
  * $Id$
  * Copyright (c) 2001 Ravenbrook Limited.  See end of file for license.
  *
- * .design: design.mps.type
+ * .design: <design/type/>
  *
  * .rationale: Types and type constants are almost all defined
  * in this header, in advance of any declarations of prototypes
@@ -24,21 +24,21 @@
 
 /* TYPES */
 
-typedef unsigned long Sig;              /* design.mps.sig */
-typedef int Res;                        /* design.mps.type.res */
-
-typedef void (*Fun)(void);              /* design.mps.type.fun */
-typedef MPS_T_WORD Word;                /* design.mps.type.word */
-typedef unsigned char Byte;             /* design.mps.type.byte */
-typedef struct AddrStruct *Addr;        /* design.mps.type.addr */
-typedef Word Size;                      /* design.mps.type.size */
-typedef Word Count;                     /* design.mps.type.count */
-typedef Word Index;                     /* design.mps.type.index */
-typedef Word Align;                     /* design.mps.type.align */
-typedef unsigned Shift;                 /* design.mps.type.shift */
-typedef unsigned Serial;                /* design.mps.type.serial */
-typedef Addr Ref;                       /* design.mps.type.ref */
-typedef void *Pointer;                  /* design.mps.type.pointer */
+typedef unsigned long Sig;              /* <design/sig/> */
+typedef int Res;                        /* <design/type/#res> */
+
+typedef void (*Fun)(void);              /* <design/type/#fun> */
+typedef MPS_T_WORD Word;                /* <design/type/#word> */
+typedef unsigned char Byte;             /* <design/type/#byte> */
+typedef struct AddrStruct *Addr;        /* <design/type/#addr> */
+typedef Word Size;                      /* <design/type/#size> */
+typedef Word Count;                     /* <design/type/#count> */
+typedef Word Index;                     /* <design/type/#index> */
+typedef Word Align;                     /* <design/type/#align> */
+typedef unsigned Shift;                 /* <design/type/#shift> */
+typedef unsigned Serial;                /* <design/type/#serial> */
+typedef Addr Ref;                       /* <design/type/#ref> */
+typedef void *Pointer;                  /* <design/type/#pointer> */
 
 typedef Word RefSet;                    /* design.mps.refset */
 typedef Word ZoneSet;                   /* design.mps.refset */
@@ -46,28 +46,28 @@ typedef unsigned Rank;
 typedef unsigned RankSet;
 typedef unsigned RootMode;
 typedef Size Epoch;                     /* design.mps.ld */
-typedef unsigned TraceId;               /* design.mps.trace */
-typedef unsigned TraceSet;              /* design.mps.trace */
-typedef unsigned TraceState;            /* design.mps.trace */
-typedef unsigned AccessSet;             /* design.mps.type.access-set */
-typedef unsigned Attr;                  /* design.mps.type.attr */
+typedef unsigned TraceId;               /* <design/trace/> */
+typedef unsigned TraceSet;              /* <design/trace/> */
+typedef unsigned TraceState;            /* <design/trace/> */
+typedef unsigned AccessSet;             /* <design/type/#access-set> */
+typedef unsigned Attr;                  /* <design/type/#attr> */
 typedef unsigned FormatVariety;        
-typedef int RootVar;                    /* design.mps.type.rootvar */
+typedef int RootVar;                    /* <design/type/#rootvar> */
 
-typedef Word *BT;                       /* design.mps.bt */
+typedef Word *BT;                       /* <design/bt/> */
 typedef struct BootBlockStruct *BootBlock; /* impl.c.boot */
-typedef struct BufferStruct *Buffer;    /* design.mps.buffer */
-typedef struct SegBufStruct *SegBuf;    /* design.mps.buffer */
-typedef struct BufferClassStruct *BufferClass; /* design.mps.buffer */
-typedef BufferClass SegBufClass;        /* design.mps.buffer */
-typedef BufferClass RankBufClass;       /* design.mps.buffer */
-typedef unsigned BufferMode;            /* design.mps.buffer */
-typedef unsigned FrameState;            /* design.mps.alloc-frame */
-typedef struct APStruct *AP;            /* design.mps.buffer */
+typedef struct BufferStruct *Buffer;    /* <design/buffer/> */
+typedef struct SegBufStruct *SegBuf;    /* <design/buffer/> */
+typedef struct BufferClassStruct *BufferClass; /* <design/buffer/> */
+typedef BufferClass SegBufClass;        /* <design/buffer/> */
+typedef BufferClass RankBufClass;       /* <design/buffer/> */
+typedef unsigned BufferMode;            /* <design/buffer/> */
+typedef unsigned FrameState;            /* <design/alloc-frame/> */
+typedef struct APStruct *AP;            /* <design/buffer/> */
 typedef struct FormatStruct *Format;    /* design.mps.format */
 typedef struct LDStruct *LD;            /* design.mps.ld */
 typedef struct LockStruct *Lock;        /* impl.c.lock* */
-typedef struct PoolStruct *Pool;        /* design.mps.pool */
+typedef struct PoolStruct *Pool;        /* <design/pool/> */
 typedef struct PoolClassStruct *PoolClass; /* impl.c.poolclas */
 typedef PoolClass AbstractPoolClass;    /* impl.c.poolabs */
 typedef PoolClass AbstractAllocFreePoolClass; /* impl.c.poolabs */
@@ -75,10 +75,10 @@ typedef PoolClass AbstractBufferPoolClass; /* impl.c.poolabs */
 typedef PoolClass AbstractSegBufPoolClass; /* impl.c.poolabs */
 typedef PoolClass AbstractScanPoolClass; /* impl.c.poolabs */
 typedef PoolClass AbstractCollectPoolClass; /* impl.c.poolabs */
-typedef struct TraceStruct *Trace;      /* design.mps.trace */
-typedef struct ScanStateStruct *ScanState; /* design.mps.trace */
-typedef struct ChainStruct *Chain;      /* design.mps.trace */
-typedef struct TractStruct *Tract;      /* design.mps.arena */
+typedef struct TraceStruct *Trace;      /* <design/trace/> */
+typedef struct ScanStateStruct *ScanState; /* <design/trace/> */
+typedef struct ChainStruct *Chain;      /* <design/trace/> */
+typedef struct TractStruct *Tract;      /* <design/arena/> */
 typedef struct ChunkStruct *Chunk;      /* impl.c.tract */
 typedef struct ChunkCacheEntryStruct *ChunkCacheEntry; /* impl.c.tract */
 typedef struct PageStruct *Page;        /* impl.c.tract */
@@ -88,19 +88,19 @@ typedef struct SegClassStruct *SegClass; /* impl.c.seg */
 typedef SegClass GCSegClass;            /* impl.c.seg */
 typedef struct SegPrefStruct *SegPref;  /* design.mps.pref, impl.c.locus */
 typedef int SegPrefKind;                /* design.mps.pref, impl.c.locus */
-typedef struct ArenaClassStruct *ArenaClass; /* design.mps.arena */
+typedef struct ArenaClassStruct *ArenaClass; /* <design/arena/> */
 typedef ArenaClass AbstractArenaClass;  /* impl.c.arena */
-typedef struct ArenaStruct *Arena;      /* design.mps.arena */
-typedef struct GlobalsStruct *Globals;  /* design.mps.arena */
+typedef struct ArenaStruct *Arena;      /* <design/arena/> */
+typedef struct GlobalsStruct *Globals;  /* <design/arena/> */
 typedef struct VMStruct *VM;            /* impl.c.vm* */
 typedef struct RootStruct *Root;        /* impl.c.root */
 typedef struct ThreadStruct *Thread;    /* impl.c.th* */
 typedef struct MutatorFaultContextStruct
-        *MutatorFaultContext;           /* design.mps.prot */
+        *MutatorFaultContext;           /* <design/prot/> */
 typedef struct PoolDebugMixinStruct *PoolDebugMixin;
 typedef struct AllocPatternStruct *AllocPattern;
-typedef struct AllocFrameStruct *AllocFrame; /* design.mps.alloc-frame */
-typedef struct ReservoirStruct *Reservoir;   /* design.mps.reservoir */
+typedef struct AllocFrameStruct *AllocFrame; /* <design/alloc-frame/> */
+typedef struct ReservoirStruct *Reservoir;   /* <design/reservoir/> */
 
 
 /* Arena*Method -- see impl.h.mpmst.ArenaClassStruct */
@@ -121,7 +121,7 @@ typedef Res (*ArenaDescribeMethod)(Arena arena, mps_lib_FILE *stream);
 
 /* Messages
  *
- * See design.mps.message
+ * See <design/message/>
  */
 
 typedef unsigned MessageType;
@@ -140,7 +140,7 @@ typedef Res (*TraceFixMethod)(ScanState ss, Ref *refIO);
 typedef void (*FormattedObjectsStepMethod)(Addr, Format, Pool,
                                            void *, Size);
 
-/* Seg*Method -- see design.mps.seg */
+/* Seg*Method -- see <design/seg/> */
 
 typedef Res (*SegInitMethod)(Seg seg, Pool pool, Addr base, Size size,
                              Bool withReservoirPermit, va_list args);
@@ -161,7 +161,7 @@ typedef Res (*SegSplitMethod)(Seg seg, Seg segHi,
                               Addr base, Addr mid, Addr limit,
                               Bool withReservoirPermit, va_list args);
 
-/* Buffer*Method -- see design.mps.buffer */
+/* Buffer*Method -- see <design/buffer/> */
 
 typedef Res (*BufferInitMethod)(Buffer buffer, Pool pool, va_list args);
 typedef void (*BufferFinishMethod)(Buffer buffer);
@@ -175,7 +175,7 @@ typedef void (*BufferReassignSegMethod)(Buffer buffer, Seg seg);
 typedef Res (*BufferDescribeMethod)(Buffer buffer, mps_lib_FILE *stream);
 
 
-/* Pool*Method -- see design.mps.class-interface */
+/* Pool*Method -- see <design/class-interface/> */
 
 /* Order of types corresponds to PoolClassStruct in impl.h.mpmst */
 
@@ -218,7 +218,7 @@ typedef Res (*PoolDescribeMethod)(Pool pool, mps_lib_FILE *stream);
 typedef PoolDebugMixin (*PoolDebugMixinMethod)(Pool pool);
 
 
-/* Message*Method -- design.mps.message */
+/* Message*Method -- <design/message/> */
 
 typedef void (*MessageDeleteMethod)(Message message);
 typedef void (*MessageFinalizationRefMethod)
@@ -228,7 +228,7 @@ typedef Size (*MessageGCCondemnedSizeMethod)(Message message);
 typedef Size (*MessageGCNotCondemnedSizeMethod)(Message message);
 
 
-/* Message Types -- design.mps.message and elsewhere */
+/* Message Types -- <design/message/> and elsewhere */
 
 typedef struct MessageFinalizationStruct *MessageFinalization;
 
@@ -246,7 +246,7 @@ typedef void (*FormatPadMethod)(Addr base, Size size);
 typedef Addr (*FormatClassMethod)(Addr object);
 
 
-/* Root*Method -- see design.mps.root-interface */
+/* Root*Method -- see <design/root/>-interface */
 /* .root-methods: These methods must match those defined in the */
 /* MPS C Interface.  (See impl.h.mps.root-methods.) */
 
@@ -257,11 +257,11 @@ typedef Res (*RootScanRegMethod)(ScanState ss, Thread thread, void *p, size_t s)
 /* CONSTANTS */
 
 
-/* design.mps.sig SIGnature IS BAD */
+/* <design/sig/> SIGnature IS BAD */
 #define SigInvalid      ((Sig)0x51915BAD)
 
 #define SizeMAX         ((Size)-1)
-#define AccessSetEMPTY  ((AccessSet)0) /* design.mps.type.access-set */
+#define AccessSetEMPTY  ((AccessSet)0) /* <design/type/#access-set> */
 #define AccessREAD      ((AccessSet)(1<<0))
 #define AccessWRITE     ((AccessSet)(1<<1))
 #define AccessSetWIDTH  (2)
@@ -273,7 +273,7 @@ typedef Res (*RootScanRegMethod)(ScanState ss, Thread thread, void *p, size_t s)
 #define TraceSetUNIV    ((TraceSet)((1u << TraceLIMIT) - 1))
 #define RankSetEMPTY    BS_EMPTY(RankSet)
 #define RankSetUNIV     ((RankSet)((1u << RankLIMIT) - 1))
-#define AttrFMT         ((Attr)(1<<0))  /* design.mps.type.attr */
+#define AttrFMT         ((Attr)(1<<0))  /* <design/type/#attr> */
 #define AttrSCAN        ((Attr)(1<<1))
 #define AttrPM_NO_READ  ((Attr)(1<<2))
 #define AttrPM_NO_WRITE ((Attr)(1<<3))
@@ -319,7 +319,7 @@ enum {
 #define BufferModeTRANSITION    ((BufferMode)(1<<3))
 
 
-/* Buffer frame states. See design.mps.alloc-frame.lw-frame.states */
+/* Buffer frame states. See <design/alloc-frame/#lw-frame.states> */
 enum {
   BufferFrameVALID = 1,
   BufferFramePOP_PENDING,
@@ -327,7 +327,7 @@ enum {
 };
 
 
-/* Rank constants -- see design.mps.type.rank */
+/* Rank constants -- see <design/type/#rank> */
 /* These definitions must match impl.h.mps.rank. */
 /* This is checked by impl.c.mpsi.check. */
 
@@ -350,7 +350,7 @@ enum {
 #define RootModePROTECTABLE_INNER ((RootMode)1<<2)
 
 
-/* Root Variants -- see design.mps.type.rootvar
+/* Root Variants -- see <design/type/#rootvar>
  *
  * .rootvar: Synchonize with impl.c.root.rootvarcheck
  */
@@ -365,7 +365,7 @@ enum {
 };
 
 
-/* .result-codes: Result Codes -- see design.mps.type.res */
+/* .result-codes: Result Codes -- see <design/type/#res> */
 /* These definitions must match impl.h.mps.result-codes. */
 /* This is checked by impl.c.mpsi.check.rc. */
 /* Changing this list entails changing the list in */
@@ -384,7 +384,7 @@ enum {
 };
 
 
-/* TraceStates -- see design.mps.trace */
+/* TraceStates -- see <design/trace/> */
 
 enum {
   TraceINIT = 1,
@@ -395,7 +395,7 @@ enum {
 };
 
 
-/* MessageTypes -- see design.mps.message */
+/* MessageTypes -- see <design/message/> */
 /* .message.types: Keep in sync with impl.h.mps.message.types */
 
 enum {