Interfacing With the Rational Statemate Model
The Code Generator produces procedures that can access model elements, which are abstract data types.
There are three ways to interface with the Rational Statemate model:
● Procedures to modify values of events, conditions, and data-items. You have to call them in your code whenever you wish to perform the manipulations of the elements. These procedures are discussed in the following subsections.
● Set callback functions to respond to changes in the system. The code guarantees that such a callback is called whenever the corresponding change occurs. This can be, for example, displaying a message on the screen or assignment of an appropriate value to a variable used in the user code.
● Ada does not support pointers to functions, so callbacks are supported using a switch/case command with entries to each of the required elements.