B.1.2 Initialize_Status_Vector Procedure

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

  subroutine Initialize_Status_Vector (S)

    ! Output variable.

    ! Status vector to be initialized:
    type(Status_type), dimension(:), intent(out) :: S  

    ! Internal variable.

    type(integer) :: i  ! Loop counter.

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

    ! Verify requirements - none.

    ! Initializations.

    do i = 1, SIZE(S)
      call Initialize (S(i))
    end do

    ! Verify guarantees.

    VERIFY(Valid_State(S),1)  ! S is now valid.

    return
  end subroutine Initialize_Status_Vector