Cтраница 2
Данная функция возвращает AD объекта определение типа по зада - - ваемому AD объекта расширенного типа. [16]
![]() |
Структура объекта контроль типа. [17] |
После этого менеджер типа использует TCO AD при каждом вызове операции Create для создания объекта расширенного типа от имени программы, вызывающей менеджер типа. Обычно данный TCO AD является видимым только для менеджера типа. [18]
Пакет Extended Type Manager операционной системы iMAX предоставляет собой интерфейс пользовательского уровня для управления объектами расширенного типа. Мы уже познакомили читателя с этим пакетом в разд. Следовательно, читателю не должно встретиться сложностей в понимании приведенной в приложении И спецификации пакета на языке Ада. В данном разделе мы бегло коснемся основных моментов этой программы, а затем покажем, как программист мог бы использовать этот пакет для управления объектами расширенного типа. [19]
Каждое из базовых понятий ( знание о представлении), из которых строятся правила и другие структуры, рассматривается как расширенный тип данных. Каждый такой расширенный тип данных описывается схемой структуры данных. [20]
Наша цель - описать более подробно функции, выполняемые соответственно архитектурой ЭВМ, операционной системой и компилятором для получения желаемого контроля объектов расширенного типа. Следует четко представлять, что именно эти средства контроля совместно с правами доступа требуются для реализации менеджеров типа и эти средства система 1432 предоставляет своим пользователям. Перед завершением введения мы приведем дополнительные мотивы рассмотрения тех средств управления типами, которые предлагаются пользователю системы 1432 на уровне языка Ада. [21]
В особом случае, когда С и G являются одним и тем же контекстом, экземпляры ссылочного типа, например, объекты расширенного типа, будут все еще распределяться из локально. [22]
Такая прикладная программа отличалась бы от обычной программы на языке Ада в том, что набор операций ( атрибутов), определенных для конкретного расширенного типа, мог бы динамически меняться по мере необходимости. [23]
Контроль за созданием объектов, отличных от обычных, регулируется наличием AD ( с установленным в нем правом создать) объекта контроль типа, связанного с конкретным расширенным типом. [24]
Помимо предоставления основных прав для всех объектов и дополнительных типовых прав, настраиваемых на специфические системные объекты, предоставить механизм определения типа для новых ( определяемых пользователем) типизированных объектов, называемых объектами расширенного типа, а вместе с этим и общий механизм контроля доступа к этим объектам. [25]
Типы объектов, входных для вызываемой подпрограммы, и типы объектов, выходных для вызываемой подпрограммы, могут быть полностью проверены во время исполнения с помощью основополагающих средств определения типа для системных объектов и объектов расширенного типа. Накладные расходы, связанные с этими проверками, относительно невелики. [26]
Таким образом, объект расширенного типа распознается аппаратурой, как объект, принадлежащий к третьей категории. Объект расширенного типа сам содержит AD объекта определение типа в своем дескрипторе объекта. [27]
Каждое из базовых понятий ( знание о представлении), из которых строятся правила и другие структуры, рассматривается как расширенный тип данных. Каждый такой расширенный тип данных описывается схемой структуры данных. [28]
Обладание указателем на объект расширенного типа с правом на чтение может использоваться для имитации доступа к фабричной марке этого объекта. Мы можем представлять себе объект определение типа, связанный с типизированным объектом, как фабричную марку объекта. [29]
Команда используется для получения определяющего TDO AD объекта А, чей AD указывается в команде. Объект А может быть либо объектом расширенного типа, либо системным типизированным объектом. [30]