Here is the Android file that handles the audio stream.
The sdk carries sound buffer. It does not care about the audio source, it just has to be the expected sound encoding, i.e.
AudioFormat.ENCODING_PCM_16BIT at an expected rate.
I don't really know how to get audio buffers from a file, but MediaRecorder can be created using different type of audio sources. We use the
MIC source, but you can try other sources.
This is more an Android related question, so I won't be able to help you more than that, sorry
In case you manage to stream audio files, if you can post your solution here, I'm sure the entire dev community will appreciate!