public void btnPlay_Click(object sender, RoutedEventArgs e) { try { switch (searchThread.ThreadState) { case ThreadState.Unstarted: searchThread.Start(); processTimer.Start(); startTime = DateTime.Now.Ticks; break; case ThreadState.WaitSleepJoin: case ThreadState.Suspended: case ThreadState.Running: searchThread.Resume(); processTimer.IsEnabled = true; startTime = DateTime.Now.Ticks - SearchIO.getTimeInterval(searchThread.ManagedThreadId).Ticks; break; default: SearchIO.output("Cannot (re-)start thread because it is " + searchThread.ThreadState, 2); break; } } catch (Exception exc) { ErrorLogger.Catch(exc); } }
void updateTimeDisplay() { SearchIO.setTimeInterval(searchThread.Name, new TimeSpan(DateTime.Now.Ticks - startTime)); this.timeDisplay.Text = SearchIO.getTimeInterval(searchThread.Name).ToString(); if (this.timeDisplay.Text.Length == 8) { this.timeDisplay.Text = this.timeDisplay.Text + ".000"; } else if (this.timeDisplay.Text.Length < 12) { this.timeDisplay.Text = this.timeDisplay.Text.PadRight(12, '0'); } if (this.timeDisplay.Text.StartsWith("00:")) { this.timeDisplay.Text = this.timeDisplay.Text.Substring(3, 9); } else { this.timeDisplay.Text = this.timeDisplay.Text.Substring(0, 11); this.timeText.Text = "time: (hh:mm:ss.ss):"; } }
public void playButton_Click(object sender, EventArgs e) { if (searchThread.ThreadState == ThreadState.Unstarted) { searchThread.Start(); processTimer.Start(); startTime = DateTime.Now.Ticks; } else if ((searchThread.ThreadState == ThreadState.Running) || (searchThread.ThreadState == ThreadState.Suspended) || (searchThread.ThreadState == ThreadState.WaitSleepJoin)) { searchThread.Resume(); processTimer.Enabled = true; startTime = DateTime.Now.Ticks - SearchIO.getTimeInterval(searchThread.Name).Ticks; } else { SearchIO.output("Cannot (re-)start thread because it is " + searchThread.ThreadState.ToString(), 2); } }