http://wiki.erights.org/mediawiki/index.php?action=history&feed=atom&title=VoidVoid - Revision history2026-04-08T14:14:48ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Void&diff=2101&oldid=prevKevin Reid at 17:03, 28 August 20102010-08-28T17:03:59Z<p></p>
<p><b>New page</b></p><div>The [[void]] guard, present in the [[universal environment]], coerces all inputs to [[null]].<br />
<br />
It specifies that a given data flow path (particularly, a method return value) carries no information and is not used.<br />
<br />
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.<br />
<br />
? void<br />
# value: void<br />
<br />
? void.coerce(def obj {}, throw)<br />
# value: null<br />
<br />
[[Category:Guards]]</div>Kevin Reid