D.1.4 Initialized_Trace Procedure

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

  function Initialized_Trace (Trace) result(Initialized)

    ! Input variable.

    type(Trace_type), intent(in) :: Trace  ! Trace to be checked.

    ! Output variable.

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

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

    ! Verify requirements - none.

    ! Set initialized boolean.

    Initialized = ASSOCIATED(Trace%Initialized)

    ! Verify guarantees - none.

    return
  end function Initialized_Trace