toScript

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

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

Синтаксис

filePath = opts.toScript(fileName,positionInScript)

Описание

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

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

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

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

Объект Option сохранить в скрипте MATLAB в виде polyspace.Options или polyspace.ModelLinkOptions объект.

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

`fileName` scriptname
символьный вектор

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

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

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

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

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

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

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

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

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

Введенный в R2017b

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

Поддержка

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

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

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

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

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

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

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