1991-04-07 10:41:50 -03:00
|
|
|
# Combine a real-time scheduling queue and stdwin event handling.
|
|
|
|
# Uses the millisecond timer.
|
|
|
|
|
1991-08-16 10:22:53 -03:00
|
|
|
import stdwin, stdwinq
|
1991-04-07 10:41:50 -03:00
|
|
|
from stdwinevents import WE_TIMER
|
1991-08-16 10:22:53 -03:00
|
|
|
import mainloop
|
1991-04-07 10:41:50 -03:00
|
|
|
import sched
|
|
|
|
import time
|
|
|
|
|
|
|
|
# Delay function called by the scheduler when it has nothing to do.
|
|
|
|
# Return immediately when something is done, or when the delay is up.
|
|
|
|
#
|
|
|
|
def delayfunc(msecs):
|
|
|
|
#
|
|
|
|
# Check for immediate stdwin event
|
|
|
|
#
|
1991-08-16 10:22:53 -03:00
|
|
|
event = stdwinq.pollevent()
|
1991-04-07 10:41:50 -03:00
|
|
|
if event:
|
1991-08-16 10:22:53 -03:00
|
|
|
mainloop.dispatch(event)
|
1991-04-07 10:41:50 -03:00
|
|
|
return
|
|
|
|
#
|
|
|
|
# Use millisleep for very short delays or if there are no windows
|
|
|
|
#
|
1992-01-01 15:35:13 -04:00
|
|
|
if msecs < 100 or mainloop.countwindows() == 0:
|
1991-04-21 16:31:10 -03:00
|
|
|
if msecs > 0:
|
|
|
|
time.millisleep(msecs)
|
1991-04-07 10:41:50 -03:00
|
|
|
return
|
|
|
|
#
|
|
|
|
# Post a timer event on an arbitrary window and wait for it
|
|
|
|
#
|
1991-08-16 10:22:53 -03:00
|
|
|
window = mainloop.anywindow()
|
1991-04-07 10:41:50 -03:00
|
|
|
window.settimer(msecs/100)
|
1991-08-16 10:22:53 -03:00
|
|
|
event = stdwinq.getevent()
|
1991-04-07 10:41:50 -03:00
|
|
|
window.settimer(0)
|
|
|
|
if event[0] <> WE_TIMER:
|
1991-08-16 10:22:53 -03:00
|
|
|
mainloop.dispatch(event)
|
1991-04-07 10:41:50 -03:00
|
|
|
|
1993-12-17 11:25:27 -04:00
|
|
|
q = sched.scheduler(time.millitimer, delayfunc)
|
1991-04-07 10:41:50 -03:00
|
|
|
|
|
|
|
# Export functions enter, enterabs and cancel just like a scheduler
|
|
|
|
#
|
|
|
|
enter = q.enter
|
|
|
|
enterabs = q.enterabs
|
|
|
|
cancel = q.cancel
|
|
|
|
|
|
|
|
# Emptiness check must check both queues
|
|
|
|
#
|
|
|
|
def empty():
|
1992-01-01 15:35:13 -04:00
|
|
|
return q.empty() and mainloop.countwindows() == 0
|
1991-04-07 10:41:50 -03:00
|
|
|
|
|
|
|
# Run until there is nothing left to do
|
|
|
|
#
|
|
|
|
def run():
|
|
|
|
while not empty():
|
|
|
|
if q.empty():
|
1991-08-16 10:22:53 -03:00
|
|
|
mainloop.dispatch(stdwinq.getevent())
|
1991-04-07 10:41:50 -03:00
|
|
|
else:
|
|
|
|
q.run()
|