1.1 --- a/docs/assignment.txt Sun Feb 22 02:04:30 2009 +0100
1.2 +++ b/docs/assignment.txt Sun Feb 22 22:31:21 2009 +0100
1.3 @@ -51,3 +51,18 @@
1.4 instance preserved LoadAttr LoadAttrIndex
1.5
1.6 Access to a namespace may not preserve the stored context
1.7 +
1.8 +Access to class attributes via instances:
1.9 +
1.10 + Access to stored value with... Effect on context
1.11 + ------------------------------ -----------------
1.12 + compatible class as context overridden
1.13 + incompatible class as context preserved
1.14 + null context preserved
1.15 + other context (instance) preserved
1.16 +
1.17 + LoadAttrIndex must therefore check whether the context must be overridden
1.18 +
1.19 + Since the object table encodes sufficient information (an instance must be
1.20 + compatible to access the class attribute, and compatibility information is
1.21 + stored), an explicit compatibility test is not required at run-time