Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 33 стр.

UptoLike

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

Рубрика:

данные, имеющие один тип, могут быть явно или неявно преобразованы к

другому типу.

Рис. 1.6. Граф типов данных Ptolemy II. Типы данных, которые находятся ниже

на рисунке, могут быть преобразованы к связанным с ними линиями типам,

которые находятся выше них

Массивы в Ptolemy II определяются как упорядоченные наборы данных

одного типа, имеющие одно измерение. Матрицы представляют собой

двумерные упорядоченные наборы данных одного типа. Ptolemy II

поддерживает матрицы, состоящие из элементов следующих типов: boolean,

complex, double, fixedpoint, int и long

. Другие типы элементов в матрицах не

разрешены. Для матриц предусмотрено множество операций векторно-

матричной алгебры и функций, практически все из которых присутствуют в

MATLAB

(MathWorks Ltd.). Записи в Ptolemy II состоят из именованных полей,

которые могут иметь разные типы. Доступ к отдельным полям осуществляется

с помощью операции ‘.’ (как в C++ или Java

). Интересно отметить, что для

данных, имеющих тип «запись», предусмотрены бинарные операции

пересечения и объединения по именам полей.

Механизм разрешения типов Ptolemy II позволяет автоматически проверять

корректность преобразований данных в модели в целом, не указывая вручную

конкретные типы или ограничения на порты отдельных акторов. Разрешение