/**
* Get the time at the given index. May return null.
*
* @param index Index
* @return Time
*/
public DateTime getTimeAtIndex(int index) {
if (anime == null) {
return null;
}
if (timesArray == null) {
timesArray = Animation.getDateTimeArray(anime.getSet());
}
if ((timesArray == null) || (index < 0) || (index >= timesArray.length)) {
return null;
}
return timesArray[index];
}
/**
* _more_
*
* @param timeSet _more_
* @param timeSetChange _more_
*/
private void updateIndicatorInner(Set timeSet, boolean timeSetChange) {
// timeSet = checkAnimationSet(timeSet);
timesArray = Animation.getDateTimeArray(timeSet);
// Stop running if there are no times
if ((timesArray.length == 0) && timeSetChange) {
setRunning(false);
}
SwingUtilities.invokeLater(
new Runnable() {
public void run() {
// Only set the list data if we have created the gui contents
if (madeContents) {
setTimesInTimesBox();
updateRunButton();
}
}
});
updateBoxPanel(timesArray);
}
