In Ada, if you are going to use any Rational Statemate elements in a callback routine, you must first create hooks for them. This is done through the Hooks Data Editing screen shown in the following figure.
For more information on how to use callback routines in the user code, refer to Interfacing With the Rational Statemate Model.