Ast.StorageClassSpecifier Class

Namespace: Ast
Superclasses: AstNodeProperties

Represents the storage_class_specifier nodes in the syntax tree of your code

Since R2026a

Description

The PQL class Cpp.StorageClassSpecifier represents the node storage_class_specifier in the syntax tree of your code.

static int x = 0;
extern int y;
register int z;

int main() {
    x = 1;
    y = 2;
    z = 3;
    return 0;
}

The three declarations static int x, extern int y, and register int z each contain a storage_class_specifier node which corresponds to Cpp.StorageClassSpecifier in PQL.

Predicates

expand all

Type

Type	Raisable	Printable
`StorageClassSpecifier`	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(required StorageClassSpecifier &spec)`	Match a `storage_class_specifier` node and returns it as `spec`. Use this to directly find storage-class keywords like `static`, `extern`, or `register`.	This PQL defect checks for `storage_class_specifier` nodes in declarations. defect find_storage_class = when Cpp.StorageClassSpecifier.is(&spec) and spec.nodeText(&txt) raise "Found storage class: \"{txt}\"" on spec rule StorageClassCheck = { find_storage_class } In this C++ code, the defect finds declarations that use `static`, `extern`, or `register` storage-class specifiers. static int s_val = 0; extern int e_val; register int r_val; int main() { return s_val + e_val + r_val; }
`cast(Cpp.Node.Node node, required StorageClassSpecifier &cast)`	Check whether a given `Node` value refers to a `storage_class_specifier` and if so returns it as `cast`. Use when you already have a generic node and need to treat it as a `storage_class_specifier`.	This PQL defect checks for a node that can be converted to a `storage_class_specifier` node. defect cast_storage_class = when Cpp.Node.is(&,&,&) and Cpp.StorageClassSpecifier.cast(node, &spec) and spec.nodeText(&txt) raise "Cast succeeded to StorageClassSpecifier: \"{txt}\"" on spec rule CastCheck = { cast_storage_class } In this C++ code, the defect converts a concrete finds a storage specifier by casting. extern int global_var; int main() { global_var = 1; return 0; }
`isa(Cpp.Node.Node node)`	Return true when the given `Node` is a `storage_class_specifier`. Use this in negation or conditional checks when you only have a generic node.	This PQL defect checks whether a generic node is a `storage_class_specifier` and reports when it is not. defect isa_not_storage = when Cpp.Node.is(&node,&,&,&) and not Cpp.StorageClassSpecifier.isa(node) raise "Node failed isa check" on node rule IsaCheck = { isa_not_storage } In this C++ code, the defect converts a concrete finds a storage specifier by boolean check. register int counter = 0; int main() { counter++; return 0; }

is(required StorageClassSpecifier &spec)

Match a storage_class_specifier node and returns it as spec. Use this to directly find storage-class keywords like static, extern, or register.

This PQL defect checks for storage_class_specifier nodes in declarations.

defect find_storage_class =
    when
        Cpp.StorageClassSpecifier.is(&spec)
        and spec.nodeText(&txt)
    raise "Found storage class: \"{txt}\""
    on spec

rule StorageClassCheck = { find_storage_class }

In this C++ code, the defect finds declarations that use static, extern, or register storage-class specifiers.

static int s_val = 0;
extern int e_val;
register int r_val;

int main() { return s_val + e_val + r_val; }

cast(Cpp.Node.Node node, required StorageClassSpecifier &cast)

Check whether a given Node value refers to a storage_class_specifier and if so returns it as cast. Use when you already have a generic node and need to treat it as a storage_class_specifier.

This PQL defect checks for a node that can be converted to a storage_class_specifier node.

defect cast_storage_class =
    when
        Cpp.Node.is(&,&,&)
        and Cpp.StorageClassSpecifier.cast(node, &spec)
        and spec.nodeText(&txt)
    raise "Cast succeeded to StorageClassSpecifier: \"{txt}\""
    on spec

rule CastCheck = { cast_storage_class }

In this C++ code, the defect converts a concrete finds a storage specifier by casting.

extern int global_var;
int main() {
    global_var = 1;
    return 0;
}

isa(Cpp.Node.Node node)

Return true when the given Node is a storage_class_specifier. Use this in negation or conditional checks when you only have a generic node.

This PQL defect checks whether a generic node is a storage_class_specifier and reports when it is not.

defect isa_not_storage =
    when
        Cpp.Node.is(&node,&,&,&)
        and not Cpp.StorageClassSpecifier.isa(node)
    raise "Node failed isa check"
    on node

rule IsaCheck = { isa_not_storage }

In this C++ code, the defect converts a concrete finds a storage specifier by boolean check.

register int counter = 0;
int main() {
    counter++;
    return 0;
}

Version History

Introduced in R2026a