* player_push_media_stream, media_format_unref
* @passcase When it can create media format and push audio stream for decoding
* @failcase When it can not create media format or can not push audio stream for decoding
-* @precondition The player state must be PLAYER_STATE_IDLE
+* @precondition The player state must be PLAYER_STATE_READY or PLAYER_STATE_PLAYING or PLAYER_STATE_PAUSED.
* @postcondition N/A
*/
// int ITc_player_push_media_stream_p(void)
* media_packet_create_alloc, media_packet_get_buffer_data_ptr, media_packet_set_pts, player_push_media_stream, media_format_unref,player_set_media_stream_buffer_max_size, player_set_media_stream_seek_cb, player_set_media_stream_info
* @passcase When it can create media format and push audio stream for decoding
* @failcase When it can not create media format or can not push audio stream for decoding
-* @precondition The player state must be PLAYER_STATE_IDLE
+* @precondition The player state must be PLAYER_STATE_READY or PLAYER_STATE_PLAYING or PLAYER_STATE_PAUSED.
* @postcondition N/A
*/
int ITc_player_push_media_stream_p(void)