Most of the query functions use the following calling sequence:
In this syntax:
●
|
stm_r_—Designates the function as a Statemate database retrieval function.
|
●
|
yy—The two-character type abbreviation for elements in the output list.
|
●
|
relation—The relationship between the input and output lists (describes the query to be applied to the input list).
|
●
|
xx—The two-character type abbreviation for elements in the input list.
|
●
|
xx_list—The input list to the function.
|
●
|
status—The return function status code. There are three possible status codes: stm_success , stm_nil_list , and stm_missing_element_in_list .
|
For example:
This function returns the states from the input list state_list
that are and-states.
The following function returns the activities performed throughout the states in state_list
:
The following sections document the query functions that use a different calling sequence.