Справочное руководство по языку Ада-83




Глава 3. Описания и типы


    Описания
    В языке определены понятия, объявляемые явно или неявно описаниями. К таким понятиям относятся, например: числовой литерал, объект, дискриминант, компонента записи, параметр цикла, исключение, тип...
    Объекты и именованные числа
    Объект это понятие языка; объект имеет (содержит) значение данного типа. Объектом может быть: объект, объявленный в описании объекта или в описании одиночной задачи; формальный параметр подпрограм...
    Примечание
    оПХЛЕПШ: -- групповое описание объектов JOHN, PAUL : PERSON_NAME := new PERSON(SEX = M); -- CM. 1 -- эквивалентно единичным описаниям объектов, -- следующим в данном порядке JOHN : PERSON_NAME :=...
    Типы и подтипы
    Тип характеризуется множеством значений и множеством операций. Существует несколько классов типов. Скалярные типы это целые и вещественные типы и типы, определенные перечислением своих значений; з...
    Производные типы
    Определение производного типа задает новый (базовый) тип, свойства которого наследуют свойства родительского типа: новый тип называется производным типом. Определение производного типа создает одн...
    Примечание
    оПХЛЕПШ: type LOCAL-COORDINATE is new COORDINATE; - Два различных типа type MIDWEEK is new DAY range TUE .. THU; - CM. 1 type COUNTER is new POSITIVE; -- тот же диапазон, что и у POSITIVE type SPE...
    Скалярные типы
    Под скалярными типами подразумеваются перечислимые, целые и вещественные типы. Перечислимые и целые типы называются дискретными типами; каждое значение дискретного типа имеет номер позиции целое з...
    Примечание
    оПХЛЕПШ: type DAY is (MON, TUE, WED, THU, FRI, SAT, SUN); type SUIT is (CLUBS, DIAMONDS, HEARTS, SPADES); type GENDER is (M, F); type LEVEL is (LOW, MEDIUM, URGENT); type COLOR is (WHITE, RED, YEL...
    Примечание 2
    оПХЛЕПШ: type PAGE_NUM is range 1 .. 2_000; type LINE_SIZE is range 1 .. MAX_LINE_SIZE; subtype SMAL_IINT is INTEGER range -10 .. 10; subtype COLUMN_PTR is LINESIZE range 1 .. 10: subtype BUFFER_S...
    Примечание 3
    оПХЛЕПШ: type COEFFICIENT is digits 10 range -1.0 .. 1.0; type REAL is digits 8; type MASS is digits 7 range 0.0 .. 1.0Е35; subtype SHORTCOEFF is COEFFICIENT digits 5; -- подтип с меньшей точность...
    Примечание 4
    оПХЛЕПШ: type VOLT is delta 0.125 range 0.0 .. 255.0; subtype ROUGH_VOLTAGE is VOLT delta 1.0; диапазон, как у VOLT-- Правильная дробь, требующая полного машинного слова в -- дополнительном коде,...
    Индексируемые типы
    Индексируемый объект (массив) это составной объект, содержащий компоненты, имеющие один и тот же подтип. В имени компоненты массива используется одно или несколько индексных значений, принадлежащи...
    Примечание 5
    оПХЛЕПШ: STARS : STRING(1 .. 120) := (1 .. 120 = '*' ); QUESTION : constant STRING := HOW MANY CHARACTERS?; -- QUESTION'FIRST = 1, QUESTION'LAST = 20 (число СИМВОЛОВ)ASK_TWICE : conatant STRING :=...
    Именуемые типы
    Объект именуемого типа (запись) это составной объект, состоящий из именованных компонент. Значение записи составное значение, состоящее из значений своих компонент. определение-именуемого-типа::=...
    Примечание 6
    оПХЛЕПШ: type BUFFER(SIZE : BUFFER_SIZE := 100) is -- см. 4 record POS : BUFFER_SIZE := 0; VALUE : STRING(1 .. SIZE); end record ; type SQUARE(SIDE : INTEGER) is record MAT : MATRIX(1 .. SIDE, 1 ....
    Ссылочные типы
    Объявленный описанием объект создается предвыполнением этого описания и обозначается простым именем или некоторой другой формой имени. В противоположность этому существуют объекты, создаваемые выч...
    Примечание 7
    оПХЛЕПШ: type FRAME is access MATRIX; -- см. 3.6 type BUFFERNAME is access BUFFER; -- см. 1 Примечание. Ссылочное значение, передаваемое генератором, может быть присвоено нескольким ссылочным объе...
    Разделы описаний
    Раздел описаний содержит элементы описания (возможно, и ни одного). раздел-описаний ::= {основной-элемент-описания} {дополнительный - элемент - описания}основной-элемент-описания ::= основное-опис...








Начало    



Книжный магазин