Пользовательские правила 3.x в Polyspace ® применяются правила именования для основных типов данных. Сведения о включении этих правил см. в разделеCheck custom rules (-custom-rules).
| Число | Правило применено | Другие детали |
|---|---|---|
| 3.1 | Все целочисленные типы должны соответствовать заданному шаблону. | Применяется к целочисленным и логическим типам, указанным в typedef заявления. Не применяется к типам перечисления. Например: typedef signed int int32_t; |
| 3.2 | Все типы float должны соответствовать заданному образцу. | Применяется к двойным и плавающим типам, указанным в 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); |