Changeset 4474 for trunk/manuals

Timestamp:

09/25/08 19:24:17 (4 months ago)

Author:

pmoura

Message:

Added a syntax construct for easy access to parametric object proxies represented as Prolog facts when sending a message ({Proxy}::Message). Updated the "proxies" example to illustrate this new functionality.

Location:

trunk/manuals

Files:

• index.html (modified) (1 diff)
• refman/control/to_object2.html (modified) (5 diffs)
• refman/index.html (modified) (1 diff)
• userman/index.html (modified) (1 diff)
• userman/objects.html (modified) (2 diffs)

trunk/manuals/index.html

@@ -32 +32 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: September 22, 2008</span>
+        <span>Last updated on: September 26, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/refman/control/to_object2.html

@@ -25 +25 @@
 
 <pre>Object::Predicate
-    
+{Proxy}::Predicate
+
 (Object1, Object2, ...)::Predicate
 (Object1; Object2; ...)::Predicate
@@ -33 +34 @@
 <p>
 Sends a message to an object. The message argument must match a public predicate of the receiver object. When the message corresponds to a protected or private predicate, the call is only valid if the <em>sender</em> matches the predicate scope container. We can also send the same message to either a conjunction or a disjunction of objects or send either a conjunction or disjunction of messages to the same object.
+</p>
+<p>
+The <code>{Proxy}::Predicate</code> syntax construct allows simplified access to parametric object <em>proxies</em>. Its operational semantics is equivalent to <code>once(Proxy), Proxy::Predicate</code> (however, exceptions thrown when proving <code>Proxy</code> are handled by the <code>::/2</code> control construct).
 </p>
 
@@ -44 +48 @@
     <dt>Either Object or Predicate is a variable:</dt>
         <dd><code>instantiation_error</code></dd>
+    <dt>Object is not a valid object identifier:</dt>
+        <dd><code>type_error(object_identifier, Object)</code></dd>
     <dt>Predicate is declared private:</dt>
         <dd><code>permission_error(access, private_predicate, Predicate)</code></dd>
@@ -52 +58 @@
     <dt>Object does not exist:</dt>
         <dd><code>existence_error(object, Object)</code></dd>
+</dl>
+<dl>
+    <dt>Proxy is a variable:</dt>
+        <dd><code>instantiation_error</code></dd>
+    <dt>Proxy is not a valid object identifier:</dt>
+        <dd><code>type_error(object_identifier, Proxy)</code></dd>
+    <dt>The predicate Proxy does not exist in the <em>user</em> pseudo-object:</dt>
+        <dd><code>existence_error(procedure, ProxyFunctor/ProxyArity)</code></dd>
 </dl>
 
@@ -66 +80 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: July 17, 2008</span>
+        <span>Last updated on: September 26, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/refman/index.html

@@ -321 +321 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: August 25, 2008</span>
+        <span>Last updated on: September 26, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/index.html

@@ -304 +304 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>
-        <span>Last updated on: September 22, 2008</span>
+        <span>Last updated on: September 26, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/objects.html

@@ -198 +198 @@
 <pre>{Proxy}::Message</pre>
 <p>
-In this context, the proxy argument is proved as a plain Prolog goal. If successful, the message is sent to the corresponding parametric object. Typically, the proof allows retrieving of parameter instantiations. This notation supports backtracking over the Prolog facts that unify with the proxy term. When this behavior is unwanted, is possible to commit to the first unifying fact by writing:
-</p>
-<pre>{Proxy}::(!, Message)</pre>
-<p>
-In most cases, however, the use of cuts is not necessary as this construct is usually used with a proxy argument that is partially instantiated in order to unify with a single Prolog fact.
+In this context, the proxy argument is proved as a plain, deterministic Prolog goal. If successful, the message is sent to the corresponding parametric object. Typically, the proof allows retrieving of parameter instantiations. This construct should be used with a proxy argument that is sufficiently instantiated in order to unify with a single Prolog fact.
 </p>
 
@@ -447 +443 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: September 22, 2008</span>
+        <span>Last updated on: September 26, 2008</span>
     </div>
     <div class="navbottom">