-doc | -документация

Отображение документации Polyspace в браузере справки

Синтаксис

-doc -documentation

Описание

-doc и -documentation открывает документацию Polyspace ® в браузере справки. Можно просмотреть такие сведения, как начало работы, рабочие процессы и страницы ссылок для команд и параметров анализа. Можно также выполнить поиск в документации в браузере справки.

Примеры

Отображение документации Polyspace в браузере справки:

Поиск ошибок:

polyspace-bug-finder -doc
polyspace-bug-finder -documentation

Проверка кода:

polyspace-code-prover -doc
polyspace-code-prover -documentation

Сервер поиска ошибок:

polyspace-bug-finder-server -doc
polyspace-bug-finder-server -documentation

Сервер проверки кода:

polyspace-code-prover-server -doc
polyspace-code-prover-server -documentation

См. также

-h[elp]

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

Поддержка

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

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

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

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

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

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