Ast.VariadicTypeParameterDeclaration Class

Namespace: Ast
Superclasses: AstNodeProperties

Represents the variadic_type_parameter_declaration nodes in the syntax tree of your code

Since R2026a

Description

The PQL class VariadicTypeParameterDeclaration represents the node variadic_type_parameter_declaration in the syntax tree of your code.

Predicates

expand all

Type

Type	Raisable	Printable
`VariadicTypeParameterDeclaration`	Yes	No

Syntaxes

This class defines these predicates that act on the objects of this class. In addition, objects of this class can access the predicates defined by the base class AstNodeProperties. An object of this class is an object of AstNodeProperties class.

Predicates Description Example

Predicates	Description	Example
`is(VariadicTypeParameterDeclaration &decl)`	Finds the `variadic_type_parameter_declaration` node.	This example demonstrates using the `VariadicTypeParameterDeclaration.is` predicate to find variadic template type parameters like `typename... Args` in a C++ snippet. Example C++ code that would trigger the rule: template<typename... Args> struct Tuple { }; rule CheckVariadicTypeParamIs = { defectVariadicIs } defect defectVariadicIs = when Cpp.VariadicTypeParameterDeclaration.is(&decl) and decl.nodeText(&txt) raise "Found variadic type parameter: "{txt}""
`isa(Cpp.Node.Node node, VariadicTypeParameterDeclaration &cast)`	Checks if a node is `variadic_type_parameter_declaration`.	This example demonstrates using the `VariadicTypeParameterDeclaration.is` predicate to find variadic template type parameters like `typename... Args` in a C++ snippet. Example C++ code that would trigger the rule: template<typename... Args> struct Tuple { }; rule CheckVariadicTypeParamIs = { defectVariadicIs } defect defectVariadicIs = when Cpp.VariadicTypeParameterDeclaration.is(&decl) and decl.nodeText(&txt) raise "Found variadic type parameter: "{txt}""
`typeIdentifier(VariadicTypeParameterDeclaration self, Cpp.Node.Node &child)`	The `typeIdentifier` predicate retrieves the identifier node for the variadic type parameter in a `VariadicTypeParameterDeclaration`. Example C++ code: template<typename... Args> void foo(Args... args) { } Equivalent tree-sitter node: variadic_type_parameter_declaration The `typeIdentifier` predicate matches the node representing `Args` in the variadic template parameter declaration. This allows static analysis to identify and examine the name of the variadic type parameter.	This example demonstrates using `VariadicTypeParameterDeclaration.typeIdentifier` to find the identifier of a variadic template type parameter (e.g. `"typename... Ts"`) in a simple C++ snippet. C++ example that would trigger the rule: template<typename... Ts> struct S { }; The rule locates the `VariadicTypeParameterDeclaration` node and binds its type identifier (the `'Ts'`). rule CheckTypeIdentifier = { defectTypeIdentifier } defect defectTypeIdentifier = when Cpp.VariadicTypeParameterDeclaration.is(&decl) and decl.typeIdentifier(&id) and id.nodeText(&txt) raise "VariadicTypeParameterDeclaration.typeIdentifier matched: \\"{txt}\\"" on decl

is(VariadicTypeParameterDeclaration &decl)

Finds the variadic_type_parameter_declaration node.

This example demonstrates using the VariadicTypeParameterDeclaration.is predicate to find variadic template type parameters like typename... Args in a C++ snippet. Example C++ code that would trigger the rule:

template<typename... Args>
struct Tuple { };

rule CheckVariadicTypeParamIs = { defectVariadicIs }
defect defectVariadicIs =
    when
        Cpp.VariadicTypeParameterDeclaration.is(&decl)
        and decl.nodeText(&txt)
    raise "Found variadic type parameter: "{txt}""

isa(Cpp.Node.Node node, VariadicTypeParameterDeclaration &cast)

Checks if a node is variadic_type_parameter_declaration.

template<typename... Args>
struct Tuple { };

rule CheckVariadicTypeParamIs = { defectVariadicIs }
defect defectVariadicIs =
    when
        Cpp.VariadicTypeParameterDeclaration.is(&decl)
        and decl.nodeText(&txt)
    raise "Found variadic type parameter: "{txt}""

typeIdentifier(VariadicTypeParameterDeclaration self, Cpp.Node.Node &child)

The typeIdentifier predicate retrieves the identifier node for the variadic type parameter in a VariadicTypeParameterDeclaration.

Example C++ code:

template<typename... Args>
void foo(Args... args) { }

Equivalent tree-sitter node:

variadic_type_parameter_declaration

The typeIdentifier predicate matches the node representing Args in the variadic template parameter declaration. This allows static analysis to identify and examine the name of the variadic type parameter.

This example demonstrates using VariadicTypeParameterDeclaration.typeIdentifier to find the identifier of a variadic template type parameter (e.g. "typename... Ts") in a simple C++ snippet. C++ example that would trigger the rule:

template<typename... Ts>
struct S { };

The rule locates the VariadicTypeParameterDeclaration node and binds its type identifier (the 'Ts').

rule CheckTypeIdentifier = { defectTypeIdentifier }
defect defectTypeIdentifier =
    when
        Cpp.VariadicTypeParameterDeclaration.is(&decl)
        and decl.typeIdentifier(&id)
        and id.nodeText(&txt)
    raise "VariadicTypeParameterDeclaration.typeIdentifier matched: \\"{txt}\\""
    on decl

Version History

Introduced in R2026a