Группа 20: стиль

Пользовательские правила 20. x в Polyspace^® осуществляют соглашения стиля кодирования, такие как количество символов на строку. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).

Номер Прикладное правило Другие детали

20.1

Исходная длина линии не должна превышать конкретное количество символов.

Номер	Прикладное правило	Другие детали
20.1	Исходная длина линии не должна превышать конкретное количество символов.	При конфигурировании средства проверки задайте: Номер для символьного предела. Используйте столбец Pattern на настройке или `pattern=` линия в текстовом файле пользовательских правил. Сообщение нарушения, такое как: Line exceeds n characters. Используйте столбец Convention на настройке или `convention=` линия в пользовательских правилах xml файл.

При конфигурировании средства проверки задайте:

Номер для символьного предела. Используйте столбец Pattern на настройке или pattern= линия в текстовом файле пользовательских правил.
Сообщение нарушения, такое как:
```
Line exceeds n characters.
```
Используйте столбец Convention на настройке или convention= линия в пользовательских правилах xml файл.

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

Поддержка

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

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

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

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

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

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