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

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

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

20.1

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

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

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

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

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

Поддержка

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

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

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

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

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

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