[ Advanced Control and Suspensions | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

init_suspension_list(+Position, +Attribute)

Initialise the argument position Position within the structure Attribute with an empty suspension list.
Position
Integer indicating the position of the suspension list.
Attribute
Compound term, typically a variable's attribute.

Description

This predicate is used to initialise a suspension list within an attribute structure. Suspension lists should be regarded an opaque data structure and only be accessed and manipulated by the set of primitives provided for this purpose.

Modes and Determinism

Exceptions

(4) instantiation fault
Position or Attribute is not instatiated.
(5) type error
Position is not an integer.
(5) type error
Attribute is not a structure.
(6) out of range
Attribute does not have a Position'th argument.

Examples




See Also

insert_suspension / 3, insert_suspension / 4, schedule_suspensions / 2, merge_suspension_lists / 4, enter_suspension_list / 3