next up previous index
Next: Optimisations Up: Execution with Grace Previous: Fine Steps

User Actions

Each user interface action, e.g. selecting a menu item, pressing a button or typing a key creates an event which must be processed by Grace . When Grace stops after a normal labelling step and highlights the next selected variable, it accepts and processes all events. This is a synchronous stop.  

Grace can also be stopped by some special conditions outside of normal step boundaries, and then it accepts only a subset of all possible events. In particular, manual selection and labelling is not accepted. These are asynchronous stops.  

Synchronous stop conditions are:

Asynchronous stops are:



next up previous index
Next: Optimisations Up: Execution with Grace Previous: Fine Steps



Micha Meier
Tue Jul 2 10:07:34 MET DST 1996