Данная метка

Cтраница 2

Для реализации мандатного принципа управления доступом каждому субъекту и каждому объекту должны сопоставляться класси - фикационные метки, отражающие место данного субъекта ( объекта) в соответствующей иерархии. Данные метки должны служить основой мандатного принципа разграничения доступа. При вводе новых данных в систему должны быть получены от санкционированного пользователя классификационные метки этих данных. При санкционированном занесении в список пользователей нового субъекта должно осуществляться сопоставление ему классификационных меток. Внешние классификационные метки ( субъектов, объектов) должны точно соответствовать внутренним меткам. [16]

Помеченный оператор выполняется сразу после выполнения оператора goto. Если оператор с данной меткой отсутствует или существует более одного оператора, помеченных одной и той же меткой, то это приводит к ошибочному результату. [17]

Значением простого именующего выражения является метка. Если простое именующее выражение есть метка, то в качестве его значения берется данная метка. В результате такого обращения указателю переключателя в качестве его значения присваивается метка, которая затем берется в качестве значения простого именующего выражения ( см. стр. [18]

Локализация идентификатора, представляющего метку, имеет тот же смысл, что и в случае, когда идентификатор представляет любой другой объект. В частности, нельзя извне перейти по метке внутрь какого-либо блока, так как вне этого блока данная метка недоступна. [19]

Области действия имен. [20]

Различают пять типов атрибутов, задаваемых идентификаторам. Атрибут literally рассматривается з разделе 6.7. Атрибуты fixed, character и bit число) определяют вид выделяемой памяти и допускаемые манипуляции с соответствующими им идентификаторами. Атрибут label обозначает, что данная метка встретится в исключающем экстенте блока. [21]

К моменту выполнения оператора GO TO значение целой переменной должно быть определено с помощью оператора ASSIGN. Это значение должно соответствовать одной из меток, перечисленных в операторе GO TO. Оператор GO ТО передает управление оператору с данной меткой. [22]

Каждая инструкция в определении функции автоматически получает при вводе номер строки. Инструкции выполняются последовательно, обычным образом. Инструкция goto должна начинаться с символа - -, за которым следует произвольное выражение. Значение выражения должно быть либо целым числом, либо меткой инструкции. Оператор - - обычным образом передает управление инструкции с данным номером строки или с данной меткой. [23]

Страницы: 1 2