Exponenta Banner

polyspace.GenericTargetOptions class

Пакет: полипространство

Создайте типовое целевое строение

развернуть все на странице

Описание

Создайте пользовательский целевой объект для Polyspace® анализ, если ваш целевой процессор не совпадает с одной из предопределенных целей,.

Примечание

Прежде чем запускать Polyspace из MATLAB®необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».

Конструкция

genericTarget = polyspace.GenericTargetOptions создает типовой целевой объект, который можно настроить. Чтобы задать размеры и выравнивание типов данных, измените свойства объекта. Для образца:

target = polyspace.GenericTargetOptions;
target.CharNumBits = 16;

Свойства

расширить все

Для получения дополнительной информации о любом из свойств ниже, смотрите Generic target options.

Наибольшее выравнивание struct или массива, заданное как 32, 16, или 8. Сопоставим с опцией командной строки DOS/UNIX -align.

Пример: target.Alignment = 8

Определите количество бит для char, заданный как 8 или 16. Сопоставим с опцией командной строки DOS/UNIX -char-is-16bits.

Пример: target.CharNumBits = 16

Определите количество бит для double, заданный как 32 или 64. Сопоставим с опцией командной строки DOS/UNIX -double-is-64bits.

Пример: target.DoubleNumBits = 64

Конечность целевой архитектуры, заданная как little или big. Сопоставим с опциями командной строки DOS/UNIX -little-endian или -big-endian.

Пример: target.Endianess = 'big'

Определите количество бит для int, заданный как 16 или 32. Сопоставим с опцией командной строки DOS/UNIX -int-is-32bits.

Пример: target.IntNumBits = 32

Определите количество бит для long long, заданный как 32 или 64. Сопоставим с опцией командной строки DOS/UNIX -long-long-is-64bits.

Пример: target.LongNumBits = 64

Определите количество бит для long, заданный как 32. Сопоставим с опцией командной строки DOS/UNIX -long-is-32bits.

Пример: target.LongNumBits = 32

Определите количество бит для указателя мыши, заданное как 16, 24, или 32. Сопоставим с опциями командной строки DOS/UNIX -pointer-is-24bits и -pointer-is-32bits.

Пример: target.PointerNumBits = 32

Определите количество бит для int, заданный как 16 или 8. Сопоставим с опцией командной строки DOS/UNIX -short-is-8bits.

Пример: target.ShortNumBits = 8

Знак по умолчанию простого char, заданный как signed или unsigned. Сопоставим с опцией командной строки DOS/UNIX -default-sign-of-char.

Пример: target.SignOfChar = 'unsigned'

Копировать семантику

Значение. Чтобы узнать, как классы значений влияют на операции копирования, см. раздел «Копирование объектов».

Примеры

Настройка типовых целевых параметров

Используйте пользовательский целевой объект для анализа Polyspace.

Создайте два объекта: polyspace.GenericTargetOptions объект для создания пользовательских целевого объекта и polyspace.Project объект для выполнения анализа Polyspace.

target = polyspace.GenericTargetOptions;
proj = polyspace.Project;

Настройте универсальный целевой объект.

target.Endianess = 'big';
target.LongLongNumBits = 64;
target.ShortNumBits = 8;

Добавьте пользовательский целевой объект к Configuration свойство polyspace.Project объект. 

proj.Configuration.TargetCompiler.Target = target;

Теперь можно использовать polyspace.Project объект, чтобы запустить анализ.

| | | |

Введенный в R2016b

Документация Polyspace Code Prover

Поддержка