http://wiki.erights.org/mediawiki/index.php?title=Miranda_optUncall&feed=atom&action=historyMiranda optUncall - Revision history2024-03-29T08:13:12ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Miranda_optUncall&diff=1586&oldid=prevKevin Reid: import javadoc2011-08-01T04:40:41Z<p>import javadoc</p>
<p><b>New page</b></p><div>'''__optUncall/0''' is a [[Miranda message]] which may return a [[portrayal]] of the object receiving it.<br />
<br />
{{instance msgdoc|__optUncall|0||[[Portrayal]]}}<br />
<br />
The [[miranda method]] for this message always returns <code>[[null]]</code>.<br />
<br />
For [[Selfless]] objects, __optUncall is guaranteed to return a portrayal which exactly represents the object; if <var>a</var> is selfless, then <var>a</var> [[==]] E.call(E, "call", <var>a</var>.__optUncall()).<br />
<br />
__optUncall is typically used by serialization systems for the default portrayal in the absence of other knowledge about the object.<br />
<br />
===Original Javadoc===<br />
<br />
Note: The terminology and taxonomy of this text may be outdated. {{XXX|Update this text and integrate it into the wiki}}<br />
<br />
This should return either <code>null</code> or a triple describing a call<br />
that, if performed, will create an object resembling this one.<br />
<br />
Scalars (ints, float64s, chars, boolean, null) and bare Strings are<br />
''atomic''. __optUncall on an atomic objects return null,<br />
but atomic objects are still considered transparent. Objects which<br />
return non-null are ''non-atomic'' and ''transparent''. Non-atomic<br />
objects that return null are ''opaque''. Opaque objects may be<br />
''selectively transparent'' to certain clients by implementing<br />
[[Miranda optSealedDispatch|__optSealedDispatch]] as described there.<br />
<br />
When a transparent non-atomic object is [[Selfless]], then the<br />
result of __optUncall is guaranteed to be accurate: It<br />
describes a call that, when performed, must result in this very same<br />
object, according to [[Ref#isSameEver|E's "==" operation]]. The<br />
Selfless auditor ensures that all Selfless objects are accurately<br />
self-describing in this way.<br />
<br />
The uncall of a Selfless object is canonical, so if x and y are both<br />
Selfless, then<br />
<br />
x == y iff x.__optUncall() == y.__optUncall()<br />
<br />
Performing the call described by the uncall of a non-Selfless object<br />
generally creates whatever that object wished to create as its<br />
representative, but because it had to provide the ingredients, its<br />
representative could only be something it could have created. Therefore,<br />
the representative cannot convey any more authority than the original<br />
object itself has.<br />
<br />
[[Category:Miranda messages]]</div>Kevin Reidhttp://wiki.erights.org/mediawiki/index.php?title=Miranda_optUncall&diff=3294&oldid=prevKevin Reid: uniform style for miranda pages2011-07-26T18:27:35Z<p>uniform style for miranda pages</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 18:27, 26 July 2011</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>'''__optUncall/0''' is a [[<del class="diffchange diffchange-inline">miranda </del>message]] which may return a [[portrayal]] of the object receiving it.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>'''__optUncall/0''' is a [[<ins class="diffchange diffchange-inline">Miranda </ins>message]] which may return a [[portrayal]] of the object receiving it.</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">{{instance msgdoc|__optUncall|0||[[Portrayal]]}}</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>The [[miranda method]] for this message always returns <code>[[null]]</code>.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>The [[miranda method]] for this message always returns <code>[[null]]</code>.</div></td></tr>
<!-- diff generator: internal 2024-03-29 08:13:13 -->
</table>Kevin Reidhttp://wiki.erights.org/mediawiki/index.php?title=Miranda_optUncall&diff=3293&oldid=prevKevin Reid: miranda method2007-04-21T14:09:02Z<p>miranda method</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 14:09, 21 April 2007</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>'''__optUncall/0''' is a [[<del class="diffchange diffchange-inline">Miranda </del>message]] which may return a [[portrayal]] of the object receiving it.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>'''__optUncall/0''' is a [[<ins class="diffchange diffchange-inline">miranda </ins>message]] which may return a [[portrayal]] of the object receiving it<ins class="diffchange diffchange-inline">.</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">The [[miranda method]] for this message always returns <code>[[null]]</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: #eee; color:black; font-size: smaller;"><div>For [[Selfless]] objects, __optUncall is guaranteed to return a portrayal which exactly represents the object; if <var>a</var> is selfless, then <var>a</var> [[==]] E.call(E, "call", <var>a</var>.__optUncall()).</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>For [[Selfless]] objects, __optUncall is guaranteed to return a portrayal which exactly represents the object; if <var>a</var> is selfless, then <var>a</var> [[==]] E.call(E, "call", <var>a</var>.__optUncall()).</div></td></tr>
<!-- diff generator: internal 2024-03-29 08:13:13 -->
</table>Kevin Reidhttp://wiki.erights.org/mediawiki/index.php?title=Miranda_optUncall&diff=3292&oldid=prevKevin Reid: describe optUncall2007-04-21T13:52:56Z<p>describe optUncall</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 13:52, 21 April 2007</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: #eee; color:black; font-size: smaller;"><div>'''__optUncall/0''' is a [[Miranda message]] which may return a [[portrayal]] of the object receiving it.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>'''__optUncall/0''' is a [[Miranda message]] which may return a [[portrayal]] of the object receiving it.</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;"></del></div></td><td colspan="2"> </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;">{{instance msgdoc|__optUncall|0||[[Portrayal]]}}</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;">The [[miranda method]] for this message always returns <code>[[null]]</code>.</del></div></td><td colspan="2"> </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>For [[Selfless]] objects, __optUncall is guaranteed to return a portrayal which exactly represents the object; if <var>a</var> is selfless, then <var>a</var> [[==]] E.call(E, "call", <var>a</var>.__optUncall()).</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>For [[Selfless]] objects, __optUncall is guaranteed to return a portrayal which exactly represents the object; if <var>a</var> is selfless, then <var>a</var> [[==]] E.call(E, "call", <var>a</var>.__optUncall()).</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>__optUncall is typically used by serialization systems for the default portrayal in the absence of other knowledge about the object.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>__optUncall is typically used by serialization systems for the default portrayal in the absence of other knowledge about the object.</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;"></del></div></td><td colspan="2"> </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;">===Original Javadoc===</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;">Note: The terminology and taxonomy of this text may be outdated. {{XXX|Update this text and integrate it into the wiki}}</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;">This should return either <code>null</code> or a triple describing a call</del></div></td><td colspan="2"> </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;">that, if performed, will create an object resembling this one.</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;">Scalars (ints, float64s, chars, boolean, null) and bare Strings are</del></div></td><td colspan="2"> </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;">''atomic''. __optUncall on an atomic objects return null,</del></div></td><td colspan="2"> </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;">but atomic objects are still considered transparent. Objects which</del></div></td><td colspan="2"> </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;">return non-null are ''non-atomic'' and ''transparent''. Non-atomic</del></div></td><td colspan="2"> </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;">objects that return null are ''opaque''. Opaque objects may be</del></div></td><td colspan="2"> </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;">''selectively transparent'' to certain clients by implementing</del></div></td><td colspan="2"> </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;">[[Miranda optSealedDispatch|__optSealedDispatch]] as described there.</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;">When a transparent non-atomic object is [[Selfless]], then the</del></div></td><td colspan="2"> </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;">result of __optUncall is guaranteed to be accurate: It</del></div></td><td colspan="2"> </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;">describes a call that, when performed, must result in this very same</del></div></td><td colspan="2"> </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;">object, according to [[Ref#isSameEver|E's "==" operation]]. The</del></div></td><td colspan="2"> </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;">Selfless auditor ensures that all Selfless objects are accurately</del></div></td><td colspan="2"> </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;">self-describing in this way.</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;">The uncall of a Selfless object is canonical, so if x and y are both</del></div></td><td colspan="2"> </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;">Selfless, then</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;"> x == y iff x.__optUncall() == y.__optUncall()</del></div></td><td colspan="2"> </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;"></del></div></td><td colspan="2"> </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;">Performing the call described by the uncall of a non-Selfless object</del></div></td><td colspan="2"> </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;">generally creates whatever that object wished to create as its</del></div></td><td colspan="2"> </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;">representative, but because it had to provide the ingredients, its</del></div></td><td colspan="2"> </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;">representative could only be something it could have created. Therefore,</del></div></td><td colspan="2"> </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;">the representative cannot convey any more authority than the original</del></div></td><td colspan="2"> </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;">object itself has.</del></div></td><td colspan="2"> </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>[[Category:Miranda messages]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Miranda messages]]</div></td></tr>
<!-- diff generator: internal 2024-03-29 08:13:14 -->
</table>Kevin Reid