http://wiki.erights.org/mediawiki/index.php?title=EList&feed=atom&action=history
EList - Revision history
2024-03-19T10:20:24Z
Revision history for this page on the wiki
MediaWiki 1.15.5-7
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=1758&oldid=prev
Kevin Reid: fix XXXes
2010-08-28T21:33:38Z
<p>fix XXXes</p>
<p><b>New page</b></p><div><noinclude>[[EList]] is the abstract supertype {{XXX|establish terminology: supertype or superclass?}} of [[ConstList]], [[FlexList]], and [[ReadOnlyList]]. {{XXX|complete list?}}<br />
<br />
All indexing is zero-based. All ranges are specified as beginning index, inclusive, to ending index, exclusive (not inclusive end or location and size).<br />
<br />
==Protocol==<br />
<br />
</noinclude><br />
<br />
{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}<br />
<br />
? def abcd := {{{fromConst|__identityFunc}}}(["a", "b", "c", "d"]); null<br />
<br />
? def ConstList := List<br />
<br />
{{define Really}}<br />
<br />
{{instance msgdoc|add|1|<var>other</var> :[[EList]]|[[ConstList]]}}<br />
<br />
Concatenates (snapshots of) this list and other.<br />
<br />
{{XXX|If they have a common class, we should use it.}}<br />
<br />
{{XXX|1=The above remark is from the original javadoc. Is this still the intended design? Perhaps it refers to e.g. String + String = String. If so, clarify whether or not it also means e.g. FlexList + FlexList = FlexList.}} --[[User:Kevin Reid|Kevin Reid]] 17:38, 25 March 2009 (CDT)<br />
<br />
? abcd.add(abcd.run(1, 3)) :Really[ConstList]<br />
# value: ["a", "b", "c", "d", "b", "c"]<br />
<br />
XXX type error check, other cases, which one is first<br />
<br />
{{instance msgdoc|asKeys|0||[[ConstMap]]}}<br />
<br />
Returns a [[ConstMap]] whose keys are the elements of this EList and values are null, with the first occurrence of duplicates kept.<br />
<br />
? abcd.asKeys()<br />
# value: ["a" => null, "b" => null, "c" => null, "d" => null]<br />
<br />
? def abcbd := abcd(0, 3) + abcd(1, 2) + abcd(3, 4)<br />
# value: ["a", "b", "c", "b", "d"]<br />
<br />
? abcbd.asKeys()<br />
# value: ["a" => null, "b" => null, "c" => null, "d" => null]<br />
<br />
{{instance msgdoc|asMap|0||[[ConstMap]]}}<br />
<br />
Returns a [[ConstMap]] whose keys are the indexes and values are the values of this EList, in the same order as this EList.<br />
<br />
? abcd.asMap()<br />
# value: [0 => "a", 1 => "b", 2 => "c", 3 => "d"]<br />
<br />
{{instance msgdoc|asSet|0||[[ConstSet]]}}<br />
<br />
{{instance msgdoc|contains|1|<var>_</var> :null|[[Boolean]]}}<br />
<br />
{{instance msgdoc|diverge|0||[[FlexList]]}}<br />
<br />
{{instance msgdoc|diverge|1|<var>_</var> :[[Guard]]|[[FlexList]]}}<br />
<br />
{{instance msgdoc|fetch|2|<var>index</var> :[[Integer]], <var>_</var> :[[Thunk]]|[[any]]}}<br />
<br />
{{instance msgdoc|get|1|<var>index</var> :[[Integer]]|<var>valueType</var>}}<br />
<br />
Return the element at <var>index</var>.<br />
<br />
? abcd[0]<br />
# value: "a"<br />
<br />
? abcd[2]<br />
# value: "c"<br />
<br />
? abcd[-1]<br />
# problem: <XXX specify form of error><br />
<br />
? abcd[4]<br />
# problem: <XXX specify form of error> <br />
<br />
{{instance msgdoc|getArray|0||[[any]]}}<br />
<br />
{{instance msgdoc|getArray|1|<var>_</var> :nullOk[Class]|[[any]]}}<br />
<br />
{{instance msgdoc|getArray|3|<var>_</var> :nullOk[Class], <var>_</var> :[[Integer]], <var>_</var> :[[Integer]]|[[any]]}}<br />
<br />
{{instance msgdoc|includes|1|<var>_</var> :nullOk[EList]|[[Boolean]]}}<br />
<br />
{{instance msgdoc|indexOf1|1|<var>_</var>|[[Integer]]}}<br />
<br />
{{instance msgdoc|indexOf1|2|<var>_</var>, <var>_</var> :[[Integer]]|[[Integer]]}}<br />
<br />
{{instance msgdoc|iterate|1|<var>assocFunc</var> :[[AssocFunc]]|[[void]]}}<br />
<br />
{{instance msgdoc|last|0||[[any]]}}<br />
<br />
{{instance msgdoc|lastIndexOf1|1|<var>_</var>|[[Integer]]}}<br />
<br />
{{instance msgdoc|lastIndexOf1|2|<var>_</var>, <var>_</var> :[[Integer]]|[[Integer]]}}<br />
<br />
{{instance msgdoc|lastStartOf|1|<var>_</var> :[[EList]]|[[Integer]]}}<br />
<br />
{{instance msgdoc|lastStartOf|2|<var>_</var> :[[EList]], <var>_</var> :[[Integer]]|[[Integer]]}}<br />
<br />
{{instance msgdoc|multiply|1|<var>_</var> :[[Integer]]|[[ConstList]]}}<br />
<br />
{{instance msgdoc|printOn|4|<var>_</var> :String, <var>_</var> :String, <var>_</var> :String, <var>out</var> :TextWriter|[[void]]}}<br />
<br />
{{instance msgdoc|readOnly|0||[[EList]]}}<br />
<br />
Return an EList which is a read-only view of this list. If this list is immutable the result may be the same as this list.<br />
<br />
{{instance msgdoc|run|2|<var>start</var> :[[Integer]], <var>end</var> :[[Integer]]}} :[[ConstList]]<br />
<br />
Return a ConstList containing the subsequence of elements in this list starting with element index <var>start</var> and ending with the element before index <var>end</var>.<br />
<br />
? abcd.run(1, 3) :Really[ConstList]<br />
# value: ["b", "c"]<br />
<br />
? abcd.run(0, abcd.size()) :Really[ConstList]<br />
# value: ["a", "b", "c", "d"]<br />
<br />
? ESpec.requireWrongArgsFail(abcd, "run", [0..!(abcd.size()), 0..!(abcd.size())])<br />
{{XXX|the above 'ESpec' is an idea about defining some utilities}}<br />
<br />
{{instance msgdoc|run|1|<var>start</var> :[[Integer]]|[[ConstList]]}}<br />
<br />
{{specbycode|{{this}}.run(<var>start</var>, {{this}}.size())}}<br />
<br />
? abcd.run(1) :Really[ConstList]<br />
# value: ["b", "c", "d"]<br />
<br />
? abcd.run(0) :Really[ConstList]<br />
# value: ["a", "b", "c", "d"] <br />
<br />
<br />
{{instance msgdoc|size|0||[[Integer]]}}<br />
<br />
Return the current number of elements of this list.<br />
<br />
? abcd.size() :Really[int]<br />
# value: 4<br />
<br />
{{instance msgdoc|snapshot|0||[[ConstList]]}}<br />
<br />
Return a ConstList with the current elements of this list.<br />
<br />
{{XXX|test this vs. mutation}}<br />
<br />
? abcd.snapshot() :Really[ConstList]<br />
# value: ["a", "b", "c", "d"]<br />
<br />
{{instance msgdoc|sort|0||[[ConstList]]}}<br />
<br />
{{instance msgdoc|sort|1|<var>_</var> :[[CompFunc]]|[[ConstList]]}}<br />
<br />
{{instance msgdoc|startOf|1|<var>_</var> :[[EList]]|[[int32]]}}<br />
<br />
{{instance msgdoc|startOf|2|<var>_</var> :[[EList]], <var>_</var> :[[Integer]]|[[int32]]}}<br />
<br />
{{instance msgdoc|valueType|0||[[Guard]]}}<br />
<br />
{{instance msgdoc|with|1|<var>value</var>|[[ConstList]]}}<br />
<br />
Return a ConstList with the current elements of this list, followed by the one additional element <var>value</var>.<br />
<br />
{{specbycode|{{this}}.with({{this}}.size(), <var>value</var> :[[any]])}}<br />
<br />
? abcd.with("e") :Really[ConstList]<br />
# value: ["a", "b", "c", "d", "e"]<br />
<br />
? {{{fromConst|__identityFunc}}}([]).with(1) :Really[ConstList]<br />
# value: [1]<br />
<br />
{{XXX|more tests?}}<br />
<br />
{{instance msgdoc|with|2|<var>index</var> :[[Integer]], <var>value</var> :[[any]]|[[ConstList]]}}<br />
<br />
Return a ConstList with the current elements of this list except that the element at <var>index</var> is <var>value</var>. Or, by cases:<br />
<br />
* If <var>index</var> is less than the [[#size/0]], then that element is replaced in the result list.<br />
* If <var>index</var> is equal to [[#size/0]], then <var>value</var> is an additional element and the size is one greater. (This is equivalent to <code>{{this}} + [<var>value</var>]</code>.)<br />
* Otherwise, the index is out of bounds. {{XXX|specify error}}<br />
<br />
{{XXX|write tests}}<br />
<br />
<noinclude><br />
[[Category:ELib specification]]<br />
{{stub}}<br />
</noinclude></div>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3847&oldid=prev
Kevin Reid: specify and test asKeys and asMap
2009-05-31T17:00:10Z
<p>specify and test asKeys and asMap</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 17:00, 31 May 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 29:</td>
<td colspan="2" class="diff-lineno">Line 29:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asKeys|0||[[ConstMap]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asKeys|0||[[ConstMap]]}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">Returns a [[ConstMap]] whose keys are the elements of this EList and values are null, with the first occurrence of duplicates kept.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> ? abcd.asKeys()</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> # value: ["a" => null, "b" => null, "c" => null, "d" => null]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> ? def abcbd := abcd(0, 3) + abcd(1, 2) + abcd(3, 4)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> # value: ["a", "b", "c", "b", "d"]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> ? abcbd.asKeys()</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> # value: ["a" => null, "b" => null, "c" => null, "d" => null]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asMap|0||[[ConstMap]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asMap|0||[[ConstMap]]}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">Returns a [[ConstMap]] whose keys are the indexes and values are the values of this EList, in the same order as this EList.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> ? abcd.asMap()</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> # value: [0 => "a", 1 => "b", 2 => "c", 3 => "d"]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asSet|0||[[ConstSet]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asSet|0||[[ConstSet]]}}</div></td></tr>
<!-- diff generator: internal 2024-03-19 10:20:24 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3846&oldid=prev
Kevin Reid: add result type checks, add doc+test for add/1
2009-03-25T22:38:27Z
<p>add result type checks, add doc+test for add/1</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 22:38, 25 March 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 6:</td>
<td colspan="2" class="diff-lineno">Line 6:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></noinclude></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></noinclude></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? def abcd := {{{fromConst|__identityFunc}}}(["a", "b", "c", "d"]); null</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? def abcd := {{{fromConst|__identityFunc}}}(["a", "b", "c", "d"]); null</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> ? def ConstList := List</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">{{define Really}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{<del class="diffchange diffchange-inline">XXX</del>|<del class="diffchange diffchange-inline">Used a program to generate </del>this list <del class="diffchange diffchange-inline">of msgdoc headers </del>from <del class="diffchange diffchange-inline">E-on-Java</del>. <del class="diffchange diffchange-inline">Clean up and write specs</del>.}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{<ins class="diffchange diffchange-inline">instance msgdoc</ins>|<ins class="diffchange diffchange-inline">add|1|<var>other</var> :[[EList]]|[[ConstList]]}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Concatenates (snapshots of) </ins>this list <ins class="diffchange diffchange-inline">and other.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{XXX|If they have a common class, we should use it.}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{XXX|1=The above remark is </ins>from <ins class="diffchange diffchange-inline">the original javadoc</ins>. <ins class="diffchange diffchange-inline">Is this still the intended design? Perhaps it refers to e.g. String + String = String. If so, clarify whether or not it also means e.g. FlexList + FlexList = FlexList</ins>.}} <ins class="diffchange diffchange-inline">--[[User:Kevin Reid|Kevin Reid]] 17:38, 25 March 2009 (CDT)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> ? abcd.add(abcd.run(1, 3)) :Really[ConstList]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> # value: ["a", "b", "c", "d", "b", "c"]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">{{instance msgdoc|add|1|<var>_</var>|[[ConstList]]}}</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">XXX type error check, other cases, which one is first</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asKeys|0||[[ConstMap]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|asKeys|0||[[ConstMap]]}}</div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 79:</td>
<td colspan="2" class="diff-lineno">Line 94:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Return a ConstList containing the subsequence of elements in this list starting with element index <var>start</var> and ending with the element before index <var>end</var>.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Return a ConstList containing the subsequence of elements in this list starting with element index <var>start</var> and ending with the element before index <var>end</var>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? abcd.run(1, 3)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? abcd.run(1, 3) <ins class="diffchange diffchange-inline">:Really[ConstList]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["b", "c"]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["b", "c"]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? abcd.run(0, abcd.size())</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? abcd.run(0, abcd.size()) <ins class="diffchange diffchange-inline">:Really[ConstList]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d"]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d"]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 92:</td>
<td colspan="2" class="diff-lineno">Line 107:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{specbycode|{{this}}.run(<var>start</var>, {{this}}.size())}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{specbycode|{{this}}.run(<var>start</var>, {{this}}.size())}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? abcd.run(1)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? abcd.run(1) <ins class="diffchange diffchange-inline">:Really[ConstList]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["b", "c", "d"]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["b", "c", "d"]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? abcd.run(0)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? abcd.run(0) <ins class="diffchange diffchange-inline">:Really[ConstList]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d"] </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d"] </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 103:</td>
<td colspan="2" class="diff-lineno">Line 118:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Return the current number of elements of this list.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Return the current number of elements of this list.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? abcd.size()</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? abcd.size() <ins class="diffchange diffchange-inline">:Really[int]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: 4</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: 4</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 112:</td>
<td colspan="2" class="diff-lineno">Line 127:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|test this vs. mutation}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|test this vs. mutation}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? abcd.snapshot()</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? abcd.snapshot() <ins class="diffchange diffchange-inline">:Really[ConstList]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d"]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d"]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 131:</td>
<td colspan="2" class="diff-lineno">Line 146:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{specbycode|{{this}}.with({{this}}.size(), <var>value</var> :[[any]])}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{specbycode|{{this}}.with({{this}}.size(), <var>value</var> :[[any]])}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? abcd.with("e")</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? abcd.with("e") <ins class="diffchange diffchange-inline">:Really[ConstList]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d", "e"]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: ["a", "b", "c", "d", "e"]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> ? {{{fromConst|__identityFunc}}}([]).with(1)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> ? {{{fromConst|__identityFunc}}}([]).with(1) <ins class="diffchange diffchange-inline">:Really[ConstList]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: [1]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: [1]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<!-- diff generator: internal 2024-03-19 10:20:24 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3845&oldid=prev
Kevin Reid: document with/2 (written using javadoc and eoj [black-box] as references)
2009-03-18T04:15:13Z
<p>document with/2 (written using javadoc and eoj [black-box] as references)</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 04:15, 18 March 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 125:</td>
<td colspan="2" class="diff-lineno">Line 125:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|valueType|0||[[Guard]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|valueType|0||[[Guard]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|with|1|<var><del class="diffchange diffchange-inline">new</del></var>|[[ConstList]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|with|1|<var><ins class="diffchange diffchange-inline">value</ins></var>|[[ConstList]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>Return a ConstList with the current elements of this list, followed by the one additional element <var><del class="diffchange diffchange-inline">new</del></var>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>Return a ConstList with the current elements of this list, followed by the one additional element <var><ins class="diffchange diffchange-inline">value</ins></var>.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{specbycode|{{this}}.with({{this}}.size(), <var>value</var> :[[any]])}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? abcd.with("e")</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? abcd.with("e")</div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 137:</td>
<td colspan="2" class="diff-lineno">Line 139:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|more tests?}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|more tests?}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|with|2|<var><del class="diffchange diffchange-inline">_</del></var> :[[Integer]], <var><del class="diffchange diffchange-inline">_</del></var> :<del class="diffchange diffchange-inline">null</del>|[[ConstList]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|with|2|<var><ins class="diffchange diffchange-inline">index</ins></var> :[[Integer]], <var><ins class="diffchange diffchange-inline">value</ins></var> :<ins class="diffchange diffchange-inline">[[any]]</ins>|[[ConstList]]<ins class="diffchange diffchange-inline">}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Return a ConstList with the current elements of this list except that the element at <var>index</var> is <var>value</var>. Or, by cases:</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* If <var>index</var> is less than the [[#size/0]], then that element is replaced in the result list.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* If <var>index</var> is equal to [[#size/0]], then <var>value</var> is an additional element and the size is one greater. (This is equivalent to <code>{{this}} + [<var>value</var>]</code>.)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* Otherwise, the index is out of bounds. {{XXX|specify error}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{XXX|write tests</ins>}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div><noinclude></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div><noinclude></div></td></tr>
<!-- diff generator: internal 2024-03-19 10:20:24 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3844&oldid=prev
Kevin Reid: fixed up some arg/return types, wrote some doc/test
2009-03-17T02:56:45Z
<p>fixed up some arg/return types, wrote some doc/test</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 02:56, 17 March 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 11:</td>
<td colspan="2" class="diff-lineno">Line 11:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|add|1|<var>_</var> <del class="diffchange diffchange-inline">:null</del>|[<del class="diffchange diffchange-inline">[nullOk</del>[ConstList<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|add|1|<var>_</var>|[[ConstList]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|asKeys|0||[<del class="diffchange diffchange-inline">[nullOk</del>[ConstMap<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|asKeys|0||[[ConstMap]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|asMap|0||[<del class="diffchange diffchange-inline">[nullOk</del>[ConstMap<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|asMap|0||[[ConstMap]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|asSet|0||[<del class="diffchange diffchange-inline">[nullOk</del>[ConstSet<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|asSet|0||[[ConstSet]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|contains|1|<var>_</var> :null|[[Boolean]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|contains|1|<var>_</var> :null|[[Boolean]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|diverge|0||[<del class="diffchange diffchange-inline">[nullOk</del>[FlexList<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|diverge|0||[[FlexList]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|diverge|1|<var>_</var> :<del class="diffchange diffchange-inline">nullOk</del>[<del class="diffchange diffchange-inline">Class</del>]|[<del class="diffchange diffchange-inline">[nullOk</del>[FlexList<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|diverge|1|<var>_</var> :[<ins class="diffchange diffchange-inline">[Guard]</ins>]|[[FlexList]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|fetch|2|<var><del class="diffchange diffchange-inline">_</del></var> :<del class="diffchange diffchange-inline">int32</del>, <var>_</var> :<del class="diffchange diffchange-inline">nullOk</del>[Thunk]|[[any]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|fetch|2|<var><ins class="diffchange diffchange-inline">index</ins></var> :<ins class="diffchange diffchange-inline">[[Integer]]</ins>, <var>_</var> :<ins class="diffchange diffchange-inline">[</ins>[Thunk<ins class="diffchange diffchange-inline">]</ins>]|[[any]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|get|1|<var>index</var> :[[Integer]]|<var>valueType</var>}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|get|1|<var>index</var> :[[Integer]]|<var>valueType</var>}}</div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 47:</td>
<td colspan="2" class="diff-lineno">Line 47:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|getArray|1|<var>_</var> :nullOk[Class]|[[any]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|getArray|1|<var>_</var> :nullOk[Class]|[[any]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|getArray|3|<var>_</var> :nullOk[Class], <var>_</var> :<del class="diffchange diffchange-inline">int32</del>, <var>_</var> :<del class="diffchange diffchange-inline">int32</del>|[[any]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|getArray|3|<var>_</var> :nullOk[Class], <var>_</var> :<ins class="diffchange diffchange-inline">[[Integer]]</ins>, <var>_</var> :<ins class="diffchange diffchange-inline">[[Integer]]</ins>|[[any]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|includes|1|<var>_</var> :nullOk[EList]|[[Boolean]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|includes|1|<var>_</var> :nullOk[EList]|[[Boolean]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|indexOf1|1|<var>_</var> <del class="diffchange diffchange-inline">:null</del>|[[<del class="diffchange diffchange-inline">int32</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|indexOf1|1|<var>_</var>|[[<ins class="diffchange diffchange-inline">Integer</ins>]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|indexOf1|2|<var>_</var> <del class="diffchange diffchange-inline">:null</del>, <var>_</var> :<del class="diffchange diffchange-inline">int32</del>|[[<del class="diffchange diffchange-inline">int32</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|indexOf1|2|<var>_</var>, <var>_</var> :<ins class="diffchange diffchange-inline">[[Integer]]</ins>|[[<ins class="diffchange diffchange-inline">Integer</ins>]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|iterate|1|<var><del class="diffchange diffchange-inline">_</del></var> :<del class="diffchange diffchange-inline">nullOk</del>[AssocFunc]|[[void]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|iterate|1|<var><ins class="diffchange diffchange-inline">assocFunc</ins></var> :<ins class="diffchange diffchange-inline">[</ins>[AssocFunc<ins class="diffchange diffchange-inline">]</ins>]|[[void]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|last|0||[[any]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|last|0||[[any]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|lastIndexOf1|1|<var>_</var> <del class="diffchange diffchange-inline">:null</del>|[[<del class="diffchange diffchange-inline">int32</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|lastIndexOf1|1|<var>_</var>|[[<ins class="diffchange diffchange-inline">Integer</ins>]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|lastIndexOf1|2|<var>_</var> <del class="diffchange diffchange-inline">:null</del>, <var>_</var> :<del class="diffchange diffchange-inline">int32</del>|[[<del class="diffchange diffchange-inline">int32</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|lastIndexOf1|2|<var>_</var>, <var>_</var> :<ins class="diffchange diffchange-inline">[[Integer]]</ins>|[[<ins class="diffchange diffchange-inline">Integer</ins>]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|lastStartOf|1|<var>_</var> :<del class="diffchange diffchange-inline">nullOk</del>[EList]|[[<del class="diffchange diffchange-inline">int32</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|lastStartOf|1|<var>_</var> :<ins class="diffchange diffchange-inline">[</ins>[EList<ins class="diffchange diffchange-inline">]</ins>]|[[<ins class="diffchange diffchange-inline">Integer</ins>]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|lastStartOf|2|<var>_</var> :<del class="diffchange diffchange-inline">nullOk</del>[EList], <var>_</var> :<del class="diffchange diffchange-inline">int32</del>|[[<del class="diffchange diffchange-inline">int32</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|lastStartOf|2|<var>_</var> :<ins class="diffchange diffchange-inline">[</ins>[EList<ins class="diffchange diffchange-inline">]</ins>], <var>_</var> :<ins class="diffchange diffchange-inline">[[Integer]]</ins>|[[<ins class="diffchange diffchange-inline">Integer</ins>]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|multiply|1|<var>_</var> :<del class="diffchange diffchange-inline">int32|</del>[[<del class="diffchange diffchange-inline">nullOk</del>[ConstList<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|multiply|1|<var>_</var> :[[<ins class="diffchange diffchange-inline">Integer]]|[</ins>[ConstList]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|printOn|4|<var>_</var> :<del class="diffchange diffchange-inline">nullOk[</del>String<del class="diffchange diffchange-inline">]</del>, <var>_</var> :<del class="diffchange diffchange-inline">nullOk[</del>String<del class="diffchange diffchange-inline">]</del>, <var>_</var> :<del class="diffchange diffchange-inline">nullOk[</del>String<del class="diffchange diffchange-inline">]</del>, <var><del class="diffchange diffchange-inline">_</del></var> :<del class="diffchange diffchange-inline">nullOk[</del>TextWriter<del class="diffchange diffchange-inline">]</del>|[[void]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|printOn|4|<var>_</var> :String, <var>_</var> :String, <var>_</var> :String, <var><ins class="diffchange diffchange-inline">out</ins></var> :TextWriter|[[void]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|readOnly|0||[<del class="diffchange diffchange-inline">[nullOk</del>[EList<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|readOnly|0||[[EList]]}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Return an EList which is a read-only view of this list. If this list is immutable the result may be the same as this list.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|run|2|<var>start</var> :[[Integer]], <var>end</var> :[[Integer]]}} :[[ConstList]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|run|2|<var>start</var> :[[Integer]], <var>end</var> :[[Integer]]}} :[[ConstList]]</div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 97:</td>
<td colspan="2" class="diff-lineno">Line 99:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|size|0||[[<del class="diffchange diffchange-inline">int32</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|size|0||[[<ins class="diffchange diffchange-inline">Integer</ins>]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">{{instance msgdoc|snapshot|0||[[nullOk[ConstList]]]}}</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Return the current number of elements of this list.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">{{instance msgdoc|sort|0||[[nullOk[ConstList]]]}}</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> ? abcd.size()</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> # value: 4</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|<del class="diffchange diffchange-inline">sort</del>|<del class="diffchange diffchange-inline">1</del>|<del class="diffchange diffchange-inline"><var>_</var> :nullOk[CompFunc]</del>|[<del class="diffchange diffchange-inline">[nullOk</del>[ConstList<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|<ins class="diffchange diffchange-inline">snapshot</ins>|<ins class="diffchange diffchange-inline">0</ins>||[[ConstList]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">{{instance msgdoc|startOf|1|<var>_</var> :nullOk[EList]|[[int32]]}}</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Return a ConstList with the current elements of this list.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{<del class="diffchange diffchange-inline">instance msgdoc</del>|<del class="diffchange diffchange-inline">startOf|2|<var>_</var> :nullOk[EList], <var>_</var> :int32|[[int32]]</del>}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{<ins class="diffchange diffchange-inline">XXX</ins>|<ins class="diffchange diffchange-inline">test this vs. mutation</ins>}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|valueType|0||[[<del class="diffchange diffchange-inline">nullOk</del>[<del class="diffchange diffchange-inline">Class</del>]]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> ? abcd.snapshot()</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> # value: ["a", "b", "c", "d"]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{instance msgdoc|sort|0||[[ConstList]]}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{instance msgdoc|sort|1|<var>_</var> :[[CompFunc]]|[[ConstList]]}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{instance msgdoc|startOf|1|<var>_</var> :[[EList]]|[[int32]]}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{instance msgdoc|startOf|2|<var>_</var> :[[EList]], <var>_</var> :[[Integer]]|[[int32]]}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|valueType|0||[[<ins class="diffchange diffchange-inline">Guard]]}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">{{instance msgdoc|with|1|<var>new</var>|[</ins>[<ins class="diffchange diffchange-inline">ConstList</ins>]]<ins class="diffchange diffchange-inline">}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Return a ConstList with the current elements of this list, followed by the one additional element <var>new</var>.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> ? abcd.with("e")</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> # value: ["a", "b", "c", "d", "e"</ins>]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> ? {{{fromConst|__identityFunc</ins>}}<ins class="diffchange diffchange-inline">}([]).with(1)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> # value: [1]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{<del class="diffchange diffchange-inline">instance msgdoc</del>|<del class="diffchange diffchange-inline">with|1|<var>_</var> :null|[[nullOk[ConstList]]]</del>}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{<ins class="diffchange diffchange-inline">XXX</ins>|<ins class="diffchange diffchange-inline">more tests?</ins>}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{{instance msgdoc|with|2|<var>_</var> :<del class="diffchange diffchange-inline">int32</del>, <var>_</var> :null|[<del class="diffchange diffchange-inline">[nullOk</del>[ConstList<del class="diffchange diffchange-inline">]</del>]]}}</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{{instance msgdoc|with|2|<var>_</var> :<ins class="diffchange diffchange-inline">[[Integer]]</ins>, <var>_</var> :null|[[ConstList]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div><noinclude></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div><noinclude></div></td></tr>
<!-- diff generator: internal 2024-03-19 10:20:24 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3843&oldid=prev
Kevin Reid: noincluded too much
2009-03-16T03:50:12Z
<p>noincluded too much</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 03:50, 16 March 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 2:</td>
<td colspan="2" class="diff-lineno">Line 2:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>All indexing is zero-based. All ranges are specified as beginning index, inclusive, to ending index, exclusive (not inclusive end or location and size).</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>All indexing is zero-based. All ranges are specified as beginning index, inclusive, to ending index, exclusive (not inclusive end or location and size).</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"> ? def abcd := {{{fromConst|__identityFunc}}}(["a", "b", "c", "d"]); null</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Protocol==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Protocol==</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></noinclude></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div></noinclude></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> ? def abcd := {{{fromConst|__identityFunc}}}(["a", "b", "c", "d"]); null</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}</div></td></tr>
<!-- diff generator: internal 2024-03-19 10:20:24 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3842&oldid=prev
Kevin Reid: add noincludes for transclusion (see ConstList)
2009-03-16T03:49:15Z
<p>add noincludes for transclusion (see <a href="/wiki/ConstList" title="ConstList">ConstList</a>)</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 03:49, 16 March 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[EList]] is the abstract supertype ({{XXX}} establish terminology: supertype or superclass?) of [[ConstList]], [[FlexList]], and [[ReadOnlyList]]. ({{XXX}} complete list?)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"><noinclude></ins>[[EList]] is the abstract supertype ({{XXX}} establish terminology: supertype or superclass?) of [[ConstList]], [[FlexList]], and [[ReadOnlyList]]. ({{XXX}} complete list?)</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>All indexing is zero-based. All ranges are specified as beginning index, inclusive, to ending index, exclusive (not inclusive end or location and size).</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>All indexing is zero-based. All ranges are specified as beginning index, inclusive, to ending index, exclusive (not inclusive end or location and size).</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? def abcd := {{{fromConst|__identityFunc}}}(["a", "b", "c", "d"]); null</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? def abcd := {{{fromConst|__identityFunc}}}(["a", "b", "c", "d"]); null</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline"> </del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Protocol==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Protocol==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></noinclude></ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Used a program to generate this list of msgdoc headers from E-on-Java. Clean up and write specs.}}</div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 113:</td>
<td colspan="2" class="diff-lineno">Line 115:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|with|2|<var>_</var> :int32, <var>_</var> :null|[[nullOk[ConstList]]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|with|2|<var>_</var> :int32, <var>_</var> :null|[[nullOk[ConstList]]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"><noinclude></ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:ELib specification]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:ELib specification]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{stub}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{stub}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></noinclude></ins></div></td></tr>
<!-- diff generator: internal 2024-03-19 10:20:24 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3841&oldid=prev
Kevin Reid: add autogen headings and some manual
2009-03-16T03:33:17Z
<p>add autogen headings and some manual</p>
<a href="http://wiki.erights.org/mediawiki/index.php?title=EList&diff=3841&oldid=1758">Show changes</a>
Kevin Reid