Ast.StatementIdentifier Class

Namespace: Ast
Superclasses: AstNodeProperties

Represents the statement_identifier nodes in the syntax tree of your code

Since R2026a

Description

The PQL class StatementIdentifier represents the node statement_identifier in the syntax tree of your code.

Predicates

Type

Type	Raisable	Printable
`StatementIdentifier`	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(StatementIdentifier &ident)`	The `is` predicate identifies a `statement_identifier` node that corresponds to a label in statements like labeled loops or goto labels. Example C++ code: foo: for (int i = 0; i < 10; ++i) { } The `is` predicate matches the `statement_identifier` node for `foo`, recognizing it as a label in the labeled statement.	This example demonstrates using the `StatementIdentifier.is` predicate to match a statement label in `C++` (a statement identifier such as a loop label). The `C++` snippet below will trigger the rule because it contains a labeled statement `foo:`. rule CheckStatementIdentifierIs = { defectStatementIdentifierIs } defect defectStatementIdentifierIs = when Cpp.StatementIdentifier.is(&ident) and ident.nodeText(&txt) raise "StatementIdentifier.is matched: "{txt}"" on ident
`isa(Cpp.Node.Node node, StatementIdentifier &cast)`	The `is` predicate identifies a `statement_identifier` node that corresponds to a label in statements like labeled loops or goto labels. Example C++ code: foo: for (int i = 0; i < 10; ++i) { } The `is` predicate matches the `statement_identifier` node for `foo`, recognizing it as a label in the labeled statement.	This example demonstrates using the `StatementIdentifier.is` predicate to match a statement label in `C++` (a statement identifier such as a loop label). The `C++` snippet below will trigger the rule because it contains a labeled statement `foo:`. rule CheckStatementIdentifierIs = { defectStatementIdentifierIs } defect defectStatementIdentifierIs = when Cpp.StatementIdentifier.is(&ident) and ident.nodeText(&txt) raise "StatementIdentifier.is matched: "{txt}"" on ident

is(StatementIdentifier &ident)

The is predicate identifies a statement_identifier node that corresponds to a label in statements like labeled loops or goto labels.

Example C++ code:

foo: for (int i = 0; i < 10; ++i) { }

The is predicate matches the statement_identifier node for foo, recognizing it as a label in the labeled statement.

This example demonstrates using the StatementIdentifier.is predicate to match a statement label in C++ (a statement identifier such as a loop label). The C++ snippet below will trigger the rule because it contains a labeled statement foo:.

rule CheckStatementIdentifierIs = { defectStatementIdentifierIs }
defect defectStatementIdentifierIs =
    when
        Cpp.StatementIdentifier.is(&ident)
        and ident.nodeText(&txt)
    raise "StatementIdentifier.is matched: "{txt}""
    on ident

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

The is predicate identifies a statement_identifier node that corresponds to a label in statements like labeled loops or goto labels.

Example C++ code:

foo: for (int i = 0; i < 10; ++i) { }

The is predicate matches the statement_identifier node for foo, recognizing it as a label in the labeled statement.

rule CheckStatementIdentifierIs = { defectStatementIdentifierIs }
defect defectStatementIdentifierIs =
    when
        Cpp.StatementIdentifier.is(&ident)
        and ident.nodeText(&txt)
    raise "StatementIdentifier.is matched: "{txt}""
    on ident

Version History

Introduced in R2026a