Exponenta Banner

copyTo

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

Скопируйте общие настройки между объектами опций 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
Поддержка