Cpp.True Class

Namespace: Cpp
Superclasses: AstNodeProperties

Represents the true nodes in the syntax tree of your code

Since R2026a

Description

The PQL class Cpp.True represents the node true in the syntax tree of your code.

// example.cpp
#include <iostream>

bool foo() {
    return true;
}

bool bar = true;

int main() {
    std::cout << std::boolalpha << bar << "\n";
    return 0;
}

The code shows two true tokens: one in return true; and one in bool bar = true; which correspond to Cpp.True nodes in the syntax tree.

Predicates

expand all

Type

Type	Raisable	Printable
`True`	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 True &true)`	Matches a `Cpp.True` node and returns it as an output variable. Use this to directly find `true` tokens.	This PQL defect checks for `true` literal tokens in the code. defect TrueIsFound = when Cpp.True.is(&t) and t.nodeText(&txt) raise "Found true literal: \"{txt}\"" on t In this C++ code, the defect finds direct `true` literal occurrences such as `return true` and `bool bar = true`. // true_is_example.cpp bool foo() { return true; } bool bar = true; int main() { return 0; }
`cast(Cpp.Node.Node node, required True &cast)`	Checks whether a generic `Cpp.Node` value is specifically a `Cpp.True` node and returns it as an output variable. Use this when you have a node as `Node` and want to treat it as `True`.	This PQL defect checks for a `true` literal in a return statement by casting the descendant nodes of `ReturnStatement` to `True` defect TrueCastFromReturn = when Cpp.ReturnStatement.is(&rs) and rs.getADescendant(&node) and Cpp.True.cast(node, &t) and t.nodeText(&txt) raise "Return contains true literal: \"{txt}\"" on t In this C++ code, the defect checks return statements that return the `true` literal such as `return true;`. // true_cast_example.cpp bool foo() { return true; } bool bar() { return false; } int main() { return 0; }
`isa(Cpp.Node.Node node)`	Tests whether a generic `Cpp.Node` is a `Cpp.True` node without binding it. Use this when you only need a boolean test.	This PQL defect checks for `true` literals by checking the descendant nodes of a return statement. defect TrueIsa = when Cpp.ReturnStatement.is(&rs) and rs.getADescendant(&node) and Cpp.True.isa(node) raise "Return contains true literal: \"{txt}\"" on rs In this C++ code, the defect checks return statements that return the `true` literal such as `return true;`. // true_isa_example.cpp bool bar = true; int x = 42; bool foo(){return true;} int main() { return 0; }

is(required True &true)

Matches a Cpp.True node and returns it as an output variable. Use this to directly find true tokens.

This PQL defect checks for true literal tokens in the code.

defect TrueIsFound =
when
    Cpp.True.is(&t)
    and t.nodeText(&txt)
raise "Found true literal: \"{txt}\""
on t

In this C++ code, the defect finds direct true literal occurrences such as return true and bool bar = true.

// true_is_example.cpp
bool foo() { return true; }
bool bar = true;
int main() { return 0; }

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

Checks whether a generic Cpp.Node value is specifically a Cpp.True node and returns it as an output variable. Use this when you have a node as Node and want to treat it as True.

This PQL defect checks for a true literal in a return statement by casting the descendant nodes of ReturnStatement to True

defect TrueCastFromReturn =
when
    Cpp.ReturnStatement.is(&rs)
    and rs.getADescendant(&node)
    and Cpp.True.cast(node, &t)
    and t.nodeText(&txt)
raise "Return contains true literal: \"{txt}\""
on t

In this C++ code, the defect checks return statements that return the true literal such as return true;.

// true_cast_example.cpp
bool foo() { return true; }   
bool bar() { return false; }
int main() { return 0; }

isa(Cpp.Node.Node node)

Tests whether a generic Cpp.Node is a Cpp.True node without binding it. Use this when you only need a boolean test.

This PQL defect checks for true literals by checking the descendant nodes of a return statement.

defect TrueIsa =
when
    Cpp.ReturnStatement.is(&rs)
    and rs.getADescendant(&node)
    and Cpp.True.isa(node)    
raise "Return contains true literal: \"{txt}\""
on rs

In this C++ code, the defect checks return statements that return the true literal such as return true;.

// true_isa_example.cpp
bool bar = true;        
int x = 42;
bool foo(){return true;}
int main() { return 0; }

Version History

Introduced in R2026a