<?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>Void - Revision history</title>
		<link>http://wiki.erights.org/mediawiki/index.php?title=Void&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>Wed, 08 Apr 2026 14:13:54 GMT</lastBuildDate>
		<item>
			<title>Kevin Reid at 17:03, 28 August 2010</title>
			<link>http://wiki.erights.org/mediawiki/index.php?title=Void&amp;diff=2101&amp;oldid=prev</link>
			<guid>http://wiki.erights.org/mediawiki/index.php?title=Void&amp;diff=2101&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;The [[void]] guard, present in the [[universal environment]], coerces all inputs to [[null]].&lt;br /&gt;
&lt;br /&gt;
It specifies that a given data flow path (particularly, a method return value) carries no information and is not used.&lt;br /&gt;
&lt;br /&gt;
In [[E syntactic version]]s prior to 0.9 (before the “easy-return” syntactic feature), the default result guard for methods was [[void]] rather than [[any]]; thus the method body's return value was null unless a guard was specified.&lt;br /&gt;
&lt;br /&gt;
  ? void&lt;br /&gt;
  # value: void&lt;br /&gt;
&lt;br /&gt;
  ? void.coerce(def obj {}, throw)&lt;br /&gt;
  # value: null&lt;br /&gt;
&lt;br /&gt;
[[Category:Guards]]&lt;/div&gt;</description>
			<pubDate>Sat, 28 Aug 2010 17:03:59 GMT</pubDate>			<dc:creator>Kevin Reid</dc:creator>			<comments>http://wiki.erights.org/wiki/Talk:Void</comments>		</item>
	</channel>
</rss>