Bounds of subaggregates in null arrays AI-00176/04 1 88-11-04 co WA | !standard 04.03.02 (11) 88-11-04 AI-00176/04 !class confirmation 87-05-26 | !status approved by WG9 88-10-28 !status ARG-approved 88-05-10 (reviewed) !status panel-approved 87-06-30 (by mail; pending editorial review) !status committee-approved (8-0-1) 87-05-26 (pending editorial review) !status work-item 84-01-19 !status received 84-01-19 !references AI-00018, 83-00130 !topic Bounds of subaggregates in null arrays !summary 87-07-17 For an n-dimensional multidimensional aggregate that is a null array, a check is made that all (n-1)-dimensional subaggregates have the same bounds. If the check fails, the exception CONSTRAINT_ERROR is raised. !question 87-04-16 Must all subaggregates have the same bounds if they are all null or if the multidimensional aggregate is null? 4.3.2(11) appears to say YES. !response 87-04-16 4.3.2(11) states: For the evaluation of an aggregate that is not a null array, a check is made that the index values defined by choices belong to the corresponding index subtypes, and also that the value of each subcomponent of the aggregate belongs to the subtype of this subcomponent. For an n-dimensional multidimensional aggregate, a check is made that all (n-1)-dimensional subaggregates have the same bounds. The exception CONSTRAINT_ERROR is raised if any of these checks fails. The second sentence of 4.3.2(11) does not include the qualification "For the evaluation of an aggregate that is not a null array" (as in the first sentence), and so the second sentence applies even to null arrays.