[ ECLiPSe Control built-in.|Group Index| Full Index]

suspensions(-Susps)

Returns a list of all currently live (sleeping or scheduled) suspensions.

-Susps
A variable.

Description

Suspensions in ECLiPSe go through several stages: They are created, attached to one or more variables, later scheduled for execution, and finally executed.

suspension/1 returns a list of all currently live suspensions. They may be either sleeping or already scheduled for execution. It does not return any dead suspensions.

Note: If you are looking for one particular suspension, consider using current_suspension/1 instead.

Fail Conditions

None.

Resatisfiable

Yes.

Exceptions

Examples


    [eclipse 6]: suspend(writeln(a),3,X->inst),
                 suspend(writeln(b),5,Y->inst),
                 suspensions(S).

    X = X
    Y = Y
    S = ['GOAL'(writeln(a), eclipse), 'GOAL'(writeln(b), eclipse)]

    Delayed goals:
            writeln(a)
            writeln(b)
    yes.



See Also

current_suspension / 1, delayed_goals / 1, make_suspension / 3, kill_suspension / 1, schedule_suspensions / 1, schedule_suspensions / 2, suspend / 3, suspend / 4, suspension_to_goal / 3