Exponenta Banner
exponenta event banner

Группа 3: Ввод определений

Пользовательские правила 3. x в Polyspace® осуществите соглашения о присвоении имен для typedef псевдонимы.

Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).

НомерПравилоДетали
3.1Все целочисленные типы должны следовать за заданным шаблоном.

Применяется к целочисленным и булевым типам, заданным typedef операторы. Например:

  • typedef signed long int64_t;

  • typedef int64_t sLong_t;

Не применяется к перечисляемым типам.

3.2Все типы плавающие должны следовать за заданным шаблоном.

Применяется к двойным и типам плавающим, заданным typedef операторы. Например:

  • typedef double float64_t;

  • typedef float64_t Lfloat;

3.3Все типы указателей должны следовать за заданным шаблоном.

Применяется к типам указателей, заданным typedef операторы. Например:

  • typedef int* p_int;

  • typedef p_int int_;

3.4Все типы массива должны следовать за заданным шаблоном.

Применяется к типам массива, заданным typedef операторы. Например:

  • typedef int a_int_3[3];

  • typedef int3_arr in3af[3];

3.5Все типы указателя функции должны следовать за заданным шаблоном.

Применяется к типам указателя функции, заданным typedef операторы. Например:

  • typedef void (*func_fp) (int);

  • typedef func_fp funcc;

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

Поддержка