mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-01-02 10:11:05 -08:00
3d5e2ca85f
This was achieved by partially undoing changelist 24817, including an accidental corruption of eventgen.pl. Copied from Perforce Change: 24877 ServerID: perforce.ravenbrook.com
155 lines
3.7 KiB
C
155 lines
3.7 KiB
C
/* impl.c.format: OBJECT FORMATS
|
|
*
|
|
* $Id$
|
|
* $HopeName: MMsrc!format.c(trunk.21) $
|
|
* Copyright (c) 2001 Ravenbrook Limited.
|
|
*
|
|
* DESIGN
|
|
*
|
|
* See protocol.mps.format.
|
|
*/
|
|
|
|
#include "mpm.h"
|
|
|
|
SRCID(format, "$Id$");
|
|
|
|
|
|
/* FormatCheck -- check a format */
|
|
|
|
Bool FormatCheck(Format format)
|
|
{
|
|
CHECKS(Format, format);
|
|
CHECKU(Arena, format->arena);
|
|
CHECKL(format->serial < format->arena->formatSerial);
|
|
CHECKL(format->variety == FormatVarietyA
|
|
|| format->variety == FormatVarietyB
|
|
|| format->variety == FormatVarietyAutoHeader);
|
|
CHECKL(RingCheck(&format->arenaRing));
|
|
CHECKL(AlignCheck(format->alignment));
|
|
/* @@@@ alignment should be less than maximum allowed */
|
|
CHECKL(FUNCHECK(format->scan));
|
|
CHECKL(FUNCHECK(format->skip));
|
|
CHECKL(FUNCHECK(format->move));
|
|
CHECKL(FUNCHECK(format->isMoved));
|
|
/* Ignore unused copy field. */
|
|
CHECKL(FUNCHECK(format->pad));
|
|
CHECKL(FUNCHECK(format->class));
|
|
|
|
return TRUE;
|
|
}
|
|
|
|
|
|
static Addr FormatDefaultClass(Addr object)
|
|
{
|
|
AVER(object != NULL);
|
|
|
|
return ((Addr *)object)[0];
|
|
}
|
|
|
|
|
|
/* FormatCreate -- create a format */
|
|
|
|
Res FormatCreate(Format *formatReturn, Arena arena,
|
|
Align alignment,
|
|
FormatVariety variety,
|
|
FormatScanMethod scan,
|
|
FormatSkipMethod skip,
|
|
FormatMoveMethod move,
|
|
FormatIsMovedMethod isMoved,
|
|
FormatCopyMethod copy,
|
|
FormatPadMethod pad,
|
|
FormatClassMethod class,
|
|
Size headerSize)
|
|
{
|
|
Format format;
|
|
Res res;
|
|
void *p;
|
|
|
|
AVER(formatReturn != NULL);
|
|
|
|
res = ControlAlloc(&p, arena, sizeof(FormatStruct),
|
|
/* withReservoirPermit */ FALSE);
|
|
if(res != ResOK)
|
|
return res;
|
|
format = (Format)p; /* avoid pun */
|
|
|
|
format->arena = arena;
|
|
RingInit(&format->arenaRing);
|
|
format->alignment = alignment;
|
|
format->variety = variety;
|
|
format->scan = scan;
|
|
format->skip = skip;
|
|
format->move = move;
|
|
format->isMoved = isMoved;
|
|
format->copy = copy;
|
|
format->pad = pad;
|
|
if(class == NULL) {
|
|
format->class = &FormatDefaultClass;
|
|
} else {
|
|
AVER(variety == FormatVarietyB);
|
|
format->class = class;
|
|
}
|
|
if(headerSize != 0) {
|
|
AVER(variety == FormatVarietyAutoHeader);
|
|
format->headerSize = headerSize;
|
|
} else {
|
|
format->headerSize = 0;
|
|
}
|
|
|
|
format->sig = FormatSig;
|
|
format->serial = arena->formatSerial;
|
|
++arena->formatSerial;
|
|
|
|
AVERT(Format, format);
|
|
|
|
RingAppend(&arena->formatRing, &format->arenaRing);
|
|
|
|
*formatReturn = format;
|
|
return ResOK;
|
|
}
|
|
|
|
|
|
void FormatDestroy(Format format)
|
|
{
|
|
AVERT(Format, format);
|
|
|
|
RingRemove(&format->arenaRing);
|
|
|
|
format->sig = SigInvalid;
|
|
|
|
RingFinish(&format->arenaRing);
|
|
|
|
ControlFree(format->arena, format, sizeof(FormatStruct));
|
|
}
|
|
|
|
|
|
/* Must be thread safe. See design.mps.interface.c.thread-safety. */
|
|
Arena FormatArena(Format format)
|
|
{
|
|
/* Can't AVER format as that would not be thread-safe */
|
|
/* AVERT(Format, format); */
|
|
return format->arena;
|
|
}
|
|
|
|
|
|
Res FormatDescribe(Format format, mps_lib_FILE *stream)
|
|
{
|
|
Res res;
|
|
|
|
res = WriteF(stream,
|
|
"Format $P ($U) {\n", (WriteFP)format, (WriteFU)format->serial,
|
|
" arena $P ($U)\n",
|
|
(WriteFP)format->arena, (WriteFU)format->arena->serial,
|
|
" alignment $W\n", (WriteFW)format->alignment,
|
|
" scan $F\n", (WriteFF)format->scan,
|
|
" skip $F\n", (WriteFF)format->skip,
|
|
" move $F\n", (WriteFF)format->move,
|
|
" isMoved $F\n", (WriteFF)format->isMoved,
|
|
" copy $F\n", (WriteFF)format->copy,
|
|
" pad $F\n", (WriteFF)format->pad,
|
|
"} Format $P ($U)\n", (WriteFP)format, (WriteFU)format->serial,
|
|
NULL);
|
|
if(res != ResOK) return res;
|
|
|
|
return ResOK;
|
|
}
|