logo       
Google Custom Search
    AddThis Social Bookmark Button
-->

Nice/web manual.xml,1.29,1.30: msg#00130

Subject: Nice/web manual.xml,1.29,1.30
Update of /cvsroot/nice/Nice/web
In directory sc8-pr-cvs1:/tmp/cvs-serv24859/web

Modified Files:
        manual.xml 
Log Message:
Added for explanation about the utility of exact matching.

Restored a precision about method implementations and default values.


Index: manual.xml
===================================================================
RCS file: /cvsroot/nice/Nice/web/manual.xml,v
retrieving revision 1.29
retrieving revision 1.30
diff -C2 -d -r1.29 -r1.30
*** manual.xml  17 Dec 2003 11:06:35 -0000      1.29
--- manual.xml  17 Dec 2003 11:53:59 -0000      1.30
***************
*** 432,436 ****
  
        <para>
!         There is an <link linkend="ex:copy">example</link> where 
        exact matching is required to
        type-check a method with a precise polymorphic type.
--- 432,442 ----
  
        <para>
!         Specializing on the exact class of an argument is useful in situations
!       where an implementation is correct for a certain class, but you know
!       that each subclass will require a different implementation.     
!       </para>
! 
!       <para>
!         There is also an <link linkend="ex:copy">example</link> where 
        exact matching is required to
        type-check a method with a precise polymorphic type.
***************
*** 479,483 ****
           Note that it is not possible to dispatch a method call on an array 
           type, nor to specialize a method on the subtype of a type parameter. 
!          This means that methods of the form:
          </para>
          <para>
--- 485,489 ----
           Note that it is not possible to dispatch a method call on an array 
           type, nor to specialize a method on the subtype of a type parameter. 
!          This means that method implementations of the form:
          </para>
          <para>
***************
*** 587,590 ****
--- 593,602 ----
         int to = array.length - 1);</literal>
        </para>
+ 
+       <para>
+         Method implementations must still bind all parameters,
+       including the optional ones, and can dispatch on them.
+       </para>
+ 
      </section>
    </chapter>




-------------------------------------------------------
This SF.net email is sponsored by: IBM Linux Tutorials.
Become an expert in LINUX or just sharpen your skills.  Sign up for IBM's
Free Linux Tutorials.  Learn everything from the bash shell to sys admin.
Click now! http://ads.osdn.com/?ad_id=1278&alloc_id=3371&op=click


<Prev in Thread] Current Thread [Next in Thread>