Kernel/lib/events.pl

39  * CONTENTS:     	Event-Related Prolog Procedures and Declarations
1606 	findall(Event, ready_sigio_stream_event(Event), Events),
1610     ready_sigio_stream_event(Event) :-
1613 	get_stream_info(S, event, Event),	% it wants an event
1724 get_due_event_list([Event | Events], [DueEvent | DueEvents]) :-
1725 	Event = ev(Type, Name)-DueTime,
1822 % event_after(+Event, Interval)
1823 % event_after(+Event, Interval, DueTime)
1824 % event_after_every(+Event, Interval)
1942 insert_into_after_event_queue([Event-Time|EQ0], NewTime, NewEvent, EQ) :-
1944 	     EQ = [NewEvent-NewTime,Event-Time|EQ0]
1945 	;    EQ = [Event-Time|EQ1],
1954 	    EventInfo = ev(Type,Event),
1955 	    Dued0 = [Event|Dued1],
1968 cancel_after_event(Event) :-
1969 	is_event(Event),
1972 	    cancel_after_event1(Event, Found),
1975 	    cancel_after_event1(Event, Found)
1978 cancel_after_event(Event) :-
1979 	error(5, cancel_after_event(Event)).
1982     cancel_after_event1(Event, Found) :-
1984 	subtract_template(EQ0, ev(_,Event)-_, EQ1),
1993 cancel_after_event(Event, CancelledEvents) :-
1994 	is_event(Event),
1997 	    cancel_after_event2(Event, CancelledEvents0),
2000 	    cancel_after_event2(Event, CancelledEvents0)
2003 cancel_after_event(Event, CancelledEvents) :-
2004 	error(5, cancel_after_event(Event, CancelledEvents)).
2007     cancel_after_event2(Event, CancelledEvents) :-
2010 	extract_and_subtract_cancelled_events(EQ0, Event, CurrentTime,
2031 extract_and_subtract_cancelled_events([H|T], Event, CurrentTime,
2033 	( H = ev(Type, Event)-DueTime ->
2037 		CancelledEvent = Event-RemainingTime
2039 		CancelledEvent = Event-Type
2046 	extract_and_subtract_cancelled_events(T, Event, CurrentTime,