From ba8ac77fef5d735260bc2a2fe7b61fa44a004afb Mon Sep 17 00:00:00 2001 From: Gareth Rees Date: Mon, 5 Sep 2016 15:33:57 +0100 Subject: [PATCH] Arenainit and arenafinish no longer exist under those names, and there is no longer anything special about them, so remove design documentation. BufferFinishMethod and BufferDescribeMethod were removed, so remove the design documentation for them. Copied from Perforce Change: 192179 ServerID: perforce.ravenbrook.com --- mps/design/arena.txt | 6 ------ mps/design/buffer.txt | 14 -------------- 2 files changed, 20 deletions(-) diff --git a/mps/design/arena.txt b/mps/design/arena.txt index c50d3476982..eb6c74e5dfd 100644 --- a/mps/design/arena.txt +++ b/mps/design/arena.txt @@ -202,12 +202,6 @@ arguments to ``mps_arena_create_k()`` are class-dependent. .. _design.mps.protocol: protocol -_`.class.init`: However, the generic ``ArenaInit()`` is called from the -class-specific method, rather than vice versa, because the method is -responsible for allocating the memory for the arena descriptor and the -arena lock in the first place. Likewise, ``ArenaFinish()`` is called -from the finish method. - _`.class.fields`: The ``grainSize`` (for allocation and freeing) and ``zoneShift`` (for computing zone sizes and what zone an address is in) fields in the arena are the responsibility of the each class, and diff --git a/mps/design/buffer.txt b/mps/design/buffer.txt index a15a63c76f0..5e2b002fd41 100644 --- a/mps/design/buffer.txt +++ b/mps/design/buffer.txt @@ -212,13 +212,6 @@ class-specific behaviour. _`.replay.init`: The ``init()`` method should emit a ``BufferInit`` event (if there aren't any extra parameters, `` = ""``). -``typedef void (*BufferFinishMethod)(Buffer buffer)`` - -_`.class.method.finish`: ``finish()`` is a class-specific finish -method called from ``BufferFinish()``. Client-defined methods must -call their superclass method (via a next-method call) after performing -any class-specific behaviour. - ``typedef void (*BufferAttachMethod)(Buffer buffer, Addr base, Addr limit, Addr init, Size size)`` _`.class.method.attach`: ``attach()`` is a class-specific method @@ -256,13 +249,6 @@ setter method which sets the rank set of a buffer. It is called from ``BufferSetRankSet()``. Clients should not need to define their own methods for this. -``typedef Res (*BufferDescribeMethod)(Buffer buffer, mps_lib_FILE *stream, Count depth)`` - -_`.class.method.describe`: ``describe()`` is a class-specific method -called to describe a buffer, via ``BufferDescribe()``. Client-defined -methods must call their superclass method (via a next-method call) -before describing any class-specific state. - Logging -------