D.7.12 Set_Version_Overlapped_Vector Procedure

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

  subroutine Set_Version_Overlapped_Vector (OV, Version)

    ! Input variable.

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

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


    ! Verify requirements.

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

    ! Set the value.

    OV%Version = Version

    ! Verify guarantees - none.

  end subroutine Set_Version_Overlapped_Vector

Michael L. Hall