1.1 --- a/docs/annotations.txt Sat Apr 20 00:59:58 2013 +0200
1.2 +++ b/docs/annotations.txt Thu Apr 25 18:08:32 2013 +0200
1.3 @@ -3,6 +3,32 @@
1.4
1.5 These annotations are defined in the revised compiler.ast classes.
1.6
1.7 +Deduction Results
1.8 +-----------------
1.9 +
1.10 +_access_type defines the kind of access involved for a particular node
1.11 + and determines which of the following annotations will be
1.12 + employed
1.13 +_value_deduced defines a specific result associated with an attribute
1.14 + access during deduction and based on inspection results
1.15 +_attr_deduced defines an attribute result according to deduction based
1.16 + on inspection results, with the accessor being the parent
1.17 + defined in this object for static attributes
1.18 +_position_deduced defines a common position employed by all deduced
1.19 + attributes for an access operation which is relative to
1.20 + the accessor evaluated at run time
1.21 +_set_context indicates the deduced effect on the context in an access
1.22 + operation, whether the context would be replaced
1.23 + unconditionally or conditionally
1.24 +
1.25 +_attrs_deduced_from_usage
1.26 +_attrs_deduced
1.27 + provided as additional annotations more suitable for
1.28 + report generation than code generation, since they
1.29 + describe a range of deduced attributes for a given node,
1.30 + but such ranges may not lend themselves to the generation
1.31 + of optimised code
1.32 +
1.33 Evaluation Results
1.34 ------------------
1.35