D.7.10 Get_Version_Overlapped_Vector Procedure

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

  function Get_Version_Overlapped_Vector (OV) result(Version)

    ! Input variable.

    type(Overlapped_Vector_type), intent(in) :: OV   ! Variable to be queried.

    ! Output variable.

    type(integer) :: Version                         ! Version number.

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

    ! Verify requirements.

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

    ! Get the value.

    Version = OV%Version

    ! Verify guarantees - none.

    return
  end function Get_Version_Overlapped_Vector