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();
}
}
