BNF for DGL Statements
This section lists the formal syntax (in BNF) for DGL. For ease of use, the DGL statements are presented in alphabetical order.
boolean_literal | boolean_identifier |
expression relation_operation expression |
NOT boolean_primary |
boolean_function_call |
(boolean_expression)
integer_expression | real_expression |
boolean_expression | string_expression |
element_expression | list_expression
INCLUDE (file_description
[,integer_variable]);
list_term | & |
list_expression + list_term |
list_expression - list_term |
list_expression & list_term
list_literal | list_identifier |
"{" list_of_components "}" 1|
list_term * list_term |
(list_expression)
numeric_factor |
numeric_term * numeric_factor |
numeric_term / numeric_factor |
+ numeric_factor | -- numeric_factor |
OPEN (file_identifier, file_name,
open_mode[,integer_variable]);
PROCEDURE procedure_name [return type];
[{parameter_object_declaration}]
[{variable_declaration}]
BEGIN
[statements]
END;
SELECT [FIRST | ANY]
[{when_construct_with_any}]
when_construct
[OTHERWISE = > statements]
END SELECT;
INTEGER | REAL | BOOLEAN | STRING | FILE
statemate_element
ELEMENT | STATE | ACTIVITY |
DATA_STORE | MODULE | TRANSITION |
A_FLOW_LINE | M_FLOW_LINE | EVENT|
DATA_TYPE_FIELD | CONDITION | CONNECTOR |
DATA_ITEM | ACTION | INFORMATION_FLOW
template_header global_part {segment}
{procedure}
Note: The quotation marks indicate that the braces here are not BNF notation, but are the actual brace characters themselves.