Cpp.CompoundRequirement Class

Namespace: Cpp
Superclasses: AstNodeProperties

Represents the compound_requirement nodes in the syntax tree of your code

Since R2026a

Description

CompoundRequirement class represents the C++ syntax node compound_requirement in your code and contains predicates to query properties and children of this node.

Predicates

expand all

Type

Type	Raisable	Printable
`CompoundRequirement`	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 CompoundRequirement &cr)`	Finds syntax nodes of the type `CompoundRequirement` in your C++ code and returns them as `cr`. A `CompoundRequirement` represents a compound requirement used in C++20 concepts.
`isa(Cpp.Node.Node node)`	Checks if `node` is a `CompoundRequirement`. Use this relation if you want to negate the condition (for example: `not Cpp.CompoundRequirement.isa(n)`).
`cast(Cpp.Node.Node node, required CompoundRequirement &cast)`	Finds syntax nodes of the type `CompoundRequirement` from the nodes in `node`. Retrieval occurs if `node` is compatible with the `CompoundRequirement` type. Use this relation if you need further `CompoundRequirement` properties.
`expression(CompoundRequirement self, Cpp.Node.Node &child)`	Matches the expression part of a compound requirement. For example, in `{ x + y } -> int`, this predicate matches the expression `x + y`.
`trailing_return_type(CompoundRequirement self, Cpp.Node.Node &child)`	Matches the trailing return type of a compound requirement. For example, in `{ x + y } -> int`, this predicate matches the `-> int` part.
`isEnclosedInCompoundRequirement(Cpp.Node.Node child)`	Checks if `child` appears inside a `CompoundRequirement`.
`getEnclosingCompoundRequirement(Cpp.Node.Node child, required CompoundRequirement &parent)`	Finds the nearest enclosing `CompoundRequirement` ancestor of `child` and returns it as `parent`.

Version History

Introduced in R2026a