Logical Combinations
FLEA Experimental User Interface
Defining Logical Combinations of Events

The FLEA experimental user interface employs a point-and-click style of interaction to ease the task of event definition. An example is shown below, the interaction window for definition of logical combinations of events.

  • The name for the event being defined is typed into the "NAME for event" box.
  • The choice of logical combination is made by selecting the appropriate "AND/OR" option.
  • The choice of how parameterized events are handled is made by selecting the appropriate "Parameters" option.
  • The events to be logically combined are selected by clicking on one of the events pre-loaded in the yellow box to the upper right, and then clicking on the "arrow" button, to bring the event across
As these choices are made and information is provided, the textual form of the definition is automatically constructed in large white box towards the lower left. When complete, the user clicks the "OK" button to send this off to the FLEA compiler.

Thus to define an event named AddOrRemoveLicense to be an AddLicense event or a RemoveLicense event, the end result will be a window looking like this:

Once the RemoveLicense definition has been successfully compiled, a notification of this will pop up on the screen. To be notified when this event occurs, click on the Notify button of the monitor control panel, click on the name RemoveLicense in the list of events, click on the "arrow" button to bring it over to the left, and click on the selection(s) of notification styles. For example, following this procedure to select a green Popup style of notification results in a window looking like this:

Click the OK button to commit to this choice, and the Exit button to get out of the Set Notification Style window.

Finally, notification of the occurrence of one of these events will yield a green pop-up window displaying the name of the event (ADDORREMOVELICENSE) in its top border, and the time of the event in the light green colored panel (light green because this was the choice made in the Set Notification Style window):