// Created: 04/01/98
// RCS-ID: $Id$
// Copyright: (c) wxWindows team
-// Licence: wxWindows license
+// Licence: wxWindows licence
/////////////////////////////////////////////////////////////////////////////
#ifndef _WX_TIMER_H_BASE_
#include "wx/motif/timer.h"
#elif defined(__WXGTK__)
#include "wx/gtk/timer.h"
-#elif defined(__WXX11__) || defined(__WXMGL__)
+#elif defined(__WXX11__) || defined(__WXMGL__) || defined(__WXCOCOA__)
#include "wx/generic/timer.h"
#elif defined(__WXMAC__)
#include "wx/mac/timer.h"
void Start(long t0 = 0);
// pause the stop watch
- void Pause() { if ( !m_pauseCount++) m_pause = GetElapsedTime(); }
+ void Pause()
+ {
+ if ( !m_pauseCount++ )
+ m_pause = GetElapsedTime();
+ }
// resume it
- void Resume() { if ( !--m_pauseCount ) Start(m_pause); }
+ void Resume()
+ {
+ wxASSERT_MSG( m_pauseCount > 0,
+ _T("Resuming stop watch which is not paused") );
+
+ if ( !--m_pauseCount )
+ Start(m_pause);
+ }
// get elapsed time since the last Start() in milliseconds
long Time() const;