Changeset 4277

Show
Ignore:
Timestamp:
05/24/08 17:36:12 (6 months ago)
Author:
pmoura
Message:

Minor documentation improvements.

Location:
trunk/manuals/refman
Files:
7 modified

Legend:

Unmodified
Added
Removed

  • trunk/manuals/refman/directives/category1_3.html

    r3560 r4277  
    2828category(Category, 
    2929    implements(Protocols)) 
    30      
     30 
    3131category(Category, 
    32     imports(Categories))     
    33      
     32    extends(Categories))     
     33 
     34category(Category, 
     35    complements(Objects)) 
     36 
    3437category(Category, 
    3538    implements(Protocols), 
    36     imports(Categories))</pre> 
     39    extends(Categories), 
     40    complements(Objects)) 
     41</pre> 
    3742<p> 
    3843    Starting category directive. 
    … …  
    4752     
    4853category(+category_identifier, 
    49     imports(+imported_categories)) 
     54    extends(+extended_categories)) 
     55     
     56category(+category_identifier, 
     57    complements(+complemented_objects)) 
    5058 
    5159category(+category_identifier, 
    5260    implements(+implemented_protocols), 
    53     imports(+imported_categories))</pre> 
     61    extends(+extended_categories), 
     62    complements(+complemented_objects))</pre> 
    5463 
    5564 
    … …  
    6574     
    6675:- category(extended, 
    67     imports(minimal)).</pre> 
     76    extends(minimal)). 
     77 
     78:- category(logging, 
     79    implements(monitoring), 
     80    complements(employee)).</pre> 
    6881 
    6982<div class="footer"> 
    7083    <div class="copyright"> 
    7184        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    72         <span>Last updated on: October 26, 2006</span> 
     85        <span>Last updated on: May 23, 2008</span> 
    7386    </div> 
    7487    <div class="navbottom"> 

  • trunk/manuals/refman/directives/dynamic1.html

    r4125 r4277  
    3232dynamic([Functor1//Arity1, Functor2//Arity2, ...])</pre> 
    3333<p> 
    34 Declares dynamic predicates and dynamic grammar rule non-terminals. Note that an object can be static and have both static and dynamic predicates/non-terminals. Dynamic predicates cannot be declared as synchronized. 
     34Declares dynamic predicates and dynamic grammar rule non-terminals. Note that an object can be static and have both static and dynamic predicates/non-terminals. Dynamic predicates cannot be declared as synchronized. When the dynamic predicates are local to an object, declaring them also as private predicates allows the Logtalk compiler to generated optimized code for asserting and retracting predicate clauses. 
    3535</p> 
    3636 
    … …  
    5252    <div class="copyright"> 
    5353        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    54         <span>Last updated on: March 5, 2008</span> 
     54        <span>Last updated on: May 23, 2008</span> 
    5555    </div> 
    5656    <div class="navbottom"> 

  • trunk/manuals/refman/directives/info1.html

    r3560 r4277  
    2626<pre>info(List)</pre> 
    2727<p> 
    28     Documentation directive for objects, protocols, and categories. 
     28Documentation directive for objects, protocols, and categories. The directive argument is a list of pairs using the format <em>Key is Value</em>. 
    2929</p> 
    3030 
    … …  
    4545    <div class="copyright"> 
    4646        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    47         <span>Last updated on: October 26, 2006</span> 
     47        <span>Last updated on: May 23, 2008</span> 
    4848    </div> 
    4949    <div class="navbottom"> 

  • trunk/manuals/refman/directives/info2.html

    r3560 r4277  
    2727info(Functor//Arity, List)</pre> 
    2828<p> 
    29 Documentation directive for predicates and grammar rule non-terminals. 
     29Documentation directive for predicates and grammar rule non-terminals. The first argument is either a predicate indicator or a grammar rule non-terminal indicator. The second argument is a list of pairs using the format <em>Key is Value</em>. 
    3030</p> 
    3131 
    … …  
    4747    <div class="copyright"> 
    4848        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    49         <span>Last updated on: October 26, 2006</span> 
     49        <span>Last updated on: May 23, 2008</span> 
    5050    </div> 
    5151    <div class="navbottom"> 

  • trunk/manuals/refman/directives/synchronized1.html

    r4125 r4277  
    3535</p> 
    3636<p> 
    37 Synchronized predicates are silently compiled as normal predicates when using back-end Prolog compilers that don't support multi-threading programming. Note that synchronized predicates cannot be declared dynamic. 
     37Synchronized predicates are silently compiled as normal predicates when using back-end Prolog compilers that don't support multi-threading programming. Note that synchronized predicates cannot be declared dynamic (when necessary, declare the predicates updating the dynamic predicates as synchronized). 
    3838</p> 
    3939 
    … …  
    5555    <div class="copyright"> 
    5656        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    57         <span>Last updated on: March 5, 2008</span> 
     57        <span>Last updated on: May 23, 2008</span> 
    5858    </div> 
    5959    <div class="navbottom"> 

  • trunk/manuals/refman/grammar.html

    r4209 r4277  
    102102        <dt>category_relation ::=</dt> 
    103103            <dd>implements_protocols |</dd> 
    104             <dd>extends_categories</dd> 
     104            <dd>extends_categories |</dd> 
     105            <dd>complements_objects</dd> 
    105106    </dl> 
    106107 
    … …  
    151152        <dt>specializes_classes ::=</dt> 
    152153            <dd>"<code>specializes(</code>" specialized_objects "<code>)</code>"</dd> 
     154    </dl> 
     155    <dl> 
     156        <dt>complements_objects ::=</dt> 
     157            <dd>"<code>complements(</code>" complemented_objects "<code>)</code>"</dd> 
    153158    </dl> 
    154159 
    … …  
    174179                <dd>"<code>[</code>" implemented_protocol_sequence "<code>]</code>"</dd> 
    175180        </dl> 
    176      
     181 
    177182    <h3 id="grammar_extended_protocols">Extended protocols</h3> 
    178183        <dl> 
    … …  
    196201                <dd>"<code>[</code>" extended_protocol_sequence "<code>]</code>"</dd> 
    197202        </dl> 
    198      
     203 
    199204    <h3 id="grammar_imported_categories">Imported categories</h3> 
    200205        <dl> 
    … …  
    218223                <dd>"<code>[</code>" imported_category_sequence "<code>]</code>"</dd> 
    219224        </dl> 
    220      
     225 
    221226    <h3 id="grammar_extended_objects">Extended objects</h3> 
    222227        <dl> 
    … …  
    240245                <dd>"<code>[</code>" extended_object_sequence "<code>]</code>"</dd> 
    241246        </dl> 
    242      
     247 
    243248    <h3 id="grammar_extended_categories">Extended categories</h3> 
    244249        <dl> 
    … …  
    262267                <dd>"<code>[</code>" extended_category_sequence "<code>]</code>"</dd> 
    263268        </dl> 
    264      
     269 
    265270    <h3 id="grammar_instantiated_objects">Instantiated objects</h3> 
    266271        <dl> 
    … …  
    284289                <dd>"<code>[</code>" instantiated_object_sequence "<code>]</code>"</dd> 
    285290        </dl> 
    286      
     291 
    287292    <h3 id="grammar_specialized_objects">Specialized objects</h3> 
    288293        <dl> 
    … …  
    306311                <dd>"<code>[</code>" specialized_object_sequence "<code>]</code>"</dd> 
    307312        </dl> 
    308      
     313 
     314    <h3 id="grammar_complemented_objects">Complemented objects</h3> 
     315        <dl> 
     316            <dt>complemented_objects ::=</dt> 
     317                <dd>object_identifier |</dd> 
     318                <dd>complemented_object_sequence |</dd> 
     319                <dd>complemented_object_list</dd> 
     320        </dl> 
     321        <dl> 
     322            <dt>complemented_object_sequence ::=</dt> 
     323                <dd>object_identifier |</dd> 
     324                <dd>object_identifier "<code>,</code>" complemented_object_sequence</dd> 
     325        </dl> 
     326        <dl> 
     327            <dt>complemented_object_list ::=</dt> 
     328                <dd>"<code>[</code>" complemented_object_sequence "<code>]</code>"</dd> 
     329        </dl> 
     330 
    309331    <h3 id="grammar_scope">Entity scope</h3> 
    310332        <dl> 
    … …  
    314336                <dd>"<code>private</code>"</dd> 
    315337        </dl> 
    316      
     338 
    317339 
    318340<h2 id="grammar_entity_identifiers">Entity identifiers</h2> 

  • trunk/manuals/refman/index.html

    r4271 r4277  
    4040        <dd><a href="grammar.html#grammar_instantiated_objects">Instantiated objects</a><span class="leader"></span><span class="page-ref"><span class="grammar_instantiated_objects"></span></span></dd> 
    4141        <dd><a href="grammar.html#grammar_specialized_objects">Specialized objects</a><span class="leader"></span><span class="page-ref"><span class="grammar_specialized_objects"></span></span></dd> 
     42        <dd><a href="grammar.html#grammar_complemented_objects">Complemented objects</a><span class="leader"></span><span class="page-ref"><span class="grammar_complemented_objects"></span></span></dd> 
    4243        <dd><a href="grammar.html#grammar_scope">Entity scope</a><span class="leader"></span><span class="page-ref"><span class="grammar_scope"></span></span></dd> 
    4344</dl>