Exponenta Banner
exponenta event banner

класс polyspace.GenericTargetOptions

Пакет: полиспейс

Создание общей целевой конфигурации

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

Описание

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

Примечание

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

Строительство

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

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

Свойства

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

Дополнительные сведения о любом из свойств см. в разделе Generic target options.

Наибольшее выравнивание объектов структуры или массива, указанное как 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

Endianness целевой архитектуры, указанной как 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

Поддержка