C.5  Operations on ECLⁱPS^e Data

Interfaces to some basic operations on ECLⁱPS^e Data.

int ec_compare(const pword pw1, const pword pw2)

Similar to the compare/3 built-in predicate: returns 0 if the arguments are identical, a negative number if pw1 is smaller than pw2, and a positive number if pw1 is greater than pw2 in the standard term ordering.

int ec_schedule_suspensions(pword,int)

Similar to the schedule_suspensions/2 built-in predicate. Waking will only happen once control is returned to ECLⁱPS^e and the wake/0 predicate is invoked. Return code is PSUCCEED or an error code.

int ec_free_handle(const pword, const t_ext_type*)

checks whether pw is an ECLⁱPS^e external data handle of the expected type, and calls its free-method. After doing that, the handle is stale and cannot be used any longer. Calling this function on an already stale handle silently succeeds. Return code is PSUCCEED or an error code.