public async void PlaySound(Media media) { if (media == null || media.Data == null || media.Data.Length == 0) return; if (_soundPlayer != null) { _soundPlayer.Stop (); _soundPlayer.Reset (); } else { _soundPlayer = new MediaPlayer (); } try { // Open file and read from FileOffset FileSize bytes for the media using (Java.IO.RandomAccessFile file = new Java.IO.RandomAccessFile (media.FileName, "r")) { await _soundPlayer.SetDataSourceAsync(file.FD,media.FileOffset,media.FileSize); file.Close(); } // Start media if (_soundPlayer != null) { _soundPlayer.Prepare(); _soundPlayer.Start (); } else throw new InvalidCastException(String.Format ("Audio file format of media {0} is not valid", media.Name)); } catch (Exception ex) { String s = ex.ToString(); } }
private long?GetAvaliableMemory() { try { var reader = new Java.IO.RandomAccessFile("/proc/meminfo", "r"); var memory = reader.ReadLine(); reader.Close(); memory = Regex.Match(memory, @"\d+").Value; return(long.Parse(memory) * 1024); //convert KB to Bytes } catch { } return(null); }
/// <summary> /// Plaies a media sound file. /// </summary> /// <param name="media">Media.</param> private async void PlayMedia(Media media) { try { // Reset MediaPlayer to be ready for the next sound mediaPlayer.Reset(); // Open file and read from FileOffset FileSize bytes for the media using (Java.IO.RandomAccessFile file = new Java.IO.RandomAccessFile(media.FileName, "r")) { await mediaPlayer.SetDataSourceAsync(file.FD, media.FileOffset, media.FileSize); file.Close(); } // Start media mediaPlayer.Prepare(); mediaPlayer.Start(); } catch (Exception ex) { String s = ex.ToString(); } }
private string GetCpuModel() { var modelKey = "Hardware"; try { string model = null; var reader = new Java.IO.RandomAccessFile("/proc/cpuinfo", "r"); do { model = reader.ReadLine(); } while (model != null && model.Contains(modelKey) == false); reader.Close(); if (model?.Contains(modelKey) == true) { return(model.Replace($"{modelKey}\t:", "")); } } catch { } return($"{Build.Board}"); }
/// <summary> /// Plaies a media sound file. /// </summary> /// <param name="media">Media.</param> private async void PlayMedia (Media media) { try { // Reset MediaPlayer to be ready for the next sound mediaPlayer.Reset(); // Open file and read from FileOffset FileSize bytes for the media using (Java.IO.RandomAccessFile file = new Java.IO.RandomAccessFile(media.FileName,"r")) { await mediaPlayer.SetDataSourceAsync(file.FD,media.FileOffset,media.FileSize); file.Close(); } // Start media mediaPlayer.Prepare(); mediaPlayer.Start(); } catch (Exception ex) { String s = ex.ToString(); } }