D.7.4 Initialized_Overlapped_Vector Procedure

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

  function Initialized_Overlapped_Vector (OV) result(Initialized)

    ! Use associations.

    use Caesar_Flags_Module, only: initialized_flag

    ! Input variable.

    ! Overlapped_Vector to be checked.
    type(Overlapped_Vector_type), intent(in) :: OV

    ! Output variable.

    type(logical) :: Initialized          ! Initialized condition boolean.

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

    ! Verify requirements - none.

    ! Set initialized boolean.

    Initialized = OV%Initialized == initialized_flag

    ! Verify guarantees - none.

    return
  end function Initialized_Overlapped_Vector