# HG changeset patch # User Paul Boddie # Date 1372970492 -7200 # Node ID f437f041f6659e036bafc05a63d83af8151e6584 # Parent efa6d88afafaeaa611b096ca377f0bbb386dd5d8 Added example values of the deduction annotations. diff -r efa6d88afafa -r f437f041f665 docs/annotations.txt --- a/docs/annotations.txt Thu Jul 04 22:26:53 2013 +0200 +++ b/docs/annotations.txt Thu Jul 04 22:41:32 2013 +0200 @@ -6,15 +6,19 @@ Deduction Results ----------------- -_access_type defines the kind of access involved for a particular node +_access_type ("constant", "static", "positioned", "instance") + defines the kind of access involved for a particular node and determines which of the following annotations will be employed -_value_deduced defines a specific result associated with an attribute +_value_deduced (_access_type is "constant") + defines a specific result associated with an attribute access during deduction and based on inspection results -_attr_deduced defines an attribute result according to deduction based +_attr_deduced (_access_type is "static" or "instance") + defines an attribute result according to deduction based on inspection results, with the accessor being the parent defined in this object for static attributes -_position_deduced defines a common position employed by all deduced +_position_deduced (_access_type is "positioned") + defines a common position employed by all deduced attributes for an access operation which is relative to the accessor evaluated at run time _set_context indicates the deduced effect on the context in an access @@ -32,7 +36,9 @@ Evaluation Results ------------------ -_attr notes the result associated with an attribute access +_attr (may identify static attributes for classes and modules, + is otherwise given as a general instance) + notes the result associated with an attribute access operation during inspection; this may be a general instance providing no specific information about the nature of an attribute