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