toScript

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

Добавьте определение объекта опций Polyspace в скрипт

Синтаксис

filePath = opts.toScript(fileName,positionInScript)

Описание

filePath = opts.toScript(fileName,positionInScript) добавляет свойства polyspace.Options объект для MATLAB^® скрипт. Скрипт показывает значения, присвоенные всем свойствам объекта. Можно запустить скрипт позже, чтобы определить объект в рабочем пространстве MATLAB и использовать его.

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

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

`opts` - Объект Options с опциями анализа Polyspace
`polyspace.Options` или `polyspace.ModelLinkOptions` объект

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

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

`fileName` - Имя скрипта
вектор символов

Имя или путь к скрипту, заданный как вектор символов. Если вы задаете относительный путь, скрипт создается в подпапке текущей рабочей папки.

Пример: 'runPolyspace.m'

`positionInScript` - Где добавить определение объекта
`'create'` (по умолчанию) | `'append'`

Положение в скрипте, где добавлены свойства объекта, заданное как 'create' или 'append'. Если вы задаете 'append'свойства объекта добавляются в конец существующего скрипта. В противном случае создается новый скрипт.

Выходные аргументы

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

`filePath` - Полный путь к скрипту
вектор символов

Полный путь к скрипту, заданный как вектор символов.

Пример: 'C:\myScripts\runPolyspace.m'

См. также

copyTo | generateProject | polyspace.ModelLinkOptions | polyspace.Options

Введенный в R2017b

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

Поддержка

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

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

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

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

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

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

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