MPS issue job003368

TitleMFS has no public interface
Statusclosed
Priorityoptional
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe MFS pool class is documented [1] but there is no public interface.
Analysis1. Add function mps_class_mfs to poolmfs.c:

mps_class_t mps_class_mfs(void)
{
  return (mps_class_t)(PoolClassMFS());
}

2. Create header file mpscmfs.h declaring this function. Model it on mpscaawl.h.
How foundinspection
Evidence[1] <http:/info.ravenbrook.com/project/mps/...09/user-guide/manual/html/pool/mfs.html>
Observed in1.110.0
Created byGareth Rees
Created on2012-11-06 17:02:01
Last modified byGareth Rees
Last modified on2012-11-06 17:08:58
History2012-11-06 GDR Created.

Fixes

Change Effect Date User Description
180372 closed 2012-11-06 17:08:58 Gareth Rees Add public interface for MFS pool class.
Correct the documentation for MFS: constructor takes extend_by and unit_size in that order.