private void closePlayer() {
if (null != player) {
try {
player.stop();
} catch (Exception e) {
}
try {
player.close();
} catch (Exception e) {
}
player = null;
}
}
private boolean play(String file, int volume) {
createPlayer(file);
if (null == file) {
return false;
}
try {
player.realize();
setVolume(volume);
player.prefetch();
player.start();
} catch (Exception e) {
closePlayer();
return false;
}
return true;
}
// sets volume for player
private void setVolume(int value) {
try {
VolumeControl c = (VolumeControl) player.getControl("VolumeControl");
if ((null != c) && (0 < value)) {
c.setLevel(value);
}
} catch (Exception e) {
}
}
/* Creates player for file 'source' */
private void createPlayer(String source) {
closePlayer();
try {
/* What is file extention? */
String ext = "wav";
int point = source.lastIndexOf('.');
if (-1 != point) {
ext = source.substring(point + 1).toLowerCase();
}
InputStream is = getClass().getResourceAsStream(source);
if (null != is) {
player = Manager.createPlayer(is, getMimeType(ext));
player.addPlayerListener(this);
}
} catch (Exception e) {
closePlayer();
}
}