Exponenta Banner
exponenta event banner

copyTo

Класс: polyspace. Варианты
Пакет: полиспейс

Копирование общих параметров между объектами параметров 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;

Примеры

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

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

Создайте объект параметров Polyspace и задайте свойства.

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

Создайте еще один объект и скопируйте параметры из предыдущего объекта с помощью (В).

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

См. также

| |

Представлен в R2016b

Документация по программе проверки кода Polyspace

Поддержка