tests/cd/cd20001.a

31 --      Check that the Component_Size for a packed array type is less than
54 --      29 JAN 98   EDS    Deleted check that Component_Size is really a
100     TCTouch.Assert( My_Word'Component_Size = 1,
107     TCTouch.Assert( Packed_Array'Component_Size <= System.Storage_Unit,
112     TCTouch.Assert( Cited_Packed'Component_Size = System.Storage_Unit,
195     if Pact_Aray_2'Component_Size > Next_Factor ( Bits_2'Size ) then
197           ( "2 bit element Packed Array'Component_Size too big" );
200     TCTouch.Assert( Pact_Aray_2'Component_Size <= Pact_Aray_2'Size,
201                     "2 bit Component_Size greater than array size" );
203     if Pact_Aray_3'Component_Size > Next_Factor ( Bits_3'Size ) then
205           ( "3 bit element Packed Array'Component_Size too big" );
208     TCTouch.Assert( Pact_Aray_3'Component_Size <= Pact_Aray_3'Size,
209                     "3 bit Component_Size greater than array size" );
211     if Pact_Aray_7'Component_Size > Next_Factor ( Bits_7'Size ) then
213           ( "7 bit element Packed Array'Component_Size too big" );
216     TCTouch.Assert( Pact_Aray_7'Component_Size <= Pact_Aray_7'Size,
217                     "7 bit Component_Size greater than array size" );
219     if Pact_Aray_8'Component_Size > Next_Factor ( Bits_8'Size ) then
221           ( "8 bit element Packed Array'Component_Size too big" );
224     TCTouch.Assert( Pact_Aray_8'Component_Size <= Pact_Aray_8'Size,
225                     "8 bit Component_Size greater than array size" );
229       if Pact_Aray_9'Component_Size > Next_Factor ( Bits_9'Size ) then
231             ( "9 bit element Packed Array'Component_Size too big" );
234       TCTouch.Assert( Pact_Aray_9'Component_Size <= Pact_Aray_9'Size,
235                     "9 bit Component_Size greater than array size" );
237       if Pact_Aray_15'Component_Size > Next_Factor ( Bits_15'Size ) then
239             ( "15 bit element Packed Array'Component_Size too big" );
242       TCTouch.Assert( Pact_Aray_15'Component_Size <= Pact_Aray_15'Size,
243                     "15 bit Component_Size greater than array size" );
264                           "Check that the Component_Size for a packed " &