/////////////////////////////////////////////////////////////
// constructor
////////////////////////////////////////////////////////////
public StepControl(final ToolParent parent) {
// sort out the small & large time steps
initialiseTimeStepSizes();
_listeners = new Vector<StepperListener>(0, 1);
_participants = new Hashtable<Object, somePeriod>();
/** the timer-related settings */
_theTimer = new MWC.Utilities.Timer.Timer();
_theTimer.stop();
setAutoStep(1000);
_theTimer.addTimerListener(this);
_goingForward = true;
_largeSteps = true;
// create our default highlighter
_defaultHighlighter =
new Debrief.GUI.Tote.Painters.Highlighters.PlotHighlighter.RectangleHighlight();
if (_myHighlighters == null) {
_myHighlighters = new Vector<PlotHighlighter>(0, 1);
_myHighlighters.add(_defaultHighlighter);
_myHighlighters.add(new Debrief.GUI.Tote.Painters.Highlighters.RangeHighlighter());
_myHighlighters.add(new Debrief.GUI.Tote.Painters.Highlighters.SymbolHighlighter());
}
_currentHighlighter = _myHighlighters.elementAt(0);
// initialise the date format
_dateFormatter =
new java.text.SimpleDateFormat(MWC.Utilities.TextFormatting.FormatRNDateTime.getExample());
_dateFormatter.setTimeZone(TimeZone.getTimeZone("GMT"));
}
protected final void stopTimer() {
_theTimer.stop();
}
