Exponenta Banner

copyTo

Класс: полипространство. Опции
Пакет: полипространство

Скопируйте общие настройки между объектами опций Polyspace

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

Синтаксис

optsFrom.copyTo(optsTo)

Описание

optsFrom.copyTo(optsTo) копирует общие опции из optsFrom на optsTo. Объекты опций не должны быть совпадающими типами опций объектов. Этот метод копирует только свойства, общие между этими двумя объектами.

Входные параметры

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

Объект опция, из которого необходимо скопировать свойства, заданный как polyspace.Options или polyspace.ModelLinkOptions объект.

Пример: opts = polyspace.Options;

Объект опция, в который необходимо скопировать свойства, заданный как polyspace.Options или polyspace.ModelLinkOptions объект.

Пример: opts = polyspace.Options;

Примеры

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

В этом примере показано, как задать свойства одного объекта опции и затем скопировать этот объект в другой.

Создайте объект опций Polyspace и установите свойства.

opts1 = polyspace.Options();
opts1.Prog = 'DataRaceProject';
opts1.Sources = {'datarace.c'};
opts1.TargetCompiler.Compiler = 'gnu4.9';

Создайте другой объект и используйте copyTo для копирования опций из предыдущего объекта.

opts2 = polyspace.Options();
opts1.copyTo(opts2);

См. также

| |

Введенный в R2016b

Документация Polyspace Bug Finder

Поддержка