Exit Variables

The ProXL callback mechanism allows the user to specify an exit variable associated with each callback routine. After the successful execution of a callback routine, ProXL examines the exit variable, if it exists.

If the callback succeeded and the exit variable was bound by the callback to a value that unifies with the ExitCond given, handle_events/[1,2,3], and dispatch_event/[2,3] succeed, with ExitCond bound to the value given by the callback routine.