6. Операторы

41

6. Операторы

Операторы определяют алгоритм действия. Перед любым оператором

допускается метка, на которую можно ссылаться с помощью оператора перехода.

Операторы объединяются в разделе операторов каждого блока. Раздел операторов

является составным оператором (Compound Statement).

Statement =

[Label ':'] ( SimpleStatement |

              StructStatement ).

где Label может быть идентификатор или целое число, описанное в разделе описания меток.

6.1. Простые операторы

Простым называется оператор, в котором не включены как составные части

другие операторы.

SimpleStatement =

EmptyStatement | Assignment |

ProcedureCall | GotoStatement.

6.1.1. Пустой оператор

Пустой оператор (EmptyStatement) не содержит никаких символов и не

определяет никаких действий.

EmptyStatement =

.

6.1.2. Оператор присваивания

Оператор присваивания (AssignmentStatement) предназначен для замены

текущего значения переменной на значение, полученное при вычислении выражения,

или для спецификации выражения, результат вычисления которого возвращается

функцией.

Assignment =

(VariableRef | FuncIdent) ':=' Expression.

VariableRef =

VarTypeCast |

(QualIdent {'.' Ident | '^' |

'[' Expression {',' Expression} ']'}).

FuncIdent =

Ident.

Значение выражения должно быть совместимо с типом переменной или типом

идентификатора функции.

6.1.3. Оператор активизации процедуры

Оператор активизации процедуры (ProcedureStatement) предназначен для

вызова процедуры, обозначенной идентификатором процедуры (ProcIdent). Если

описание процедуры содержит список формальных параметров, то оператор

процедуры должен иметь соответствующий список фактических параметров (Actual-

ParameterList).