Requires_Expression

class Requires_Expression (concrete, physical)

C++20 requires expression

Implemented interfaces:

• implements End_Information

• implements Parameter_List_Interface

Direct parents:

• inherits Expression

Ancestor classes and implemented interfaces:

End_Information, Expression, Linked_Node, Operation, Parameter_List_Interface, Physical_IR_Root

Field	Kind	Type	Description
Requirements	syntactic	list of class Operation
Its_Type (from Expression)	semantic to logical	class Type	type of the expression’s result as denoted by the type’s declaration
Is_LValue (from Expression)	attribute	builtin Boolean	Whether this expression is classified as lvalue.
Is_XValue (from Expression)	attribute	builtin Boolean	Whether this expression is classified as C++11 xvalue.
Converted_To_PRValue (from Expression)	attribute	builtin Boolean	Whether this expression is an lvalue or xvalue that is being implicitly converted to a prvalue.
Start_Position_Index (from Expression)	attribute	builtin SLoc_Index_Type
End_Position_Index (from Expression)	attribute	builtin SLoc_Index_Type
Start_Original_Position (from Expression)	attribute	builtin SLoc
Start_Position (from Expression)	attribute	builtin SLoc
End_Original_Position (from Expression)	attribute	builtin SLoc
End_Position (from End_Information)	attribute	builtin SLoc
Logical (from Linked_Node)	semantic to logical	class Logical_IR_Root	cross-reference into LIR
Parent (from Physical_IR_Root)	semantic	class Physical_IR_Root	The parent of the node in the syntactic forest.
Original_Position_Index (from Physical_IR_Root)	attribute	builtin SLoc_Index_Type	Internal source location info. If from macro expansion, this location is inside the macro body or macro argument
Original_Position (from Physical_IR_Root)	attribute	builtin SLoc	Source location. If from macro expansion, this location is inside the macro body or macro argument
Position (from Physical_IR_Root)	attribute	builtin SLoc	Source location. If from macro expansion, this location is that of the macro expansion
Artificial (from Physical_IR_Root)	attribute	builtin Boolean	Whether this node was compiler-generated
Parenthesized (from Physical_IR_Root)	attribute	builtin Boolean	Whether this node was enclosed in parentheses (used for expressions)
In_Template_Instance (from Physical_IR_Root)	attribute	builtin Boolean	Whether this node is inside a template instance
Enclosing_Template_Instance (from Physical_IR_Root)	semantic	class Physical_IR_Root	Innermost enclosing template instance if In_Template_Instance is true
Original_End_Position_Index (from End_Information)	attribute	builtin SLoc_Index_Type	Internal source location info of the end of the construct. If from macro expansion, this location is inside the macro body or macro argument
Original_End_Position (from End_Information)	attribute	builtin SLoc	Source location of the end of the construct. If from macro expansion, this location is inside the macro body or macro argument
Parameters (from Parameter_List_Interface)	syntactic	list of class Possibly_Attributed_Parameter_Interface	All parameters, including the ellipsis, but excluding this Usually some Parameter_Definitions, but could also be an Attributed_Definition. Use skip_decorators() to get the parameter itself.