(j3.2006) Restrictions on LOCK_TYPE, EVENT_TYPE, and TEAM_TYPE
Sun Oct 6 21:41:29 EDT 2013
Van Snyder claimed:
>The restrictions on LOCK_TYPE, EVENT_TYPE, and TEAM_TYPE, that concern
>definition (C1303 and C1304 in 10-007r1, and C501, C502, C602, and C603
>in 13-293), are deficient by not addressing type extension.
An object of a type extended from LOCK_TYPE has a subobject of type LOCK_TYPE
(the ancestor component), so I do not agree that C1304 is deficient. C1303 is
also not deficient as it is not intended to capture the
definition-via-subobjects, that is indeed C1304.
C501 and C502 in 13-293 are also clearly not deficient by the same reasoning.
C602 and C603 in 13-293 are also clearly not deficient by the same reasoning.
>Addressing those deficiencies
is unnecessary since they do not exist.
................................Malcolm Cohen, Nihon NAG, Tokyo.
More information about the J3