Exponenta Banner
exponenta event banner

copyTo

Класс: polyspace.Options
Пакет: полипробел

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

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

Синтаксис

optsFrom.copyTo(optsTo)

Описание

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

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

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

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

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

Объект Option, в который вы хотите скопировать свойства в виде 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);

Смотрите также

| |

Введенный в R2017b

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

Поддержка