http://50.77.162.165/mediawiki/index.php?action=history&feed=atom&title=ExitFunction 2026-04-19T17:56:10Z Revision history for this page on the wiki MediaWiki 1.15.5-7 http://50.77.162.165/mediawiki/index.php?title=ExitFunction&diff=1670&oldid=prev 2008-07-02T02:27:47Z

<p>more categories</p> <p><b>New page</b></p><div>Currently hypothetical as a [[guard]] and [[auditor]]. [[Ejector]]s and [[throw]] are existing examples of ExitFunctions.<br /> <br /> An [[ExitFunction]] is an object whose run/1 [[method]] does not [[return]], and has no [[side effects]] before it [[exit]]s. That is, calling an ExitFunction's run/1 cannot be [[plan interference]].<br /> <br /> In the below example, it is guaranteed that &lt;code&gt;println(&quot;okay&quot;)&lt;/code&gt; will happen before any effects specific to &lt;var&gt;ef&lt;/var&gt; occur, and that &lt;code&gt;println(&quot;oops&quot;)&lt;/code&gt; will not happen.<br /> <br /> def example(ef :ExitFunction) {<br /> try {<br /> ef(&quot;boo&quot;)<br /> } finally {<br /> println(&quot;okay&quot;)<br /> }<br /> println(&quot;oops&quot;)<br /> }<br /> <br /> ==Proposal==<br /> <br /> [[User:Kevin Reid]] proposes that parameters which are expected to be [[ejector]]s should be guarded by ExitFunction instead of [[OneArgFunc]], except where the programmer has considered the possibility of [[plan interference]].<br /> <br /> See also [[Non-optional ejectors]].<br /> <br /> [[Category:Guards]]<br /> [[Category:Reference properties]]<br /> [[Category:Unresolved design issues]]<br /> [[Category:Protocols]]<br /> [[Category:Message run/1]]</div>

Kevin Reid http://50.77.162.165/mediawiki/index.php?title=ExitFunction&diff=3592&oldid=prev 2008-06-20T19:26:58Z

<p></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 19:26, 20 June 2008</td> </tr> <tr><td colspan="2" class="diff-lineno">Line 23:</td> <td colspan="2" class="diff-lineno">Line 23:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Reference properties]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Reference properties]]</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Unresolved design issues]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Unresolved design issues]]</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;">[[Category:Protocols]]</del></div></td><td colspan="2">&nbsp;</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;">[[Category:Message run/1]]</del></div></td><td colspan="2">&nbsp;</td></tr> <!-- diff generator: internal 2026-04-19 17:56:10 --> </table>

Kevin Reid