Строение проекта

Установите расширенные опции строения, чтобы настроить анализ.

Настройки

Откройте Polyspace^® Окно строения с помощью кнопки Configure. Настройте дополнительные параметры в этом окне и сохраните строение проекта. Если вы добавили пользовательский файл проекта в параметр Использовать пользовательский файл проекта, это строение файла проекта будет показываемо. В противном случае используется шаблон проекта по умолчанию.

Для получения дополнительной информации о расширенных опциях смотрите Опции анализа в Polyspace Code Prover.

Зависимость

Параметр Settings from переопределяет пользовательские настройки строения для правил кодирования. Если необходимо использовать пользовательские настройки правил кодирования, установите Settings from > Project configuration.

Информация о командной строке

Используйте проект Polyspace (.psprj файл) с pslinkoptions свойства EnablePrjConfigFile и PrjConfigFile.

См. также

polyspace.ModelLinkOptions | pslinkoptions | pslinkoptions Свойства

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

Поддержка

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

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

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

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

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

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

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