(j3.2006) Restrictions on LOCK_TYPE, EVENT_TYPE, and TEAM_TYPE

[Malcolm Cohen]

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.

Cheers,
-- 
................................Malcolm Cohen, Nihon NAG, Tokyo.