FinalSlot - Revision history

http://wiki.erights.org/mediawiki/index.php?action=history&feed=atom&title=FinalSlot FinalSlot - Revision history 2026-04-25T20:11:04Z Revision history for this page on the wiki MediaWiki 1.15.5-7 http://wiki.erights.org/mediawiki/index.php?title=FinalSlot&diff=1653&oldid=prev Kevin Reid: category 2008-07-02T02:33:40Z

<p>category</p> <p><b>New page</b></p><div>[[FinalSlot]] is the type of [[slot]] which underlies a [[final pattern]]. It is [[PassByCopy]]; it is given its value when it is created and cannot be assigned.<br /> <br /> Maker FQN: <code>org.erights.e.elib.slot.makeFinalSlot</code><br /> <br /> The FinalSlot guard is parameterizable with a guard for the value; e.g. <code>makeFinalSlot(1) :FinalSlot[float64] => &lt;&amp; 1.0></code><br /> <br /> == Maker protocol ==<br /> <br /> === asType/0 ===<br /> {{asType|FinalSlot}}<br /> <br /> === run/1 ===<br /> run(value :[[any]]) :FinalSlot<br /> <br /> Makes a FinalSlot with the specified value.<br /> <br /> [[Category:ELib specification]]</div>

Kevin Reid http://wiki.erights.org/mediawiki/index.php?title=FinalSlot&diff=3556&oldid=prev Kevin Reid: /* run/1 */ result guard, link any 2008-03-25T15:32:28Z

<p><span class="autocomment">run/1: </span> result guard, link any</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 15:32, 25 March 2008</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;"></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>=== run/1 ===</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>=== run/1 ===</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>run(value :any)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>run(value :<ins class="diffchange diffchange-inline">[[</ins>any<ins class="diffchange diffchange-inline">]]</ins>) <ins class="diffchange diffchange-inline">:FinalSlot</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>Makes a FinalSlot with the specified value.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Makes a FinalSlot with the specified value.</div></td></tr>  </table>

Kevin Reid http://wiki.erights.org/mediawiki/index.php?title=FinalSlot&diff=3555&oldid=prev Kevin Reid: replaced with spec-style doc 2008-03-25T15:29:04Z

<p>replaced with spec-style doc</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 15:29, 25 March 2008</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>FinalSlot is <del class="diffchange diffchange-inline">an </del>[[<del class="diffchange diffchange-inline">Slot</del>]] <del class="diffchange diffchange-inline">that aquires </del>its value <del class="diffchange diffchange-inline">at creation/definition time </del>and <del class="diffchange diffchange-inline">there after always returns that value</del>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">[[</ins>FinalSlot<ins class="diffchange diffchange-inline">]] </ins>is <ins class="diffchange diffchange-inline">the type of </ins>[[<ins class="diffchange diffchange-inline">slot</ins>]] <ins class="diffchange diffchange-inline">which underlies a [[final pattern]]. It is [[PassByCopy]]; it is given </ins>its value <ins class="diffchange diffchange-inline">when it is created </ins>and <ins class="diffchange diffchange-inline">cannot be assigned</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">The </del>:<del class="diffchange diffchange-inline">final guard checks if the </del>slot <del class="diffchange diffchange-inline">passed is an FinalSlot</del>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">Maker FQN</ins>: <ins class="diffchange diffchange-inline"><code>org.erights.e.elib.</ins>slot.<ins class="diffchange diffchange-inline">makeFinalSlot</code></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">An anology for people that design computer hardware is that defining an </del>FinalSlot is <del class="diffchange diffchange-inline">akin to manifacture an ROM containing </del>the</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">The </ins>FinalSlot <ins class="diffchange diffchange-inline">guard </ins>is <ins class="diffchange diffchange-inline">parameterizable with a guard for </ins>the <ins class="diffchange diffchange-inline">value; e.g. <code>makeFinalSlot(1) :FinalSlot[float64] => &lt;&amp; 1.0></code></ins></div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>specified <del class="diffchange diffchange-inline">data</del>.</div></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">== Maker protocol ==</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">=== asType/0 ===</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">{{asType|FinalSlot}}</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">=== run/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">run(value :any)</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">Makes a FinalSlot with the </ins>specified <ins class="diffchange diffchange-inline">value</ins>.</div></td></tr>  </table>

Kevin Reid http://wiki.erights.org/mediawiki/index.php?title=FinalSlot&diff=3554&oldid=prev Zarutian: Created page. Is there anything more to add? 2008-03-24T00:29:08Z

<p>Created page. Is there anything more to add?</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 00:29, 24 March 2008</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><del class="diffchange diffchange-inline">[[</del>FinalSlot<del class="diffchange diffchange-inline">]] </del>is <del class="diffchange diffchange-inline">the type of </del>[[<del class="diffchange diffchange-inline">slot</del>]] <del class="diffchange diffchange-inline">which underlies a [[final pattern]]. It is [[PassByCopy]]; it is given </del>its value <del class="diffchange diffchange-inline">when it is created </del>and <del class="diffchange diffchange-inline">cannot be assigned</del>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>FinalSlot is <ins class="diffchange diffchange-inline">an </ins>[[<ins class="diffchange diffchange-inline">Slot</ins>]] <ins class="diffchange diffchange-inline">that aquires </ins>its value <ins class="diffchange diffchange-inline">at creation/definition time </ins>and <ins class="diffchange diffchange-inline">there after always returns that value</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">Maker FQN</del>: <del class="diffchange diffchange-inline"><code>org.erights.e.elib.</del>slot.<del class="diffchange diffchange-inline">makeFinalSlot</code></del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">The </ins>:<ins class="diffchange diffchange-inline">final guard checks if the </ins>slot <ins class="diffchange diffchange-inline">passed is an FinalSlot</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">The </del>FinalSlot <del class="diffchange diffchange-inline">guard </del>is <del class="diffchange diffchange-inline">parameterizable with a guard for </del>the <del class="diffchange diffchange-inline">value; e.g. <code>makeFinalSlot(1) :FinalSlot[float64] => &lt;&amp; 1.0></code></del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">An anology for people that design computer hardware is that defining an </ins>FinalSlot is <ins class="diffchange diffchange-inline">akin to manifacture an ROM containing </ins>the</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>specified <ins class="diffchange diffchange-inline">data</ins>.</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">== Maker protocol ==</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: #ffa; color:black; font-size: smaller;"><div> </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: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">=== asType/0 ===</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: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">{{asType|FinalSlot}}</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: #ffa; color:black; font-size: smaller;"><div> </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: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">=== run/1 ===</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: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">run(value :[[any]]) :FinalSlot</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: #ffa; color:black; font-size: smaller;"><div> </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: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">Makes a FinalSlot with the </del>specified <del class="diffchange diffchange-inline">value</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: #ffa; color:black; font-size: smaller;"><div> </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: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">[[Category:ELib specification]]</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div></div></td></tr>  </table>

Zarutian