copyTo

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

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

Синтаксис

optsFrom.copyTo(optsTo)

Описание

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

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

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

`optsFrom` - Объект Опции, из которого нужно скопировать свойства
`polyspace.Options` или `polyspace.ModelLinkOptions` объект

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

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

`optsTo` - Объект Опции, в который нужно скопировать свойства
`polyspace.Options` объект

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

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

Примеры

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

Копировать объект опций Polyspace

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

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

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

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

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

См. также

generateProject | polyspace.ModelLinkOptions | polyspace.Options

Введенный в R2016b

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

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.

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