mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-01-19 01:10:57 -08:00
Code Issues Projects Releases Wiki Activity

Inlining boolcheck, design.mps.type.bool.check.inline

Browse source 
Copied from Perforce
 Change: 20354
 ServerID: perforce.ravenbrook.com
This commit is contained in:
David Jones 1998-11-16 13:41:17 +00:00
parent 39f1df4056
commit d6febdb1bc
2 changed files with 13 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
mps/src/mpm.c
View file

@ -1,6 +1,6 @@
/* impl.c.mpm: GENERAL MPM SUPPORT
*
* $HopeName: MMsrc!mpm.c(trunk.27) $
* $HopeName: MMsrc!mpm.c(trunk.28) $
* Copyright (C) 1996. Harlequin Group plc. All rights reserved.
*
* .readership: MM developers.
@ -17,7 +17,7 @@
#include <float.h>
SRCID(mpm, "$HopeName: MMsrc!mpm.c(trunk.27) $");
SRCID(mpm, "$HopeName: MMsrc!mpm.c(trunk.28) $");
/* MPMCheck -- test MPM assumptions */
@ -73,9 +73,13 @@ Bool MPMCheck(void)
}
/* BoolCheck -- check that a boolean is valid */
/* BoolCheck -- check that a boolean is valid
*
* See design.mps.type.bool.check.
* We expect this to be inlined (by the macro in impl.h.mpm).
* See design.mps.type.bool.check.inline. */
Bool BoolCheck(Bool b)
Bool (BoolCheck)(Bool b)
{
AVER(b == TRUE || b == FALSE);
return TRUE;

7
mps/src/mpm.h
View file

@ -1,6 +1,6 @@
/* impl.h.mpm: MEMORY POOL MANAGER DEFINITIONS
*
* $HopeName: MMsrc!mpm.h(trunk.112) $
* $HopeName: MMsrc!mpm.h(trunk.113) $
* Copyright (C) 1998. Harlequin Group plc. All rights reserved.
*/
@ -34,7 +34,10 @@ extern Bool MPMCheck(void);
/* Miscellaneous Checks -- see impl.c.mpm */
extern Bool BoolCheck(Bool b);
/* design.mps.type.bool.check */
extern Bool (BoolCheck)(Bool b);
/* design.mps.type.bool.check.inline */
#define BoolCheck(b) ((unsigned)(b) <= 1)
extern Bool FunCheck(Fun f);
extern Bool ShiftCheck(Shift shift);
extern Bool AttrCheck(Attr attr);