Documentor Functions : Calling Conventions : Function Return Values : Return Values of Type ELEMENT

Return Values of Type ELEMENT

There are a number of database extraction functions that retrieve elements or list of elements from the specification database. In the case of elements, the functions return values that belong to DGL data types STATE, EVENT, ELEMENT, and so on. For example, consider the following function call:

state_id := stm_r_st (’S1’, status);

This call extracts the state S1 from the database. Because the function returns a STATE, state_id must be declared to be of type STATE or ELEMENT.

In the case of list of elements, the functions return values that belong to the DGL data types LIST OF STATE, LIST OF ACTION, LIST OF ELEMENT, and so on. All query functions return a list of Rational Statemate elements.