Exponenta Banner

polyspace.GenericTargetOptions class

Пакет: полипробел

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

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

Описание

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

Примечание

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

Конструкция

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 возразите, чтобы запустить анализ.

| | | |

Введенный в R2017b

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

Поддержка