Setting array field with independent array

[treiher]

The code generator should allow setting an array field with the content of an independently created array (i.e. different context and buffer). This is needed to support cases where an array is created independently of the actual message. Here is a simple example:

state Send_Discover is
         Options : DHCP::Options;
         Parameter_Request_List : DHCP::Option_Codes;
      begin
         Parameter_Request_List'Append (DHCP::SUBNET_MASK_OPTION);
         Parameter_Request_List'Append (DHCP::ROUTER_OPTION);
         Parameter_Request_List'Append (DHCP::DOMAIN_NAME_OPTION);
         Parameter_Request_List'Append (DHCP::DOMAIN_NAME_SERVER_OPTION);
         Options'Append (
            DHCP::Option'(
               Code => DHCP::PARAMETER_REQUEST_LIST_OPTION,
               Len => Parameter_Request_List'Size,
               Parameter_Request_List => Parameter_Request_List
            )
         );

Currently, it is only possible to incrementally add array elements during the creation of a message. This approach does not fit well to appending an independently created array. It should be possible to copy the buffer of a valid array into the message buffer without iterating over all array elements again.