Cтраница 4
Мы имеем три процедуры - PI, P2 и РЗ с переменной типа метки, определенной в Р1 и передаваемой как параметр процедуре Р2, которая в свою очередь передает метку третьей процедуре РЗ. Процедура РЗ содержит оператор GO TO, передающий управление по этой метке. [46]
Единицей данных типа метки служит метка в виде константы или значение переменной типа метки. Метка в виде константы - это идентификатор ( определение идентификатора дано в параграфе 3.3), который испльзуется как приставка к оператору ПЛ / 1, что приводит во время выполнения программы к передаче управления на этот оператор. Все метки, которые были приведены в главе 2, были константами. За константой типа метки всегда стоит двоеточие (:), отделяющее метку от оператора, к которому она относится. Переменные типа метки будут рассмотрены в следующем параграфе. [47]
Реакция системы: если идентификатор является операторной меткой, именем входа, переменной типа метки, именем ветви или события, то этот идентификатор печатается на стандартном отладочном файле; если идентификатор представляет данные, отличные от указанных выше, то идентификатор также печатается на отладочном файле, но в соответствии с форматом, определяемым для вывода, управляемого данными. [48]
Если параметр является массивом типа метки, то и аргумент должен быть массивом типа метки. [49]