<?xml version="1.0"?>
<?xml-stylesheet type="text/css" href="http://wiki.erights.org/mediawiki/skins/common/feed.css?207"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
	<channel>
		<title>Ejector - Revision history</title>
		<link>http://wiki.erights.org/mediawiki/index.php?title=Ejector&amp;action=history</link>
		<description>Revision history for this page on the wiki</description>
		<language>en</language>
		<generator>MediaWiki 1.15.5-7</generator>
		<lastBuildDate>Sat, 09 May 2026 13:23:23 GMT</lastBuildDate>
		<item>
			<title>Kevin Reid at 22:02, 14 May 2009</title>
			<link>http://wiki.erights.org/mediawiki/index.php?title=Ejector&amp;diff=1787&amp;oldid=prev</link>
			<guid>http://wiki.erights.org/mediawiki/index.php?title=Ejector&amp;diff=1787&amp;oldid=prev</guid>
			<description>&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{XXX|Fill this out with more stuff}}&lt;br /&gt;
&lt;br /&gt;
==Tests==&lt;br /&gt;
&lt;br /&gt;
Check what happens when an ejector is called from within a finally block being executed during an ejection.&lt;br /&gt;
&lt;br /&gt;
 ? escape a {&lt;br /&gt;
 &amp;gt;   escape b {&lt;br /&gt;
 &amp;gt;     try {&lt;br /&gt;
 &amp;gt;       b(&amp;quot;inner&amp;quot;)&lt;br /&gt;
 &amp;gt;     } finally { &lt;br /&gt;
 &amp;gt;       a(&amp;quot;outer&amp;quot;)&lt;br /&gt;
 &amp;gt;     }&lt;br /&gt;
 &amp;gt;   }&lt;br /&gt;
 &amp;gt; }&lt;br /&gt;
 # value: &amp;quot;outer&amp;quot;&lt;br /&gt;
 &lt;br /&gt;
&lt;br /&gt;
Try-catch does not catch ejections.&lt;br /&gt;
&lt;br /&gt;
 ? escape a {&lt;br /&gt;
 &amp;gt;   try {&lt;br /&gt;
 &amp;gt;     a(&amp;quot;safe&amp;quot;)&lt;br /&gt;
 &amp;gt;   } catch p {&lt;br /&gt;
 &amp;gt;     p&lt;br /&gt;
 &amp;gt;   }&lt;br /&gt;
 &amp;gt;   &amp;quot;fallthru&amp;quot;&lt;br /&gt;
 &amp;gt; }&lt;br /&gt;
 # value: &amp;quot;safe&amp;quot;&lt;br /&gt;
 &lt;br /&gt;
&lt;br /&gt;
Ejectors have dynamic extent.&lt;br /&gt;
&lt;br /&gt;
 ? def a&lt;br /&gt;
 # value: &amp;lt;Resolver&amp;gt;&lt;br /&gt;
 ? escape bind a {}&lt;br /&gt;
 ? a()&lt;br /&gt;
 # problem: Failed: Ejector must be enabled&lt;br /&gt;
 &lt;br /&gt;
{{stub}}&lt;br /&gt;
[[Category:ELib specification]]&lt;/div&gt;</description>
			<pubDate>Thu, 14 May 2009 22:02:54 GMT</pubDate>			<dc:creator>Kevin Reid</dc:creator>			<comments>http://wiki.erights.org/wiki/Talk:Ejector</comments>		</item>
	</channel>
</rss>