Cpp.ConceptDefinition Class

Namespace: Cpp
Superclasses: AstNodeProperties

Represents the concept_definition nodes in the syntax tree of your code

Since R2026a

Description

The PQL class ConceptDefinition represents the node concept_definition in the syntax tree of your code.

Predicates

Type

Type	Raisable	Printable
`ConceptDefinition`	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
`is(required ConceptDefinition &conceptDefinition)`	Finds syntax nodes of the type `ConceptDefinition` in your C++ code and returns them as `conceptDefinition`. For example, in `concept Addable = requires(T a, T b) { a + b; };`, this predicate matches the concept definition node for the whole definition.
`isa(Cpp.Node.Node node)`	Checks if `node` is a `ConceptDefinition`. Use this relation if you want to negate the condition (for example: `not Cpp.ConceptDefinition.isa(n)`).
`cast(Cpp.Node.Node node, required ConceptDefinition &cast)`	Finds syntax nodes of the type `ConceptDefinition` from the nodes in `node`. Retrieval occurs if `node` is compatible with the `ConceptDefinition` type. Use this relation if you need further `ConceptDefinition` properties.
`name(ConceptDefinition self, Cpp.Node.Node &child)`	Matches the concept name. For example, in `concept Addable = ...;`, this predicate matches `Addable`.
`expression(ConceptDefinition self, Cpp.Node.Node &child)`	Matches the defining expression of the concept. For example, in `concept Addable = requires(T a, T b) { a + b; };`, this predicate matches the `requires(...){...}` expression.
`isEnclosedInConceptDefinition(Cpp.Node.Node child)`	Checks if `child` appears inside a `ConceptDefinition`.
`getEnclosingConceptDefinition(Cpp.Node.Node child, required ConceptDefinition &parent)`	Finds the nearest enclosing `ConceptDefinition` ancestor of `child` and returns it as `parent`.

Version History

Introduced in R2026a