Пользовательские правила 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[3] a_int_3; |
| 3.5 | Все типы указателя функции должны следовать за заданным шаблоном. | Применяется к типам указателя функции, заданным операторами typedef. Например: typedef void (*pf_callback) (int); |
