| Title | Manual not explicit about scanning/skipping forwarding/padding objects |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The manual entries for mps_fmt_scan_t [1] and mps_fmt_skip_t [2] describe the requirements for these methods, but do not say whether they are required to be able to scan/skip fowarding and padding objects. |
| Analysis | The implementation of AMC requires that the scan and skip methods be able to handle forwarding and padding objects. This should be mentioned explicitly in the "Object formats" documentation. |
| How found | inspection |
| Evidence | [1] <http://www.ravenbrook.com/project/mps/...html/topic/format.html#c.mps_fmt_scan_t>[2] < http://www.ravenbrook.com/project/mps/...html/topic/format.html#c.mps_fmt_skip_t> |
| Created by | Gareth Rees |
| Created on | 2014-07-03 12:13:31 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-07-03 19:12:51 |
| History | 2014-07-03 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 186808 | closed | 2014-07-03 19:12:51 | Gareth Rees | Make it clear in the descriptions of the scan and skip methods that these must be able to handle forwarding and padding objects. |