1.1 --- a/docs/annotations.txt Thu Jul 04 22:26:53 2013 +0200
1.2 +++ b/docs/annotations.txt Thu Jul 04 22:41:32 2013 +0200
1.3 @@ -6,15 +6,19 @@
1.4 Deduction Results
1.5 -----------------
1.6
1.7 -_access_type defines the kind of access involved for a particular node
1.8 +_access_type ("constant", "static", "positioned", "instance")
1.9 + defines the kind of access involved for a particular node
1.10 and determines which of the following annotations will be
1.11 employed
1.12 -_value_deduced defines a specific result associated with an attribute
1.13 +_value_deduced (_access_type is "constant")
1.14 + defines a specific result associated with an attribute
1.15 access during deduction and based on inspection results
1.16 -_attr_deduced defines an attribute result according to deduction based
1.17 +_attr_deduced (_access_type is "static" or "instance")
1.18 + defines an attribute result according to deduction based
1.19 on inspection results, with the accessor being the parent
1.20 defined in this object for static attributes
1.21 -_position_deduced defines a common position employed by all deduced
1.22 +_position_deduced (_access_type is "positioned")
1.23 + defines a common position employed by all deduced
1.24 attributes for an access operation which is relative to
1.25 the accessor evaluated at run time
1.26 _set_context indicates the deduced effect on the context in an access
1.27 @@ -32,7 +36,9 @@
1.28 Evaluation Results
1.29 ------------------
1.30
1.31 -_attr notes the result associated with an attribute access
1.32 +_attr (may identify static attributes for classes and modules,
1.33 + is otherwise given as a general instance)
1.34 + notes the result associated with an attribute access
1.35 operation during inspection; this may be a general
1.36 instance providing no specific information about the
1.37 nature of an attribute