http://wiki.erights.org/mediawiki/index.php?action=history&feed=atom&title=ConstListConstList - Revision history2026-06-14T19:27:40ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=ConstList&diff=1725&oldid=prev209.217.212.34 at 13:36, 2 December 20082008-12-02T13:36:39Z<p></p>
<p><b>New page</b></p><div>[[ConstList]] is one of E's standard table types, and a [[subtype]] of [[EList]]. A ConstList holds an arbitrary number of references in a particular order, and allows typically constant-time access to any element (identified by number).<br />
<br />
A ConstList is [[PassByCopy]], and therefore [[Selfless]].<br />
<br />
The ConstList [[maker]] is available in the [[safeScope]] as <code><var>__makeList</var></code>. (XXX [[Category:Unresolved design issues]] should it be acceptable style for ordinary code to mention __makeList, or should it be reserved for expansions?)<br />
<br />
The ConstList [[guard]] is available in the [[safeScope]] as <code><var>List</var></code><br />
<br />
==Maker protocol==<br />
<br />
{{maker msgdoc|run|*|...|[[ConstList]]}}<br />
<br />
Returns a ConstList whose elements are the arguments.<br />
<br />
==Protocol==<br />
<br />
The majority of ConstList's protocol is that of [[EList]]. (XXX or is it all?)<br />
<br />
XXX not written<br />
<br />
==Guard protocol==<br />
<br />
{{guard msgdoc|get|1|<var>elementType</var> :[[Guard]]|[[Guard]]}}<br />
<br />
Returns a guard which yields only ConstLists whose elements coerce by <var>elementType</var>.<br />
<br />
XXX describe element coercion behavior<br />
<br />
{{stub}}<br />
[[Category:ELib specification]]</div>209.217.212.34