more gnatwj

src/components/ccsds_command_depacketizer/test/ccsds_command_depacketizer_tests-implementation.adb

@@ -99,7 +99,7 @@ package body Ccsds_Command_Depacketizer_Tests.Implementation is
 
    overriding procedure Test_Nominal_Depacketization (Self : in out Instance) is
       T : Component.Ccsds_Command_Depacketizer.Implementation.Tester.Instance_Access renames Self.Tester;
-      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, (0 => 16));
+      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, [0 => 16]);
       Packet2 : constant Ccsds_Space_Packet.T := Construct_Command_Packet (22, Sequence_Count => 1);
       Cmd : constant Command.T := Construct_Command (Id => 17, Arg_Buffer => (Command_Types.Command_Arg_Buffer_Type'First => 16));
       Cmd2 : constant Command.T := Construct_Command (Id => 22, Arg_Buffer => (1 .. 0 => 0));
@@ -140,7 +140,7 @@ package body Ccsds_Command_Depacketizer_Tests.Implementation is
 
    overriding procedure Test_Invalid_Packet_Checksum (Self : in out Instance) is
       T : Component.Ccsds_Command_Depacketizer.Implementation.Tester.Instance_Access renames Self.Tester;
-      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, (0 => 16), Checksum_Seed => 0);
+      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, [0 => 16], Checksum_Seed => 0);
       Invalid_Checksum_Info : constant Invalid_Packet_Xor8_Info.T := (Ccsds_Header => (Packet.Header, (0, 0, 221)), Computed_Checksum => 255, Expected_Checksum => 221);
    begin
       -- Send the packet many times:
@@ -173,7 +173,7 @@ package body Ccsds_Command_Depacketizer_Tests.Implementation is
 
    overriding procedure Test_Invalid_Packet_Type (Self : in out Instance) is
       T : Component.Ccsds_Command_Depacketizer.Implementation.Tester.Instance_Access renames Self.Tester;
-      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, (0 => 16), Packet_Type => Ccsds_Packet_Type.Telemetry);
+      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, [0 => 16], Packet_Type => Ccsds_Packet_Type.Telemetry);
    begin
       -- Send the packet many times:
       T.Ccsds_Space_Packet_T_Send (Packet);
@@ -339,7 +339,7 @@ package body Ccsds_Command_Depacketizer_Tests.Implementation is
 
    overriding procedure Test_Packet_Without_Secondary_Header (Self : in out Instance) is
       T : Component.Ccsds_Command_Depacketizer.Implementation.Tester.Instance_Access renames Self.Tester;
-      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, (0 => 16), Secondary_Header => Ccsds_Secondary_Header_Indicator.Secondary_Header_Not_Present);
+      Packet : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, [0 => 16], Secondary_Header => Ccsds_Secondary_Header_Indicator.Secondary_Header_Not_Present);
    begin
       -- Send the packet many times:
       T.Ccsds_Space_Packet_T_Send (Packet);
@@ -371,9 +371,9 @@ package body Ccsds_Command_Depacketizer_Tests.Implementation is
 
    overriding procedure Test_Pad_Bytes (Self : in out Instance) is
       T : Component.Ccsds_Command_Depacketizer.Implementation.Tester.Instance_Access renames Self.Tester;
-      Packet_1 : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, (0 => 16), Sequence_Count => 0, Function_Code => 5);
-      Packet_2 : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, (0 => 16), Sequence_Count => 1, Function_Code => 127);
-      Packet_3 : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, (0 => 16), Sequence_Count => 2, Function_Code => 20);
+      Packet_1 : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, [0 => 16], Sequence_Count => 0, Function_Code => 5);
+      Packet_2 : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, [0 => 16], Sequence_Count => 1, Function_Code => 127);
+      Packet_3 : constant Ccsds_Space_Packet.T := Construct_Command_Packet (17, [0 => 16], Sequence_Count => 2, Function_Code => 20);
       Cmd : constant Command.T := Construct_Command (Id => 17, Arg_Buffer => (Command_Types.Command_Arg_Buffer_Type'First => 16));
    begin
       -- Send the packet:

src/components/ccsds_packetizer/test/ccsds_packetizer_tests-implementation.adb

@@ -117,7 +117,7 @@ package body Ccsds_Packetizer_Tests.Implementation is
       T : Component.Ccsds_Packetizer.Implementation.Tester.Instance_Access renames Self.Tester;
       P : Packet.T :=
          (Header => (Time => (10, 55), Id => 77, Sequence_Count => 13, Buffer_Length => Packet_Types.Packet_Buffer_Type'Length),
-          Buffer => (0 => 1, 1 => 2, 2 => 3, 3 => 4, 4 => 5, 5 .. Packet_Types.Packet_Buffer_Type'Last - 1 => 22, Packet_Types.Packet_Buffer_Type'Last => 9));
+          Buffer => [0 => 1, 1 => 2, 2 => 3, 3 => 4, 4 => 5, 5 .. Packet_Types.Packet_Buffer_Type'Last - 1 => 22, Packet_Types.Packet_Buffer_Type'Last => 9]);
    begin
       -- Send a few packets:
       P.Header.Sequence_Count := P.Header.Sequence_Count + 1;
@@ -147,7 +147,7 @@ package body Ccsds_Packetizer_Tests.Implementation is
    overriding procedure Test_Min_Size_Packetization (Self : in out Instance) is
       use Packet_Types;
       T : Component.Ccsds_Packetizer.Implementation.Tester.Instance_Access renames Self.Tester;
-      P : Packet.T := (Header => (Time => (10, 55), Id => 13, Sequence_Count => 77, Buffer_Length => 0), Buffer => (0 => 1, 1 => 2, 2 => 3, 3 => 4, 4 => 5, 5 .. Packet_Types.Packet_Buffer_Type'Last - 1 => 22, Packet_Types.Packet_Buffer_Type'Last => 9));
+      P : Packet.T := (Header => (Time => (10, 55), Id => 13, Sequence_Count => 77, Buffer_Length => 0), Buffer => [0 => 1, 1 => 2, 2 => 3, 3 => 4, 4 => 5, 5 .. Packet_Types.Packet_Buffer_Type'Last - 1 => 22, Packet_Types.Packet_Buffer_Type'Last => 9]);
    begin
       -- Send a few packets:
       P.Header.Sequence_Count := P.Header.Sequence_Count + 1;

src/components/ccsds_router/test/ccsds_router_tests-implementation.adb

@@ -206,7 +206,7 @@ package body Ccsds_Router_Tests.Implementation is
       end Init_Nominal;
 
       procedure Init_Index_Out_Of_Range_1 is
-         Destination_Table_1 : aliased Destination_Table := (0 => 100);
+         Destination_Table_1 : aliased Destination_Table := [0 => 100];
          -- Router table entries:
          Router_Table : constant Router_Table_Entry_Array :=
             (
@@ -227,7 +227,7 @@ package body Ccsds_Router_Tests.Implementation is
       end Init_Index_Out_Of_Range_1;
 
       procedure Init_Index_Out_Of_Range_2 is
-         Destination_Table_1 : aliased Destination_Table := (0 => 7);
+         Destination_Table_1 : aliased Destination_Table := [0 => 7];
          -- Router table entries:
          Router_Table : constant Router_Table_Entry_Array :=
             (

src/components/ccsds_serial_interface/component-ccsds_serial_interface-implementation.ads

@@ -11,7 +11,7 @@ with Ada.Task_Identification;
 package Component.Ccsds_Serial_Interface.Implementation is
 
    -- Sync pattern for serial. Made public so it can be used elsewhere.
-   Sync_Pattern : constant Basic_Types.Byte_Array := (0 => 16#FE#, 1 => 16#D4#, 2 => 16#AF#, 3 => 16#EE#);
+   Sync_Pattern : constant Basic_Types.Byte_Array := [0 => 16#FE#, 1 => 16#D4#, 2 => 16#AF#, 3 => 16#EE#];
 
    -- The component class instance record:
    type Instance is new Ccsds_Serial_Interface.Base_Instance with private;