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




Глава 4. Имена и выражения


    Имена
    Имена могут обозначать понятия, описанные явно или неявно (см. 3.1). Имена могут обозначать также объекты, указанные ссылочными значениями, подкомпоненты и отрезки объектов и значений, одиночные в...
    Литералы
    Литерал это либо числовой литерал, либо литерал перечисления, либо литерал null, либо строковый литерал, либо символьный литерал. Вычисление литерала вырабатывает соответствующее значение. Числовы...
    Примечание 1
    оПХЛЕПШ: 3.14159_26536 - - литерал вещественного типа 1_345 - - литерал целого типа КЛУБЫ - - литерал перечисления 'А' - - символьный литерал НЕКОТОРЫЙ_ТЕКСТ - - строковый литерал Ссылки: агрегат...
    Агрегаты
    Агрегат это базовая операция, которая объединяет значения компонент в составное значение именуемого или индексируемого типа. агрегат ::= (сопоставление-компонент {, сопоставление-компонент}) сопос...
    Выражения
    Выражение это формула, которая определяет процесс вычисления значения. выражение ::= отношение {and отношение} | отношение {and then отношение} | отношение {ог отношение} | отношение {or else отно...
    Операции и вычисление выражения
    В языке определяется шесть классов операций. При описании функций, определяющих пользовательские операции, 6 качестве обозначений могут быть использованы приведенные ниже знаки операций (исключая...
    Примечание 2
    оПХЛЕПШ: X /= Y А and А АА -- TRUE АА В and А А -- TRUEMY_CAR = null --истина, если MY_CAR пуст (см. 1) MY_CAR = YOUR_CAR -- истина, если используется один и тот же автомобиль MY_CAR. all = YOUR_C...
    Примечание 3
    оПХЛЕПШ: Z + 0.1 -- Z должен иметь вещественный тип А BCD -- катенация двух строковых литералов 'А' BCD -- катенация символьного и строкового -- литералов 'А' 'А' -- катенация двух символьных лите...
    Примечание 4
    оПХЛЕПШ: I : INTEGER := 1; J : INTEGER := 2; К : INTEGER := 3;X : REAL diglts 6 := 1.0; СМ. 7 Y : REAL diglts 6 := 2.0;F : FRACTION delta 0.0001 := 0.1; СМ. 9 G : FRACTION delta 0.0001 := 0.1; Выр...
    Преобразование типа
    Вычисление явного преобразования типа это вычисление выражения, заданного в качестве операнда, и преобразование результата в значение указанного целевого типа. Явные преобразования типов допустимы...
    Квалифицированные выражения
    Квалифицированное выражение используется для явного указания типа и, возможно, подтипа операнда, заданного выражением или агрегатом. квалифицированное-выражение ::= обозначение-типа' (выражение) |...
    Примечание 5
    оПХЛЕПШ: type MASK is (FIX, DEC, EXP, SIGNIP); type CODE is (FIX, CLA, DEC, TNZ, SUB);PRINT (MASK'(DEC)); -- DEC типа MASK PRINT (СОDЕ'(DЕC)); -- DЕС типа CODE for J in CODE'(FIX) .. CODE'(DEC) lo...
    Генераторы
    Вычисление генератора создает объект и вырабатывает ссылочное значение, которое указывает на этот объект. генератор ::= new указатель-подтипа | new квалифицированное - выражение Тип порожденного г...
    Статические выражения и статические подтипы
    Некоторые выражения скалярного типа называются статическими. Аналогично статическими называют некоторые дискретные диапазоны, а обозначения типов для некоторых скалярных подтипов называют обознача...
    Универсальные выражения
    Универсальное выражение это выражение, вырабатывающее результат универсального-целого или универсального-вещественного типа. Для универсального-целого типа предопределены те же операции, что и для...
    Примечание 6
    оПХЛЕПШ: 1+1 -- 2 аbs (-10)*3 -- 30KILO : constant := 1000; MEGA : constant := KILO*KILO; -- 1 000 000 LONG : constant := FLOАТ'DIGIТS*2;HALF_PI : constant := Р1/2; -- см. 2. DEG_TO_RAD : constant...








Начало    



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