Автоматизированное проектирование. Норенков И.П. - 174 стр.

UptoLike

Составители: 

%*#$A&,& +($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%5@!"! 6
entity point;
x,y,z: real;
end_entity;
entity circle;
center: point;
radius: real; -- явные атрибуты center, radius
derive
area: real := pi*radius**2; (*порожденный атрибут area*)
end_entity;
Отметим, что между символами (* и *) записывается %#//$*&)"'; произвольный текст по усмотрению автора
модели. Если комментарий умещается в одной строчке, то достаточно перед его текстом поставить двойной дефис (--).
"84,-1. -+31 5:0016. К 0"#+&./ &'0)/ -)**., относятся следующие типы:
— integer целые числа;
— real вещественные числа;
— number тип , объединяющий типы integer и real;
— logical его значениями могут быть true, false или unknown (неопределенность);
— Boolean с возможными значениями true или false;
— binary последовательность битов 1 или 0;
— string строка символов.
Их изображения на схемах на языке Express-G показаны на рис. 6.23.
Для binary и string в круглых скобках можно указать максимально возможное число элементов множе ства, напри-
мер, если строка А может включать до 24-х символов, то:
А: string(24);
е сли ровно 24 символа, то
А: string(24) fixed;
е сли ограничений нет, то
А: string;
Если переменная а имеет тип binary, то выражение а[5:7] означает биты с 5-го по 7-й в коде а.
Значения простых типов выражаются с помощью литералов. R'&$")4.это числа (целые, вещественные), дво-
ичные коды, логические значения (true, false, unknown), фрагменты текста (строковый тип). Примеры записи литералов:
двоичный (начинается с знака %) %100101110
целое десятичное число 1052
вещественный (обязательна де сятичная точка) 34.е-3 или 0.034
строковый (занимает не более одной строки) ‘first name’
C@8.@:-+9012 -+3 5:0016. K8"$8)-
&'(*.; &'0 -)**., множество элементов неко-
торого типа.
Различают четыре разновидности агрегатив-
ных типов, сведения о к о т орых приведены в табл. 6.1.
При описании типа array после слова array в
квадратных скобках указываются нижняя и верхняя
границы индексов. Для остальных агрегативных
типов записываются не граничные значения индек-
са, а нижняя и верхняя границы числа элементов.
Например:
F1: array[2:8] of real;
(*описание семиэлементног о массива F1, его элементы имеют тип real и нумеруют ся, начиная с значения индекса 2*)
F2: list[1:?] of integer;
(*множество F2 содержит, по крайней мере, один элемент типа integer*)
matr: array[1:10] of array[9:12] of atrac;
(*массив matr состоит из 10 четырехэлементных массивов, элементы типа atrac*)
&.+.)$(*),$". ! "#$%!#&'&($"!))$* +($*,#&($"!)&*
174
%+,. 6.23. Изображение простых типов данных в Express-G
Тип данных Упорядоченность Различие элементов
array
Да Необязательно
bag
Нет Необязательно
list
Да Обязательно
set
Нет Обязательно
M:BD+=: 6.)
 5@!"! 6                                      %*#$A&,&     +($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%

      entity point;
      x,y,z: real;
      end_entity;
      entity circle;
      center: point;
      radius: real;                     -- явные атрибуты center, radius
      derive
      area: real := pi*radius**2;       (*порожденный атрибут area*)
      end_entity;

       Отметим, что между символами (* и *) записывается %#//$*&)"'; — произвольный текст по усмотрению автора
модели. Если комментарий умещается в одной строчке, то достаточно перед его текстом поставить двойной дефис (--).
       "84,-1. -+31 5:0016. К 0"#+&./ &'0)/ -)**., относятся следующие типы:
       — integer — целые числа;
       — real — вещественные числа;
       — number — тип, объединяющий типы integer и real;
       — logical — его значениями могут быть true, false или unknown (неопределенность);
       — Boolean — с возможными значениями true или false;
       — binary — последовательность битов 1 или 0;
       — string — строка символов.
       Их изображения на схемах на языке Express-G показаны на рис. 6.23.
       Для binary и string в круглых скобках можно указать максимально возможное число элементов множества, напри-
мер, если строка А может включать до 24-х символов, то:

      А: string(24);

если ровно 24 символа, то

      А: string(24) fixed;

если ограничений нет, то
                                                     %+,. 6.23. Изображение простых типов данных в Express-G
      А: string;

       Если переменная а имеет тип binary, то выражение а[5:7] означает биты с 5-го по 7-й в коде а.
       Значения простых типов выражаются с помощью литералов. R'&$")4. — это числа (целые, вещественные), дво-
ичные коды, логические значения (true, false, unknown), фрагменты текста (строковый тип). Примеры записи литералов:
       двоичный (начинается с знака %)                    %100101110
       целое десятичное число                             1052
       вещественный (обязательна десятичная точка)        34.е-3 или 0.034
       строковый (занимает не более одной строки)         ‘first name’
       C@8.@:-+9012 -+3 5:0016. K8"$8)-                                                                  M:BD+=: 6.)
&'(*.; &'0 -)**., — множество элементов неко-
торого типа.                                         Тип данных         Упорядоченность        Различие элементов
       Различают четыре разновидности агрегатив-
ных типов, сведения о которых приведены в табл. 6.1. array                    Да                  Необязательно
       При описании типа array после слова array в   bag                      Нет                 Необязательно
квадратных скобках указываются нижняя и верхняя
границы индексов. Для остальных агрегативных         list                     Да                   Обязательно
типов записываются не граничные значения индек-
                                                     set                      Нет                  Обязательно
са, а нижняя и верхняя границы числа элементов.
Например:

      F1: array[2:8] of real;
      (*описание семиэлементного массива F1, его элементы имеют тип real и нумеруются, начиная с значения индекса 2*)
      F2: list[1:?] of integer;
      (*множество F2 содержит, по крайней мере, один элемент типа integer*)
      matr: array[1:10] of array[9:12] of atrac;
      (*массив matr состоит из 10 четырехэлементных массивов, элементы типа atrac*)



 &.+.)$(*),$" . !"#$%!#&'&($"!))$*                +($*,#&($"!)&*                                            174