[Group Index|Full Index]
ECLiPSe Kernel: Obsolete
- call(+Goal, +Module)
-
Succeeds if Goal (which is visible in module Module) succeeds.
- call_explicit(+Goal, +Module)
-
Succeeds if Goal which is defined in module Module succeeds.
- define_error(+Message, -N)
-
Error number N is newly defined to give the message Message.
- delay(?Variables, +Goal)
-
Delay the Goal on all variables in the term Variables.
- errno_id(+N, -Message)
-
Message is bound to the message string that corresponds to the UNIX message
for a system call error when the UNIX errno has the value N.
- fail_if(+Goal)
-
Succeeds if Goal cannot be satisfied. Uses negation as failure (synonym of
not/1 and \+/1).
- get_statistics(+PredSpec, ?Counters)
-
Retrieve the statistics counters of the predicate PredSpec into the list
Counters.
- get_timer(+Timer, ?Interval)
-
Succeed if the specified Timer is running and sends signals in intervals of
Interval seconds.
- global_op(+Precedence, +Associativity, +Name)
-
Defines the global operator(s) in Name to have precedence Precedence and
associativity Associativity. If Precedence is 0 then the operator
definition is removed.
- print_modes
-
Prints the results of the mode statistics as a mode declaration.
- print_statistics
-
Prints the results of the profiling execution.
- reset_error_handler(+Number)
-
Resets the handler for error number Number to its default value.
- schedule_woken(+SuspList)
-
Pass the suspension list SuspList to the waking scheduler.
- schedule_woken(+SuspList, +Priority)
-
Schedule all suspensions in the suspension list SuspList with the priority
Priority.
- set_error_handler(+Number, +PredSpec)
-
Set an error handler PredSpec for the error with number Number.
- set_statistics(+PredSpec, +Counters)
-
Initialise the statistics counters of the predicate PredSpec with the
values from the list Counters.
- set_suspension_priority(+Susp, +Priority)
-
Change the priority of the suspended goal Susp to Priority.
- set_timer(+Timer, +Interval)
-
Start (or stop) the specified Timer to send signals in intervals of
Interval seconds.