1.1 --- a/docs/assignment.txt Fri Jul 05 18:03:54 2013 +0200
1.2 +++ b/docs/assignment.txt Fri Jul 05 22:35:43 2013 +0200
1.3 @@ -74,9 +74,13 @@
1.4 known not constant -> instance LoadAddressContext (attribute may always be overridden)
1.5 known not constant not known LoadAddressContextCond (perform context check)
1.6 not known not known preserved LoadAttrIndex (attribute may have preserved context in all classes)
1.7 - not known not known -> instance LoadAttrIndexContext (attribute may have overridden context in all classes)
1.8 +* not known not known -> instance LoadAttrIndexContext (attribute may have overridden context in all classes)
1.9 not known not known not known LoadAttrIndexContextCond (perform context check for class attribute access)
1.10
1.11 +* Since knowing that an instance will replace the context might also mean
1.12 + knowing the nature of the attribute, LoadAttrIndexContext is not likely to
1.13 + be useful in practice.
1.14 +
1.15 Since the object table encodes sufficient information (an instance must be
1.16 compatible to access the class attribute, and compatibility information is
1.17 stored), an explicit compatibility test may not always be required at