D.8.14 Set_Version_Collected_Array Procedure

The main documentation of the Set_Version_Collected_Array Procedure contains additional explanation of this code listing.

  subroutine Set_Version_Collected_Array (CA, Version)

    ! Input variable.

    type(integer), intent(in) :: Version             ! Version number.

    ! Input/Output variable.
    
    type(Collected_Array_type), intent(inout) :: CA  ! Variable to be set.

    !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    ! Verify requirements.

    VERIFY(Valid_State(CA),5)      ! CA is valid.

    ! Set the value.

    CA%Version = Version

    ! Verify guarantees - none.

    return
  end subroutine Set_Version_Collected_Array