Спецификация - тип
Cтраница 2
Подобным же образом спецификация типа является фрагментом некоторой теории. На выбор алгебр в качестве моделей данной теории ( и в том числе реализаций в качестве моделей компонентных типов данных) мы не накладываем никаких ограничений. Это могут быть алгебры, инициальные по отношению к одним основам ( тип натуральных чисел), терминальные - к другим ( типы множеств), или находящиеся между этими экстремумами. [16]
В C имеется спецификация типа const, которая запрещает модификацию значений массива в функции. Когда параметру-массиву предшествует спецификатор const, элементы массива становятся константами в теле функции и любая попытка модифицировать элементы массива внутри тела функции приводит к ошибке трансляции. [17]
Как правило, спецификации типа Т используются для заголовков. [18]
Другими словами, спецификация типа данных UT - это приращение теории, подчиняющееся определенным ограничениям. Заметим, что по данному определению понятие абстрактного типа данных отождествляется с понятием спецификации типа данных, ибо оба эти понятия отражают внешние, пользовательские свойства типа данных и не связаны с его внутренними, реализационными свойствами. [19]
В прототипе загрузки спецификации типов, неизвестных системе Снобол-4, игнорируются; за их обработку отвечают внешние функции. Такие типы данных можно просто не указывать в прототипе. [20]
Ре дукт RT спецификации типа Т определяется как подмножество этой спецификации с редуцированным набором операций. Операция получения редукта осуществляет декомпозицию спецификаций типов во множество фрагментов ( редук-тов), являющихся правильными спецификациями. [21]
Использование десятичной точки в спецификации типа I не допускается. [22]
 |
Связи, недопустимые.| Пример рекурсивной связи. а иитенсионал, б расширение. [23] |
Эта спецификация является частью спецификации типа записи ПАЦИЕНТ и объявляет НСС уникальным ключом записи. [24]
Классам как объектам также соответствуют спецификации типов. Наряду с определением операций над классами эти типы содержат инварианты, определяющие объекты, которые могут принадлежать классу. К этим инвариантам относятся также определения ключевых атрибутов классов. Метод позволяет определить спецификацию типа класса-результата для различных операций над классами. Предполагается, что общие редукты, образуемые при реализации операций meet и join над типами экземпляров, включают ключевые атрибуты типа результирующего класса. [25]
 |
GUI для подтверждения онтологической релевантности между элементами применения и компонентов. [26] |
При построении наиболее общих редуктов спецификаций типов требований и применений необходимо выявлять и разрешать различные конфликты таких спецификаций - конфликты значений, структурные конфликты, конфликты поведения. Успешным результатом разрешения таких конфликтов является преобразование сопряженного редукта в конкретизирующий редукт. Конкретизирующий редукт СЯт2 типа Т % включает наравне с атрибутами типа Т2 функции разрешения конфликтов. [27]
В общем случае любая из спецификаций типа D. E, F, I или А может быть повторена любое необходимое количество раз простым указанием коэффициента кратности перед буквенным символом. Нужно следить за тем, чтобы не указать более чем 145 символов для печатаемой строки или свыше 80 колонок для карты. [28]
Он содержит две части: спецификацию типа и реализацию типа. Первая часть дает программисту информацию о именах и типах операций конструируемого типа, а вторая содержит значения ( алгоритмы) операций. [29]
Та же спецификация, приписанная к спецификации типа Е, переносит десятичную точку и одновременно изменяет порядок. [30]
Страницы: 1 2 3