Lines Matching refs:Type
338 make_array_args(Culprit, Array, Type, Visibility),
339 ( current_array(Array, [Type,Visibility])@Module ->
350 make_array_args(make_array(Array, Type), Array, Type, global).
351 make_array_args(make_local_array(Array, Type), Array, Type, local).
358 make_array_args(local(array(Array, Type)), Array, Type, local) :- !.
360 make_array_args(global(array(Array, Type)), Array, Type, global) :- !.
1725 Event = ev(Type, Name)-DueTime,
1726 DueEvent = due(Name-Type, DueTime),
1887 check_after_events([E|Es], [Name|Names], [Int|Ints], [Type|Types]) :- !,
1888 check_event_spec(E, Name, Type, Int),
1895 check_event_spec(Name-Type, Name, Type, Interval) :- !,
1897 check_event_type(Type, Interval).
1909 % check_interval(+Type, ?Interval)
1927 unchecked_add_after_events([Name|Names], [Int|Ints], [Type|Types], CurrentTime) :-
1928 unchecked_add_after_event(Type, CurrentTime, Name, Int, _),
1932 unchecked_add_after_event(Type, CurrentTime, E, Int, NewEventTime) :-
1935 %sort(2, =<, [ev(Type,E)-NewEventTime|EQ0], EQ1),
1936 insert_into_after_event_queue(EQ0, NewEventTime, ev(Type,E), EQ1),
1954 EventInfo = ev(Type,Event),
1956 ( Type = every(Interval) ->
2033 ( H = ev(Type, Event)-DueTime ->
2035 ( number(Type) ->
2039 CancelledEvent = Event-Type