Пользовательские правила 3. x в Polyspace® осуществляют соглашения о присвоении имен для основополагающих типов данных. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).
| Номер | Прикладное правило | Другие детали |
|---|---|---|
| 3.1 | Все целочисленные типы должны следовать за заданным шаблоном. | Применяется к целочисленным и булевым типам, заданным typedef операторы. Не применяется к перечисляемым типам. Например: typedef signed int int32_t; |
| 3.2 | Все типы плавающие должны следовать за заданным шаблоном. | Применяется к двойным и типам плавающим, заданным typedef операторы. Например: typedef float f32_t; |
| 3.3 | Все типы указателей должны следовать за заданным шаблоном. | Применяется к типам указателей, заданным typedef операторы. Например: typedef int* p_int; |
| 3.4 | Все типы массива должны следовать за заданным шаблоном. | Применяется к типам массива, заданным typedef операторы. Например: typedef int a_int_3[3]; |
| 3.5 | Все типы указателя функции должны следовать за заданным шаблоном. | Применяется к типам указателя функции, заданным typedef операторы. Например: typedef void (*pf_callback) (int); |
