Back to index

plt-scheme  4.2.1
Timer.h
Go to the documentation of this file.
00001 /*                                                      -*- C++ -*-
00002  *
00003  * Purpose: class to process time outs
00004  *
00005  * Authors: Markus Holzem and Julian Smart
00006  *
00007  * Copyright: (C) 2004-2009 PLT Scheme Inc.
00008  * Copyright: (C) 1995, AIAI, University of Edinburgh (Julian)
00009  * Copyright: (C) 1995, GNU (Markus)
00010  *
00011  * This program is free software; you can redistribute it and/or modify
00012  * it under the terms of the GNU General Public License as published by
00013  * the Free Software Foundation; either version 2 of the License, or
00014  * (at your option) any later version.
00015  *
00016  * This program is distributed in the hope that it will be useful,
00017  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00018  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00019  * GNU General Public License for more details.
00020  *
00021  * You should have received a copy of the GNU General Public License
00022  * along with this program; if not, write to the Free Software
00023  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
00024  * 02110-1301 USA.
00025  */
00026 
00027 #ifndef Timer_h
00028 #define Timer_h
00029 
00030 #ifdef __GNUG__
00031 #pragma interface
00032 #endif
00033 
00034 class wxTimer : public wxObject {
00035 public:
00036     wxTimer(void *ctx = NULL);
00037     ~wxTimer(void);
00038 
00039     void SetContext(void *ctx);
00040 
00041     int   Interval(void) { return interval; };
00042     Bool  Start(int millisec = -1, Bool one_shot = FALSE);
00043     void  Stop(void);
00044     // called on timeout
00045     virtual void Notify(void) {}
00046 #   ifdef Have_Xt_Types
00047     static void EventCallback(wxTimer *, XtIntervalId *);
00048 #   endif
00049 
00050     int           interval;
00051     Bool          one_shot;
00052 
00053     /* MrEd stuff: */
00054     double expiration;
00055     wxTimer *next, *prev;
00056     void *context;
00057 
00058     void  Dequeue(void);
00059 };
00060 
00061 #endif // Timer_h