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
Поддержка