Cтраница 2
В результате транслятор с языка Ада обеспечит реализацию типов REAL и INT на основе типов, поддерживаемых аппаратурой и обеспечивающих требуемые точность и диапазон. Операции же над типами REAL и INT являются производными от операций над соответствующими типами, поддерживаемыми аппаратурой. [16]
Если в спецификации типа есть операции-константы, то реализация типа обязательно должна содержать определения соответствующих констант, при этом значение каждой константы должно соответствовать ее типу, указанному в спецификации операции. Операции типа данных могут быть обозначены идентификаторами или специальными знаками операций. В последнем случае тип операции должен быть типом функции с одним или двумя параметрами. [17]
Он содержит две части: спецификацию типа и реализацию типа. Первая часть дает программисту информацию о именах и типах операций конструируемого типа, а вторая содержит значения ( алгоритмы) операций. [18]
Описанная методика определения Допт была построена на использовании совокупности реализаций вейерного типа с фиксированным предельным значением. Это объясняется преобладающим влиянием на процессы изнашивания механизмов переменных условий эксплуатации. [19]
Из VI, 11.3 следует, что R является реализацией типа, описанного в VI, § 7, стр. [20]
Когда сортировочными ключами служат строки, мы можем пользоваться реализацией типов данных, юдобных программе 6.11, совместно с реализациями быстрой сортировки, рассматриваемыми в настоящей главе. Несмотря на то что такой подход позволяет получить корректную и эффективную реализацию ( обладающую при работе с крупными файлами большим быстродействием, чем удавалось получить до сих пор), имеют место скрытые издержки, которые заслуживают того, чтобы на них остановиться подробнее. [21]
Поскольку при типовом подходе к алгебрам каждая из них представляет собой множество реализаций типов данных, алгебра с упорядоченными основами будет содержать ряд включающихся друг в друга реализаций типов данных. Это дает основу для одной формулировки понятия подтипа данных. [22]
В тех случаях, когда некоторые идентификаторы типов, используемые в спецификации и реализации конструируемого типа, являются переменными, не связанными жестко с определенными типовыми объектами, конструируемый тип становится функцией от этих переменных. Такая функция вырабатывает типы, характеризуемые одним и тем же множеством операций с различными типами некоторых операндов и / или результатов. Обозначим операцию конструирования типов данных как модуль ( р, у), где р - спецификация типа, у - реализация типа. [23]
В процессе генерации создаются следующие спецификации: IDL-ин-терфейсы ( типы, factories), Java-классы ( реализации типов, адаптеров, фабрик), make - файлы, а также происходит регистрация объектов в Naming Service и связывание с ними. [24]
По указанным причинам каждый тип данных должен оформлять - трансляторе как отдельный модуль, содержащий спецификацию реализацию типа данных. Дескрипторы имен стандартных типов данных образуют стандартный блок таблицы имен. Каждый элемент таблицы имен содержит три основных компонента: имя, тип и адрес. Для типов данных имя обозначает соответствующее имя типа, тип - универсальный тип данных тин, объектами которого являются все типы данных, адрес - адрес в памяти транслятора, по которому располагается модуль соответствующего типа данных. Если в некотором блоке программы определен произвольный тип данных, он оформляется точно таким же образом. Подробнее этот вопрос рассматривается в разд. [25]
Тип данных Т сигнатуры Б - это пара: спецификация типа данных сигнатуры 2 и соответствующая ей реализация типа данных. [26]
Отметим здесь, что переход от исходной реализации RI к реализации Rd сопровождается резким увеличением числа неопределенных параметров по сравнению с реализациями типа RI, поскольку компактная структура матриц при этом не сохраняется. [27]
Поскольку при типовом подходе к алгебрам каждая из них представляет собой множество реализаций типов данных, алгебра с упорядоченными основами будет содержать ряд включающихся друг в друга реализаций типов данных. Это дает основу для одной формулировки понятия подтипа данных. [28]
Тип 32773 ( PackBits) описывается в главе 5 при обсуждении формата MacPaint. Реализация типов 3 и 4 должна выполняться, консультируясь с документами CCITT ( 2-я ссылка в конце этой главы) и со ссылками на документ TIFF Класса F, доступного из тех же источников, которые предоставляют спецификации TIFF. Тип 5 - LZW, который теперь считается полем расширения, признавая необходимость его лицензирования вместе с этим форматом. Обычно этот алгоритм сжатия был реализован в редакции TIFF 5.0, и, собственно, поэтому он здесь описан. Согласно редакции TIFF 6.0, тип 6 является новым и реализует один из вариантов сжатия JPEG. В основном, обсуждение JPEG сжатия приводится в Главе 17; детали реализации JPEG TIFF - достаточно пространные и здесь обсуждаться не будут. [29]
При трансляции определения произвольного типа данных сначала транслируется его спецификация, которая преобразуется в указанный внутренний формат с пустыми адресами реализаций атрибутов типа. По окончании трансляции реализации типа в его спецификации отмечаются адреса реализаций всех его атрибутов, после чего соответствующий ему блок дескрипторов удаляется из таблицы имен. При каждом последующем использовании этого типа его реализация оказывается скрытой от пользователя и доступной только через соответствующую спецификацию. [30]