独自のコーディングルールとコーディング規約の作成

ユーザー定義のコーディングルールとコーディング規約を作成して、自分のコードに固有の問題をチェックする

ユーザー定義のコーディングルールとコーディング規約を作成して、自分のコードベースに固有の問題をチェックします。自分のコードベースに固有の問題をチェックするには、Polyspace Query Language (PQL) を使用します。1 つ以上の既存の Polyspace^® Bug Finder™ 欠陥とコーディングルールにマッピングして、問題を検出します。または、PQL クラス述語の論理的な組み合わせである欠陥チェッカーを作成して、新しいユーザー定義のコーディングルールを作成します。

コーディングルールとコーディング規約を PQL コードとして定義します。コマンド polyspace-query-language package を使用してコードをチェッカーアクティベーションファイル (.pschk) に変換します。コマンド polyspace-query-language test を使用して PQL 定義の有効性をテストします。

関数

polyspace-query-language (System Command) Create and test user-defined coding standards and user-defined coding rules (R2026a 以降)

クラス

すべて展開する

セマンティック型

`ObjectWithPosition`	Represents an object that has a known position (R2026a 以降)
`CallSite`	Represents a function call site (R2026a 以降)
`Cast`	Represents a cast (R2026a 以降)
`Field`	Represent a field in your code (R2026a 以降)
`Function`	Represents a function in your code (R2026a 以降)
`Macro`	Represents the macros in your code (R2026a 以降)
`Namespace`	Represent namespaces in your code (R2026a 以降)
`SourceLoc`	Query the cast related information in your code (R2026a 以降)
`Type`	Represents the type of a C/C++ object (R2026a 以降)
`Variable`	Represents a variable in your code (R2026a 以降)

Lang

`Lang.String`	Represents a string (R2026a 以降)
`Common`	Represents the common types in Polyspace Query Language (R2026a 以降)

一般的に使用される構文の型

`Node`	Represents A node in the abstract syntax tree of your code (R2026a 以降)
`NumberLiteral`	Represents the `number_literal` nodes in the syntax tree of your code (R2026a 以降)
`Identifier`	Represents the `identifier` nodes in the syntax tree of your code (R2026a 以降)
`ExpressionStatement`	Represents the `expression_statement` nodes in the syntax tree of your code (R2026a 以降)
`Comment`	Represents the `comment` nodes in the syntax tree of your code (R2026a 以降)
`CallExpression`	Represents the `call_expression` nodes in the syntax tree of your code (R2026a 以降)
`Declaration`	Represents the `declaration` nodes in the syntax tree of your code (R2026a 以降)
`AssignmentExpression`	Represents the `assignment_expression` nodes in the syntax tree of your code (R2026a 以降)
`StringContent`	Represents the `string_content` nodes in the syntax tree of your code (R2026a 以降)
`IfStatement`	Represents the `if_statement` nodes in the syntax tree of your code (R2026a 以降)
`ParameterDeclaration`	Represents the `parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`StringLiteral`	Represents the `string_literal` nodes in the syntax tree of your code (R2026a 以降)
`BinaryExpression`	Represents the `binary_expression` nodes in the syntax tree of your code (R2026a 以降)
`TypeQualifier`	Represents the `type_qualifier` nodes in the syntax tree of your code (R2026a 以降)
`FunctionDefinition`	Represents the `function_definition` nodes in the syntax tree of your code (R2026a 以降)
`PointerExpression`	Represents the `pointer_expression` nodes in the syntax tree of your code (R2026a 以降)
`ReturnStatement`	Represents the `return_statement` nodes in the syntax tree of your code (R2026a 以降)
`TypeDescriptor`	Represents the `type_descriptor` nodes in the syntax tree of your code (R2026a 以降)
`CaseStatement`	Represents the `case_statement` nodes in the syntax tree of your code (R2026a 以降)
`EscapeSequence`	Represents the `escape_sequence` nodes in the syntax tree of your code (R2026a 以降)
`Auto`	Represents the `auto` nodes in the syntax tree of your code (R2026a 以降)
`CompoundStatement`	Represents the `compound_statement` nodes in the syntax tree of your code (R2026a 以降)
`FieldExpression`	Represents the `field_expression` nodes in the syntax tree of your code (R2026a 以降)
`BreakStatement`	Represents the `break_statement` nodes in the syntax tree of your code (R2026a 以降)
`PreprocInclude`	Represents the `preproc_include` nodes in the syntax tree of your code (R2026a 以降)
`CastExpression`	Represents the `cast_expression` nodes in the syntax tree of your code (R2026a 以降)
`StorageClassSpecifier`	Represents the `storage_class_specifier` nodes in the syntax tree of your code (R2026a 以降)
`True`	Represents the `true` nodes in the syntax tree of your code (R2026a 以降)
`False`	Represents the `false` nodes in the syntax tree of your code (R2026a 以降)
`QualifiedIdentifier`	Represents the `qualified_identifier` nodes in the syntax tree of your code (R2026a 以降)
`PreprocIf`	Represents the `preproc_if` nodes in the syntax tree of your code (R2026a 以降)
`InitializerList`	Represents the `initializer_list` nodes in the syntax tree of your code (R2026a 以降)
`Character`	Represents the `character` nodes in the syntax tree of your code (R2026a 以降)
`ForRangeLoop`	Represents the `for_range_loop` nodes in the syntax tree of your code (R2026a 以降)
`ForStatement`	Represents the `for_statement` nodes in the syntax tree of your code (R2026a 以降)
`FieldDeclaration`	Represents the `field_declaration` nodes in the syntax tree of your code (R2026a 以降)
`TemplateDeclaration`	Represents the `template_declaration` nodes in the syntax tree of your code (R2026a 以降)
`FieldIdentifier`	Represents the `field_identifier` nodes in the syntax tree of your code (R2026a 以降)
`PreprocIfdef`	Represents the `preproc_ifdef` nodes in the syntax tree of your code (R2026a 以降)

構文 - syntax

`AstNodeProperties`	Represents the abstract syntax tree nodes of your code (R2026a 以降)
`BinaryExpressionOperator`	Represents the `binary_expression_operator` nodes in the syntax tree of your code (R2026a 以降)
`Character`	Represents the `character` nodes in the syntax tree of your code (R2026a 以降)
`CompoundRequirement`	Represents the `compound_requirement` nodes in the syntax tree of your code (R2026a 以降)
`EscapeSequence`	Represents the `escape_sequence` nodes in the syntax tree of your code (R2026a 以降)
`File`	Represents the `file` nodes in the syntax tree of your code (R2026a 以降)
`FunctionDefinition`	Represents the `function_definition` nodes in the syntax tree of your code (R2026a 以降)
`Scope`	Represents the `scope` nodes in the syntax tree of your code (R2026a 以降)
`SehExceptClause`	Represents the `seh_except_clause` nodes in the syntax tree of your code (R2026a 以降)
`SehFinallyClause`	Represents the `seh_finally_clause` nodes in the syntax tree of your code (R2026a 以降)
`StringContent`	Represents the `string_content` nodes in the syntax tree of your code (R2026a 以降)
`TranslationUnit`	Represents the `translation_unit` nodes in the syntax tree of your code (R2026a 以降)
`UnaryExpressionOperator`	Represents the `unary_expression_operator` nodes in the syntax tree of your code (R2026a 以降)

構文 - AbstractDeclarator

`AbstractArrayDeclarator`	Represents the `abstract_array_declarator` nodes in the syntax tree of your code (R2026a 以降)
`AbstractFunctionDeclarator`	Represents the `abstract_function_declarator` nodes in the syntax tree of your code (R2026a 以降)
`AbstractParenthesizedDeclarator`	Represents the `abstract_parenthesized_declarator` nodes in the syntax tree of your code (R2026a 以降)
`AbstractPointerDeclarator`	Represents the `asbtract_pointer_declarator` nodes in the syntax tree of your code (R2026a 以降)
`AbstractReferenceDeclarator`	Represents the `abstract_reference_declarator` nodes in the syntax tree of your code (R2026a 以降)

構文 - Declarator

`ArrayDeclarator`	Represents the `array_declarator` nodes in the syntax tree of your code (R2026a 以降)
`AttributedDeclarator`	Represents the `attributed_declarator` nodes in the syntax tree of your code (R2026a 以降)
`Declarator`	Represents the `declarator` nodes in the syntax tree of your code (R2026a 以降)
`DestructorName`	Represents the `destructor_name` nodes in the syntax tree of your code (R2026a 以降)
`FunctionDeclarator`	Represents the `function_declarator` nodes in the syntax tree of your code (R2026a 以降)
`Identifier`	Represents the `identifier` nodes in the syntax tree of your code (R2026a 以降)
`OperatorName`	Represents the `operator_name` nodes in the syntax tree of your code (R2026a 以降)
`ParenthesizedDeclarator`	Represents the `parenthesized_declarator` nodes in the syntax tree of your code (R2026a 以降)
`PointerDeclarator`	Represents the `pointer_declarator` nodes in the syntax tree of your code (R2026a 以降)
`QualifiedIdentifier`	Represents the `qualified_identifier` nodes in the syntax tree of your code (R2026a 以降)
`ReferenceDeclarator`	Represents the `reference_declarator` nodes in the syntax tree of your code (R2026a 以降)
`StructuredBindingDeclarator`	Represents the `structured_binding_declarator` nodes in the syntax tree of your code (R2026a 以降)
`TemplateFunction`	Represents the `template_function` nodes in the syntax tree of your code (R2026a 以降)

構文 - Expression

`AlignofExpression`	Represents the `alignof_expression` nodes in the syntax tree of your code (R2026a 以降)
`AssignmentExpression`	Represents the `assignment_expression` nodes in the syntax tree of your code (R2026a 以降)
`BinaryExpression`	Represents the `binary_expression` nodes in the syntax tree of your code (R2026a 以降)
`CallExpression`	Represents the `call_expression` nodes in the syntax tree of your code (R2026a 以降)
`CastExpression`	Represents the `cast_expression` nodes in the syntax tree of your code (R2026a 以降)
`CharLiteral`	Represents the `char_literal` nodes in the syntax tree of your code (R2026a 以降)
`CoAwaitExpression`	Represents the `co_await_expression` nodes in the syntax tree of your code (R2026a 以降)
`CompoundLiteralExpression`	Represents the `compound_literal_expression` nodes in the syntax tree of your code (R2026a 以降)
`ConcatenatedString`	Represents the `concatenated_string` nodes in the syntax tree of your code (R2026a 以降)
`ConditionalExpression`	Represents the `conditional_expression` nodes in the syntax tree of your code (R2026a 以降)
`DeleteExpression`	Represents the `delete_expression` nodes in the syntax tree of your code (R2026a 以降)
`False`	Represents the `false` nodes in the syntax tree of your code (R2026a 以降)
`FieldExpression`	Represents the `field_expression` nodes in the syntax tree of your code (R2026a 以降)
`FoldExpression`	Represents the `fold_expression` nodes in the syntax tree of your code (R2026a 以降)
`GenericExpression`	Represents the `generic_expression` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmExpression`	Represents the `gnu_asm_expression` nodes in the syntax tree of your code (R2026a 以降)
`LambdaExpression`	Represents the `lambda_expression` nodes in the syntax tree of your code (R2026a 以降)
`NewExpression`	Represents the `new_expression` nodes in the syntax tree of your code (R2026a 以降)
`Null`	Represents the `null` nodes in the syntax tree of your code (R2026a 以降)
`NumberLiteral`	Represents the `number_literal` nodes in the syntax tree of your code (R2026a 以降)
`OffsetofExpression`	Represents the `offsetof_expression` nodes in the syntax tree of your code (R2026a 以降)
`ParameterPackExpansion`	Represents the `parameter_pack_expansion` nodes in the syntax tree of your code (R2026a 以降)
`ParenthesizedExpression`	Represents the `parenthesized_expression` nodes in the syntax tree of your code (R2026a 以降)
`PointerExpression`	Represents the `pointer_expression` nodes in the syntax tree of your code (R2026a 以降)
`RawStringLiteral`	Represents the `raw_string_literal` nodes in the syntax tree of your code (R2026a 以降)
`RequiresClause`	Represents the `requires_clause` nodes in the syntax tree of your code (R2026a 以降)
`RequiresExpression`	Represents the `requires_expression` nodes in the syntax tree of your code (R2026a 以降)
`SizeofExpression`	Represents the `sizeof_expression` nodes in the syntax tree of your code (R2026a 以降)
`StringLiteral`	Represents the `string_literal` nodes in the syntax tree of your code (R2026a 以降)
`SubscriptExpression`	Represents the `subscript_expression` nodes in the syntax tree of your code (R2026a 以降)
`This`	Represents the `this` nodes in the syntax tree of your code (R2026a 以降)
`True`	Represents the `true` nodes in the syntax tree of your code (R2026a 以降)
`UnaryExpression`	Represents the `unary_expression` nodes in the syntax tree of your code (R2026a 以降)
`UpdateExpression`	Represents the `update_expression` nodes in the syntax tree of your code (R2026a 以降)
`UserDefinedLiteral`	Represents the `user_defined_literal` nodes in the syntax tree of your code (R2026a 以降)

構文 - FieldDeclarator

`FieldDeclarator`	Represents the `field_declarator` nodes in the syntax tree of your code (R2026a 以降)
`FieldIdentifier`	Represents the `field_identifier` nodes in the syntax tree of your code (R2026a 以降)
`TemplateMethod`	Represents the `template_method` nodes in the syntax tree of your code (R2026a 以降)

構文 - OtherTypes

`AccessSpecifier`	Represents the `access_specifier` nodes in the syntax tree of your code (R2026a 以降)
`AliasDeclaration`	Represents the `alias_declaration` nodes in the syntax tree of your code (R2026a 以降)
`AlignasQualifier`	Represents the `alignas_qualifier` nodes in the syntax tree of your code (R2026a 以降)
`ArgumentList`	Represents the `argument_list` nodes in the syntax tree of your code (R2026a 以降)
`Attribute`	Represents the `attribute` nodes in the syntax tree of your code (R2026a 以降)
`AttributeDeclaration`	Represents the `attribute_declaration` nodes in the syntax tree of your code (R2026a 以降)
`AttributeSpecifier`	Represents the `attribute_specifier` nodes in the syntax tree of your code (R2026a 以降)
`Auto`	Represents the `auto` nodes in the syntax tree of your code (R2026a 以降)
`BaseClassClause`	Represents the `base_class_clause` nodes in the syntax tree of your code (R2026a 以降)
`BitfieldClause`	Represents the `bitfield_clause` nodes in the syntax tree of your code (R2026a 以降)
`CatchClause`	Represents the `catch_clause` nodes in the syntax tree of your code (R2026a 以降)
`CommaExpression`	Represents the `comma_expression` nodes in the syntax tree of your code (R2026a 以降)
`Comment`	Represents the `comment` nodes in the syntax tree of your code (R2026a 以降)
`ConceptDefinition`	Represents the `concept_definition` nodes in the syntax tree of your code (R2026a 以降)
`ConditionClause`	Represents the `condition_clause` nodes in the syntax tree of your code (R2026a 以降)
`ConstraintConjunction`	Represents the `constraint_conjunction` nodes in the syntax tree of your code (R2026a 以降)
`ConstraintDisjunction`	Represents the `constraint_disjunction` nodes in the syntax tree of your code (R2026a 以降)
`Declaration`	Represents the `declaration` nodes in the syntax tree of your code (R2026a 以降)
`DeclarationList`	Represents the `declaration_list` nodes in the syntax tree of your code (R2026a 以降)
`DefaultMethodClause`	Represents the `default_method_clause` nodes in the syntax tree of your code (R2026a 以降)
`DeleteMethodClause`	Represents the `delete_method_clause` nodes in the syntax tree of your code (R2026a 以降)
`DependentName`	Represents the `dependent_name` nodes in the syntax tree of your code (R2026a 以降)
`ElseClause`	Represents the `else_clause` nodes in the syntax tree of your code (R2026a 以降)
`Enumerator`	Represents the `enumerator` nodes in the syntax tree of your code (R2026a 以降)
`EnumeratorList`	Represents the `enumerator_list` nodes in the syntax tree of your code (R2026a 以降)
`ExplicitFunctionSpecifier`	Represents the `explicit_function_specifier` nodes in the syntax tree of your code (R2026a 以降)
`FieldDeclaration`	Represents the `field_declaration` nodes in the syntax tree of your code (R2026a 以降)
`FieldDeclarationList`	Represents the `field_declaration_list` nodes in the syntax tree of your code (R2026a 以降)
`FieldDesignator`	Represents the `field_designator` nodes in the syntax tree of your code (R2026a 以降)
`FieldInitializer`	Represents the `field_initializer` nodes in the syntax tree of your code (R2026a 以降)
`FieldInitializerList`	Represents the `field_initializer_list` nodes in the syntax tree of your code (R2026a 以降)
`FriendDeclaration`	Represents the `friend_declaration` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmClobberList`	Represents the `gnu_asm_clobber_list` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmGotoList`	Represents the `gnu_asm_goto_list` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmInputOperand`	Represents the `gnu_asm_input_operand` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmInputOperandList`	Represents the `gnu_asm_input_operand_list` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmOutputOperand`	Represents the `gnu_asm_output_operand` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmOutputOperandList`	Represents the `gnu_asm_output_operand_list` nodes in the syntax tree of your code (R2026a 以降)
`GnuAsmQualifier`	Represents the `gnu_asm_qualifier` nodes in the syntax tree of your code (R2026a 以降)
`InitDeclarator`	Represents the `init_declarator` nodes in the syntax tree of your code (R2026a 以降)
`InitializerList`	Represents the `initializer_list` nodes in the syntax tree of your code (R2026a 以降)
`InitializerPair`	Represents the `initializer_pair` nodes in the syntax tree of your code (R2026a 以降)
`InitStatement`	Represents the `init_statement` nodes in the syntax tree of your code (R2026a 以降)
`LambdaCaptureSpecifier`	Represents the `lambda_capture_specifier` nodes in the syntax tree of your code (R2026a 以降)
`LambdaDefaultCapture`	Represents the `lambda_default_capture` nodes in the syntax tree of your code (R2026a 以降)
`LinkageSpecification`	Represents the `linkage_specification` nodes in the syntax tree of your code (R2026a 以降)
`LiteralSuffix`	Represents the `literal_suffix` nodes in the syntax tree of your code (R2026a 以降)
`MsBasedModifier`	Represents the `ms_based_modifier` nodes in the syntax tree of your code (R2026a 以降)
`MsCallModifier`	Represents the `ms_call_modifier` nodes in the syntax tree of your code (R2026a 以降)
`MsDeclspecModifier`	Represents the `ms_declspec_modifier` nodes in the syntax tree of your code (R2026a 以降)
`MsPointerModifier`	Represents the `ms_pointer_modifier` nodes in the syntax tree of your code (R2026a 以降)
`MsRestrictModifier`	Represents the `ms_restrict_modifier` nodes in the syntax tree of your code (R2026a 以降)
`MsSignedPtrModifier`	Represents the `ms_signed_ptr_modifier` nodes in the syntax tree of your code (R2026a 以降)
`MsUnalignedPtrModifier`	Represents the `ms_unaligned_ptr_modifier` nodes in the syntax tree of your code (R2026a 以降)
`MsUnsignedPtrModifier`	Represents the `ms_unsigned_ptr_modifier` nodes in the syntax tree of your code (R2026a 以降)
`NamespaceAliasDefinition`	Represents the `namespace_alias_definition` nodes in the syntax tree of your code (R2026a 以降)
`NamespaceDefinition`	Represents the `namespace_definition` nodes in the syntax tree of your code (R2026a 以降)
`NamespaceIdentifier`	Represents the `namespace_identifier` nodes in the syntax tree of your code (R2026a 以降)
`NestedNamespaceSpecifier`	Represents the `nested_namespace_specifier` nodes in the syntax tree of your code (R2026a 以降)
`NewDeclarator`	Represents the `new_declarator` nodes in the syntax tree of your code (R2026a 以降)
`Noexcept`	Represents the `noexcept` nodes in the syntax tree of your code (R2026a 以降)
`OperatorCast`	Represents the `operator_cast` nodes in the syntax tree of your code (R2026a 以降)
`OptionalParameterDeclaration`	Represents the `optional_parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`OptionalTypeParameterDeclaration`	Represents the `optional_type_parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`ParameterDeclaration`	Represents the `parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`ParameterList`	Represents the `parameter_list` nodes in the syntax tree of your code (R2026a 以降)
`PointerTypeDeclarator`	Represents the `pointer_type_declarator` nodes in the syntax tree of your code (R2026a 以降)
`PreprocArg`	Represents the `preproc_arg` nodes in the syntax tree of your code (R2026a 以降)
`PreprocCall`	Represents the `preproc_call` nodes in the syntax tree of your code (R2026a 以降)
`PreprocDef`	Represents the `preproc_def` nodes in the syntax tree of your code (R2026a 以降)
`PreprocDefined`	Represents the `preproc_defined` nodes in the syntax tree of your code (R2026a 以降)
`PreprocDirective`	Represents the `preproc_directive` nodes in the syntax tree of your code (R2026a 以降)
`PreprocElif`	Represents the `preproc_elif` nodes in the syntax tree of your code (R2026a 以降)
`PreprocElifdef`	Represents the `preproc_elifdef` nodes in the syntax tree of your code (R2026a 以降)
`PreprocElse`	Represents the `preproc_else` nodes in the syntax tree of your code (R2026a 以降)
`PreprocFunctionDef`	Represents the `preproc_function_def` nodes in the syntax tree of your code (R2026a 以降)
`PreprocIf`	Represents the `preproc_if` nodes in the syntax tree of your code (R2026a 以降)
`PreprocIfdef`	Represents the `preproc_ifdef` nodes in the syntax tree of your code (R2026a 以降)
`PreprocInclude`	Represents the `preproc_include` nodes in the syntax tree of your code (R2026a 以降)
`PreprocParams`	Represents the `preproc_params` nodes in the syntax tree of your code (R2026a 以降)
`PureVirtualClause`	Represents the `pure_virtual_clause` nodes in the syntax tree of your code (R2026a 以降)
`RawStringContent`	Represents the `raw_string_content` nodes in the syntax tree of your code (R2026a 以降)
`RawStringDelimiter`	Represents the `raw_string_delimiter` nodes in the syntax tree of your code (R2026a 以降)
`RefQualifier`	Represents the `ref_qualifier` nodes in the syntax tree of your code (R2026a 以降)
`RequirementSeq`	Represents the `requirement_seq` nodes in the syntax tree of your code (R2026a 以降)
`SimpleRequirement`	Represents the `simple_requirement` nodes in the syntax tree of your code (R2026a 以降)
`StatementIdentifier`	Represents the `statement_identifier` nodes in the syntax tree of your code (R2026a 以降)
`StaticAssertDeclaration`	Represents the `static_assert_declaration` nodes in the syntax tree of your code (R2026a 以降)
`StorageClassSpecifier`	Represents the `storage_class_specifier` nodes in the syntax tree of your code (R2026a 以降)
`SubscriptArgumentList`	Represents the `subscript_argument_list` nodes in the syntax tree of your code (R2026a 以降)
`SubscriptDesignator`	Represents the `subscript_designator` nodes in the syntax tree of your code (R2026a 以降)
`SubscriptRangeDesignator`	Represents the `subscript_range_designator` nodes in the syntax tree of your code (R2026a 以降)
`SystemLibString`	Represents the `system_lib_string` nodes in the syntax tree of your code (R2026a 以降)
`TemplateArgumentList`	Represents the `template_argument_list` nodes in the syntax tree of your code (R2026a 以降)
`TemplateDeclaration`	Represents the `template_declaration` nodes in the syntax tree of your code (R2026a 以降)
`TemplateInstantiation`	Represents the `template_instantiation` nodes in the syntax tree of your code (R2026a 以降)
`TemplateParameterList`	Represents the `template_parameter_list` nodes in the syntax tree of your code (R2026a 以降)
`TemplateTemplateParameterDeclaration`	Represents the `template_template_parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`ThrowSpecifier`	Represents the `throw_specifier` nodes in the syntax tree of your code (R2026a 以降)
`TrailingReturnType`	Represents the `trailing_return_type` nodes in the syntax tree of your code (R2026a 以降)
`TypeDefinition`	Represents the `type_definition` nodes in the syntax tree of your code (R2026a 以降)
`TypeDescriptor`	Represents the `type_descriptor` nodes in the syntax tree of your code (R2026a 以降)
`TypeParameterDeclaration`	Represents the `type_parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`TypeQualifier`	Represents the `type_qualifier` nodes in the syntax tree of your code (R2026a 以降)
`TypeRequirement`	Represents the `type_requirement` nodes in the syntax tree of your code (R2026a 以降)
`UsingDeclaration`	Represents the `using_declaration` nodes in the syntax tree of your code (R2026a 以降)
`VariadicDeclarator`	Represents the `variadic_declarator` nodes in the syntax tree of your code (R2026a 以降)
`VariadicParameter`	Represents the `variadic_parameter` nodes in the syntax tree of your code (R2026a 以降)
`VariadicParameterDeclaration`	Represents the `variadic_parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`VariadicTypeParameterDeclaration`	Represents the `variadic_type_parameter_declaration` nodes in the syntax tree of your code (R2026a 以降)
`Virtual`	Represents the `virtual` nodes in the syntax tree of your code (R2026a 以降)
`VirtualSpecifier`	Represents the `virtual_specifier` nodes in the syntax tree of your code (R2026a 以降)

構文 - Statement

`AttributedStatement`	Represents the `attributed_statement` nodes in the syntax tree of your code (R2026a 以降)
`BreakStatement`	Represents the `break_statement` nodes in the syntax tree of your code (R2026a 以降)
`CaseStatement`	Represents the `case_statement` nodes in the syntax tree of your code (R2026a 以降)
`CompoundStatement`	Represents the `compound_statement` nodes in the syntax tree of your code (R2026a 以降)
`ContinueStatement`	Represents the `continue_statement` nodes in the syntax tree of your code (R2026a 以降)
`CoReturnStatement`	Represents the `co_return_statement` nodes in the syntax tree of your code (R2026a 以降)
`CoYieldStatement`	Represents the `co_yield_statement` nodes in the syntax tree of your code (R2026a 以降)
`DoStatement`	Represents the `do_statement` nodes in the syntax tree of your code (R2026a 以降)
`ExpressionStatement`	Represents the `expression_statement` nodes in the syntax tree of your code (R2026a 以降)
`ForRangeLoop`	Represents the `for_range_loop` nodes in the syntax tree of your code (R2026a 以降)
`ForStatement`	Represents the `for_statement` nodes in the syntax tree of your code (R2026a 以降)
`GotoStatement`	Represents the `goto_statement` nodes in the syntax tree of your code (R2026a 以降)
`IfStatement`	Represents the `if_statement` nodes in the syntax tree of your code (R2026a 以降)
`LabeledStatement`	Represents the `labeled_statement` nodes in the syntax tree of your code (R2026a 以降)
`ReturnStatement`	Represents the `return_statement` nodes in the syntax tree of your code (R2026a 以降)
`SehLeaveStatement`	Represents the `seh_leave_statement` nodes in the syntax tree of your code (R2026a 以降)
`SehTryStatement`	Represents the `seh_try_statement` nodes in the syntax tree of your code (R2026a 以降)
`Statement`	Represents the `statement` nodes in the syntax tree of your code (R2026a 以降)
`SwitchStatement`	Represents the `switch_statement` nodes in the syntax tree of your code (R2026a 以降)
`ThrowStatement`	Represents the `throw_statement` nodes in the syntax tree of your code (R2026a 以降)
`TryStatement`	Represents the `try_statement` nodes in the syntax tree of your code (R2026a 以降)
`WhileStatement`	Represents the `while_statement` nodes in the syntax tree of your code (R2026a 以降)

構文 - TypeDeclarator

`PrimitiveType`	Represents the `primitive_type` nodes in the syntax tree of your code (R2026a 以降)
`TypeIdentifier`	Represents the `type_identifier` nodes in the syntax tree of your code (R2026a 以降)

構文 - TypeSpecifier

`ClassSpecifier`	Represents the `class_specifier` nodes in the syntax tree of your code (R2026a 以降)
`Decltype`	Represents the `decltype` nodes in the syntax tree of your code (R2026a 以降)
`DependentType`	Represents the `dependent_type` nodes in the syntax tree of your code (R2026a 以降)
`EnumSpecifier`	Represents the `enum_specifier` nodes in the syntax tree of your code (R2026a 以降)
`PlaceholderTypeSpecifier`	Represents the `placeholder_type_specifier` nodes in the syntax tree of your code (R2026a 以降)
`SizedTypeSpecifier`	Represents the `sized_type_specifier` nodes in the syntax tree of your code (R2026a 以降)
`StructSpecifier`	Represents the `struct_specifier` nodes in the syntax tree of your code (R2026a 以降)
`TemplateType`	Represents the `template_type` nodes in the syntax tree of your code (R2026a 以降)
`UnionSpecifier`	Represents the `union_specifier` nodes in the syntax tree of your code (R2026a 以降)

構文 - Norm

Norm Contains predicates that check if a keyword is a C or C++ keyword (R2026a 以降)

トピック

入門

Get Started with Polyspace Query Language
Create a new coding standard and a simple coding rule using Polyspace Query Language.

Polyspace Query Language の構文

General Polyspace Query Language Syntax
Learn the general PQL syntax.
Polyspace Query Language Syntax for Creating User-Defined Defects
Learn the necessary PQL syntax for creating new user-defined defects.
Polyspace Query Language Syntax for Creating User-Defined Coding Standard
Learn the syntax for creating new user defined coding standards.
Overview of Semantic Classes in Polyspace Query Language
Summary of PQL classes that are designed to detect semantic issues in your code.
Overview of Syntactic Classes in Polyspace Query Language
Summary of PQL classes that are designed to detect syntactic issues in your code.

独自の規約の作成

Create User-Defined Coding Standard by Using Polyspace Query Language

Create new user defined defects and use these defects along with existing bug Finder checkers to create a user-defined coding standard in a sharable .pschk file.
- Find Polyspace Bug Finder Checkers That Map to Coding Rules in User-Defined Coding Standard
- Check for Violations of User-Defined Coding Standard Using Polyspace Bug Finder
Best Practices for Creating User-Defined Coding Standards
Organize user-defined coding standards in modular packages for easier maintenance.

独自の欠陥の作成

Detect Semantic Issues Using Polyspace Query Language Semantic Classes
Create a new user-defined defect that checks for a semantic issue.
Detect Syntactic Issues Using Polyspace Query Language Syntactic Classes
Create a new user-defined defect that checks for a syntactic issue.
Implement Exceptions in User-Defined Defects
Define exceptions to your defects by using the except statement.
Unit Test User-Defined Defects
Run unit tests on defects or rules that passes if the expected violations are present.
Choose Between Semantic and Syntactic Classes
Identify which PQL classes fit your use cases.
Traverse Syntax Tree Using Polyspace Query Language
Learn how you can use PQL to traverse the syntax tree and find a specific syntax node.
Best Practice for Defining User-Defined Defect Checkers
Create performant user-defined defects that are easier to test and maintain.

注目の例

独自のコーディングルールとコーディング規約の作成

関数

クラス

セマンティック型

Lang

一般的に使用される構文の型

構文 - syntax

構文 - AbstractDeclarator

構文 - Declarator

構文 - Expression

構文 - FieldDeclarator

構文 - OtherTypes

構文 - Statement

構文 - TypeDeclarator

構文 - TypeSpecifier

構文 - Norm

トピック

入門

Polyspace Query Language の構文

独自の規約の作成

独自の欠陥の作成

注目の例

Detect typedef of typedefs

Detect Functions with Return Immediately Discarded

Detect Implicit Casts with Precision Loss

Detect Multiline Comments That Start on an Expression Line

Detect Use of std Namespace in using Declaration

独自のコーディング ルールとコーディング規約の作成

関数

クラス

セマンティック型

Lang

一般的に使用される構文の型

構文 - syntax

構文 - AbstractDeclarator

構文 - Declarator

構文 - Expression

構文 - FieldDeclarator

構文 - OtherTypes

構文 - Statement

構文 - TypeDeclarator

構文 - TypeSpecifier

構文 - Norm

トピック

入門

Polyspace Query Language の構文

独自の規約の作成

独自の欠陥の作成

注目の例

Detect typedef of typedefs

Detect Functions with Return Immediately Discarded

Detect Implicit Casts with Precision Loss

Detect Multiline Comments That Start on an Expression Line

Detect Use of std Namespace in using Declaration

独自のコーディングルールとコーディング規約の作成