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

← Older revision		Revision as of 14:45, 3 June 2009
Line 16:		Line 16:
	* <del>Chapter 5 Support new syntax for constant attributes: ... = Manifest_constant</del> {{Red\|Done in 5.7}}		* <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 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}}		* <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.		* Chapter 6 Implement VHPR(6): end keyword is present if the Feature_adaption clause is not empty.

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

← Older revision		Revision as of 14:42, 3 June 2009
Line 71:		Line 71:
	* Chapter 23 Add a feature ANY.onces and an associated class to refresh once features.		* 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).		* 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 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.		* Chapter 3 Check that a root creation procedure meets VSRP.

Manus: typo

2008-11-19T06:28:58Z

typo

← Older revision		Revision as of 06:28, 19 November 2008
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).		* 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 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}}		* <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}}		* 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}}

Manus: /* Easy tasks */

2008-11-19T06:27:11Z

Easy tasks

← Older revision		Revision as of 06:27, 19 November 2008
Line 22:		Line 22:
	* <del>Chapter 9 Type of assertion violation exception which should be ASSERTION_VIOLATION.</del> {{Red\|Done in 6.2}}		* <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 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 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}}		* <del>Chapter 22 Change VBAR to take conversion into account.</del> {{Red\|Done in 5.x}}

Manus: /* Complex tasks */

2008-08-06T17:46:48Z

Complex tasks

Manus: /* Easy tasks */

2008-08-06T17:44:28Z

Easy tasks

← Older revision		Revision as of 17:44, 6 August 2008
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 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}}		* <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 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 Remove keyword "is" from feature declaration.</del> {{Red\|Done in 5.7}}

Manus: /* Easy tasks */

2008-08-06T17:44:11Z

Easy tasks

← Older revision		Revision as of 17:44, 6 August 2008
Line 20:		Line 20:
	* Chapter 6 Implement VHPR(6): end keyword is present if the Feature_adaption clause is not empty.		* 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 7 Implement VLEL(3): which allow `f' to appear twice as long as it belongs to two different lists
	* <del>Chapter 9 Type of assertion violation exception which should be ASSERTION_VIOLATION.</del>{{Red\|Done in 6.2}}		* <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 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?		* Chapter 17 Invert Variant and Invariant order for assertion checking in a loop?

Manus: /* Easy tasks */

2008-08-06T17:43:58Z

Easy tasks

← Older revision		Revision as of 17:43, 6 August 2008
Line 20:		Line 20:
	* Chapter 6 Implement VHPR(6): end keyword is present if the Feature_adaption clause is not empty.		* 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 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 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?		* Chapter 17 Invert Variant and Invariant order for assertion checking in a loop?

Manus: /* Complex tasks */

2007-11-16T21:22:26Z

Complex tasks

← Older revision		Revision as of 21:22, 16 November 2007
Line 48:		Line 48:
	* <del>Chapter 27 Implementation of inline agents.</del> {{Red\|Done in 5.7}}		* <del>Chapter 27 Implementation of inline agents.</del> {{Red\|Done in 5.7}}
	* Chapter 23 Support lazy locals and attributes (attached or expanded entities).		* 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 15 Support precondition rule for conversions.
	* Chapter 32 Support 32-bit Unicode characters as encoding variant of source code.		* Chapter 32 Support 32-bit Unicode characters as encoding variant of source code.

Manus: /* Easy tasks */

2007-11-16T21:22:07Z

Easy tasks

← Older revision		Revision as of 21:22, 16 November 2007
Line 17:		Line 17:
	* <del>Chapter 5 Remove keyword "is" from feature declaration.</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.1, except for formal generics and tuple types}}
	* <del>Chapter 6 Support for inherit {NONE} syntax</del>{{Red\|Done in 6.1}}		* <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.		* 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 7 Implement VLEL(3): which allow `f' to appear twice as long as it belongs to two different lists

← Older revision		Revision as of 14:45, 3 June 2009
Line 16:		Line 16:
	* <del>Chapter 5 Support new syntax for constant attributes: ... = Manifest_constant</del> {{Red\|Done in 5.7}}		* <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 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}}		* <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.		* Chapter 6 Implement VHPR(6): end keyword is present if the Feature_adaption clause is not empty.

← Older revision		Revision as of 06:28, 19 November 2008
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).		* 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 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}}		* <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}}		* 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}}

← Older revision		Revision as of 17:44, 6 August 2008
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 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}}		* <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 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 Remove keyword "is" from feature declaration.</del> {{Red\|Done in 5.7}}

← Older revision		Revision as of 17:46, 6 August 2008
Line 41:		Line 41:

	==Complex tasks==		==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>Chapter 24 Support void-safe calls.</del> {{Red\|Done in 6.1}}
	* <del>Other New expanded semantic</del> {{Red\|Done in 6.0}}		* <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 30 Implement CHARACTER_GENERAL, INTEGER_GENERAL, REAL_GENERAL
	* Chapter 17 Implement inspect where choices are of type STRING or TYPE [G].		* 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 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 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}}		* <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}}		* 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).		* 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}}		* <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 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).		* 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).