Cpp.Norm Class

Namespace: Cpp

Contains predicates that check if a keyword is a C or C++ keyword

Since R2026a

Description

The PQL class Norm allows you to check if a Polyspace Query Language (PQL) string object contains a C or C++ keyword. This card does not represent a syntax node and does not define a PQL type.

Predicates

expand all

Syntaxes

This class defines predicates for C and C++ keyword. This table summarizes the predicates that check if a string is a C++ keyword.

Predicates for C++ keywords	Description
`isCpp98Keyword(Lang.String word)`	Checks if `word` matches one of these C++89 keywords: `asm`, `bool`, `catch`, `class`, `const_cast`, `delete`, `dynamic_cast`, `explicit`, `export`, `false`, `friend`, `inline`, `mutable`, `namespace`, `new`, `operator`, `private`, `protected`, `public`, `reinterpret_cast`, `static_cast`, `template`, `this`, `throw`, `true`, `try`, `typeid`, `typename`, `using`, `virtual`, or `wchar_t`.
`isCpp11Extension(Lang.String word)`	Checks if the string `word` matches the keywords introduced in C++11: `alignas`, `alignof`, `constexpr`, `decltype`, `noexcept`, `nullptr`, `static_assert`, `thread_local`.
`isCpp11Keyword(Lang.String word)`	Checks if `word` is a keyword in C++11. The list of keywords in C++11 is a union of C++89 keywords and the new keywords introduced in C++11.
`isCpp14Keyword(Lang.String word)`	Checks if `word` is a keyword in C++14. The list of keywords in C++14 is a union of C++89 keywords and the new keywords introduced in C++11.
`isCpp17Extension(Lang.String word)`	Checks if the string `word` matches the keywords introduced in C++17: `concept`.
`isCpp17Keyword(Lang.String word)`	Checks if `word` is a keyword in C++17. The list of keywords in C++14 is a union of C++14 keywords and the new keywords introduced in C++17.
`isCpp20Extension(Lang.String word)`	Checks if `word` is a keywords introduced in C++20: `consteval`, `constinit`, `co_await`, `co_return`, `co_yield`, or`requires`.
`isCpp20Keyword(Lang.String word)`	Checks if `word` is a keyword in C++20. The list of keywords in C++20 is a union of C++17 keywords and the new keywords introduced in C++20.
`isCpp23Extension(Lang.String word)`	Checks if `word` is a keywords introduced in C++23: `abstract`, `concepts`, `explicit`, `import`, `module`, `reflexpr`.
`isCpp23Keyword(Lang.String word)`	Checks if `word` is a keyword in C++23. The list of keywords in C++23 is a union of C++20 keywords and the new keywords introduced in C++23.

This table summarizes the predicates that check if a string is a C keyword.

Predicates for C++ keywords	Description
`isC89Keyword(Lang.String word)`	Checks if the string `word` one of these C89 keywords: `auto`, `break`, `case`, `char`, `const`, `continue`, `default`, `do`, `double`, `else`, `enum`, `extern`, `float`, `for`, `goto`, `if`, `int`, `long`, `register`, `return`, `short`, `signed`, `sizeof`, `static`, `struct`, `switch`, `typedef`, `union`, `unsigned`, `void`, `volatile`, or `while`.
`isC90Keyword(Lang.String word)`	Checks if the string is a C91 keyword. C90 and C89 has the same list of keywords.
`isC99Extension(Lang.String word)`	Checks if the string `word` matches the keywords introduced in C99: `inline`, `restrict`, `_Bool`, `_Complex`, `_Imaginary` .
`isC99Keyword(Lang.String word)`	Checks if `word` is a keyword in C99. The list of keywords in C99 is a union of C90 keywords and the new keywords introduced in C99.
`isC11Extension(Lang.String word)`	Checks if the string `word` matches the keywords introduced in C11: `_Alignas`, `_Alignof`, `_Atomic`, `_Generic`, `_Noreturn`, `_Static_assert`, or `_Thread_local`.
`isC11Keyword(Lang.String word)`	Checks if `word` is a keyword in C11. The list of keywords in C11 is a union of C99 keywords and the new keywords introduced in C11.
`isC17Keyword(Lang.String word)`	Checks if `word` is a keyword in C17. The list of keywords in C17 the same as the keywords in C11.
`isC23Extension(Lang.String word)`	Checks if the string `word` matches the keywords introduced in C23: `alignas`, `alignof`, `constexpr`, `nullptr`, `static_assert`, `typeof`, or `thread_local` .
`isC23Keyword(Lang.String word)`	Checks if `word` is a keyword in C23. The list of keywords in C23 is a union of C11 keywords and the new keywords introduced in C23.

Examples

Check If C++ Keywords are Redefined

Consider this C/C++ code that redefines keywords:


#define class my_class   // Preprocessor replaces 'class' tokens with 'my_class'

#define int my_int // Preprocessor replaces 'int' tokens with 'my_int'

#define ADD(a, b) ((a) + (b))

To detect preprocessor definitions that redefine C++23 keywords, define this defect:

defect mydefect =
when
   Cpp.PreprocDef.is(&preproc)
   and preproc.name(&name)
   and name.nodeText(&str)
   and Cpp.Norm.isCpp23Keyword(str)
   raise "C++23 keyword redefined in macro: \"{str}\""
   on name

The defct reports a violation on the macros class and int.

Version History

Introduced in R2026a