Changeset 4528 for trunk/manuals

Timestamp:

10/21/08 09:21:17 (3 months ago)

Author:

pmoura

Message:

Allow a complementing category to define an alias for a predicate of the complemented object.

Files:

• trunk/manuals/userman/categories.html (modified) (1 diff)

trunk/manuals/userman/categories.html

@@ -68 +68 @@
 :- end_category.</pre>
 <p>
-This allows us to add new functionality to existing objects without requiring access or modifications to their source code. Common uses are adding logging or debugging functionality to a set of objects. Complemented objects need to be compiled with the <code>complements</code> compiler option switched on.
+This allows us to add new functionality to existing objects without requiring access or modifications to their source code. Common uses are adding logging or debugging predicates to a set of objects. Complementing categories may also be used to define aliases for complemented object predicates. Complemented objects need to be compiled with the <code>complements</code> compiler option switched on.
 </p>
 <p>