ECMA Implementation - Revision history

Alexander Kogtenkov: /* Easy tasks */ Marked that attachment marks are fully supported in 6.4

2009-06-03T14:45:11Z

‎Easy tasks: Marked that attachment marks are fully supported in 6.4

Alexander Kogtenkov: /* Complex tasks */ Marked Object test implementation as completed in 6.4

2009-06-03T14:42:14Z

‎Complex tasks: Marked Object test implementation as completed in 6.4

Manus: typo

2008-11-19T06:28:58Z

typo

Manus: /* Easy tasks */

2008-11-19T06:27:11Z

‎Easy tasks

Manus: /* Complex tasks */

2008-08-06T17:46:48Z

‎Complex tasks

Manus: /* Easy tasks */

2008-08-06T17:44:28Z

‎Easy tasks

Manus: /* Easy tasks */

2008-08-06T17:44:11Z

‎Easy tasks

Manus: /* Easy tasks */

2008-08-06T17:43:58Z

‎Easy tasks

Manus: /* Complex tasks */

2007-11-16T21:22:26Z

‎Complex tasks

Manus: /* Easy tasks */

2007-11-16T21:22:07Z

‎Easy tasks

@@ Line 16: / Line 16: @@
 * <del>Chapter 5 Support new syntax for constant attributes: ... = Manifest_constant</del> {{Red|Done in 5.7}}
 * <del>Chapter 5 Remove keyword "is" from feature declaration.</del> {{Red|Done in 5.7}}
-* <del>Chapter 5 Add Attachment_mark ("?"|"!") syntax for any type declarations.</del> {{Red|Done in 6.1, except for formal generics and tuple types}}
+* <del>Chapter 5 Add Attachment_mark ("?"|"!") syntax for any type declarations.</del> {{Red|Done in 6.4}}
 * <del>Chapter 6 Support for inherit {NONE} syntax</del> {{Red|Done in 6.1}}
 * Chapter 6 Implement VHPR(6): end keyword is present if the Feature_adaption clause is not empty.

@@ Line 71: / Line 71: @@
 * Chapter 23 Add a feature ANY.onces and an associated class to refresh once features.
 * Chapter 26 Checks that all possible path of execution that might raise an exception are properly handled (i.e. following the code path diagram that we used in the ECMA minutes).
-* <del>Chapter 28 Implement Object_test</del> {{Red|Done in 6.1 except for preconditions, check instructions and the same names of locals}}
+* <del>Chapter 28 Implement Object_test</del> {{Red|Done in 6.4}}
 * Chapter 9 Rules (which are not yet in the standard) talking about recursive checking of assertions with the various proposed levels.
 * Chapter 3 Check that a root creation procedure meets VSRP.

@@ Line 62: / Line 62: @@
 * Chapter 6 New order in the Feature_adaptation clause (main difference is rename clause at the end rather than at the beginning).
 * <del>Chapter 16 Proper implementation of replication semantics rule for `select' and `non-conforming inheritance'.<del> {{Red|Done in 6.x}}
-* <del>Chapter 10 Ensures that `redefine' implies a redeclaration (no effecting as it allows it today)<del> {{Red|Done in 6.3}}
+* <del>Chapter 10 Ensures that `redefine' implies a redeclaration (no effecting as it allows it today)</del> {{Red|Done in 6.3}}
 * <del>Chapter 12 Add multiple constraints and VTMC.</del> {{Red|Done in 6.0}}
 * Chapter 6 Implement VHPR(5): no two ancestors types of D are different generic derivations of the same class {{Red|Partially done in 6.0}}

@@ Line 22: / Line 22: @@
 * <del>Chapter 9 Type of assertion violation exception which should be ASSERTION_VIOLATION.</del> {{Red|Done in 6.2}}
 * Chapter 11 Change VTAT to take into account the possibility of anchored types to be defined in terms of other anchored types.
-* Chapter 17 Invert Variant and Invariant order for assertion checking in a loop?
+* <del>Chapter 17 Invert Variant and Invariant order for assertion checking in a loop?</del> {{Red|Done in 6.3}}
 * <del>Chapter 20 Change our implementation as `create x.make (a)' is internally transformed into `x := create {like x}.make (a)' which are semantically identical when `x' is a reference, but not when `x' is expanded where there will be an additional copy. (test#exec273: as of 6.0.6.9201, only melted byte code does not work as expected)</del> {{Red|Done in 6.1}}
 * <del>Chapter 22 Change VBAR to take conversion into account.</del> {{Red|Done in 5.x}}

@@ Line 41: / Line 41: @@
 ==Complex tasks==
-* Chapter 26 Implement exceptions as objects
+* <del>Chapter 26 Implement exceptions as objects</del> {{Red|Done in 6.2}}
 * <del>Chapter 24 Support void-safe calls.</del> {{Red|Done in 6.1}}
 * <del>Other New expanded semantic</del> {{Red|Done in 6.0}}
@@ Line 58: / Line 58: @@
 * Chapter 30 Implement CHARACTER_GENERAL, INTEGER_GENERAL, REAL_GENERAL
 * Chapter 17 Implement inspect where choices are of type STRING or TYPE [G].
-* Chapter 21 Add new equality operators "~" and "/~".
+* <del>Chapter 21 Add new equality operators "~" and "/~".</del> {{Red|Done in 6.2}}
 * Chapter 25 Handle catcalls.
 * Chapter 6 New order in the Feature_adaptation clause (main difference is rename clause at the end rather than at the beginning).
-* Chapter 16 Proper implementation of replication semantics rule for `select' and `non-conforming inheritance'.
+* <del>Chapter 16 Proper implementation of replication semantics rule for `select' and `non-conforming inheritance'.<del> {{Red|Done in 6.x}}
-* Chapter 10 Ensures that `redefine' implies a redeclaration (no effecting as it allows it today)
+* <del>Chapter 10 Ensures that `redefine' implies a redeclaration (no effecting as it allows it today)<del> {{Red|Done in 6.3}}
 * <del>Chapter 12 Add multiple constraints and VTMC.</del> {{Red|Done in 6.0}}
 * Chapter 6 Implement VHPR(5): no two ancestors types of D are different generic derivations of the same class {{Red|Partially done in 6.0}}
@@ Line 68: / Line 68: @@
 * Chapter 10 Check Join Semantics rule implementation (especially assertions).
 * <del>Chapter 23 Add VUTA to disallow calls on void-unsafe targets.</del> {{Red|Done in 6.1}}
-* Chapter 23 Add exception and the corresponding class VOID_TARGET for calls on void target.
+* <del>Chapter 23 Add exception and the corresponding class VOID_TARGET for calls on void target.</del> {{Red|Done in 6.2}}
 * Chapter 23 Add a feature ANY.onces and an associated class to refresh once features.
 * Chapter 26 Checks that all possible path of execution that might raise an exception are properly handled (i.e. following the code path diagram that we used in the ECMA minutes).

@@ Line 13: / Line 13: @@
 * <del>Chapter 3 Check that root class is not deferred (Update validity error)</del> {{Red|Done in 6.0}}
 * <del>Chapter 3 Support generic derivation as a root type.</del> {{Red|Done in 6.0}}
-* Chapter 4 Replace "indexing" with "note".
+* <del>Chapter 4 Replace "indexing" with "note".</del> {{Red|Done in 6.2}}
 * <del>Chapter 5 Support new syntax for constant attributes: ... = Manifest_constant</del> {{Red|Done in 5.7}}
 * <del>Chapter 5 Remove keyword "is" from feature declaration.</del> {{Red|Done in 5.7}}

@@ Line 20: / Line 20: @@
 * Chapter 6 Implement VHPR(6): end keyword is present if the Feature_adaption clause is not empty.
 * Chapter 7 Implement VLEL(3): which allow `f' to appear twice as long as it belongs to two different lists
-* Chapter 9 Type of assertion violation exception which should be ASSERTION_VIOLATION.
+* <del>Chapter 9 Type of assertion violation exception which should be ASSERTION_VIOLATION.</del>{{Red|Done in 6.2}}
 * Chapter 11 Change VTAT to take into account the possibility of anchored types to be defined in terms of other anchored types.
 * Chapter 17 Invert Variant and Invariant order for assertion checking in a loop?

@@ Line 48: / Line 48: @@
 * <del>Chapter 27 Implementation of inline agents.</del> {{Red|Done in 5.7}}
 * Chapter 23 Support lazy locals and attributes (attached or expanded entities).
-* <del>Chapter 12 Support Rename and Constraint_creators in generic constraint with new VTGC.</del>{{Red|Done in 6.0}}
+* <del>Chapter 12 Support Rename and Constraint_creators in generic constraint with new VTGC.</del> {{Red|Done in 6.0}}
 * Chapter 15 Support precondition rule for conversions.
 * Chapter 32 Support 32-bit Unicode characters as encoding variant of source code.