android :: MediaPlayer :: data_source
# Sets the datasource (file-path or http/rtsp URL) to use
fun data_source(path: String): Music do
sys.jni_env.push_local_frame(1)
var retval = nmedia_player.data_source_path(path.to_java_string)
sys.jni_env.pop_local_frame
if retval == 0 then
self.error = new Error("could not load the sound " + path)
self.sound = new Music.priv_init(null, self, self.error)
else
self.sound = new Music.priv_init(null, self, null)
end
return self.sound.as(not null)
end
lib/android/audio.nit:464,2--477,4