Previous Up Next

Appendix C  Events

We list here the ECLiPSe event types together with the default event handlers and their description. Unless otherwise specified, the arguments that the system passes to the event handler are


First ArgumentSecond ArgumentThird Argument
Event numberCulprit goalContext Module


If the context module is unknown, a free variable is passed.


Previous Up Next