Generic_Type_Definition

class Generic_Type_Definition (concrete, physical)

Decorator class for generic types

Implemented interfaces:
Direct parents:
Ancestor classes and implemented interfaces:

Declaration, Decorator_Interface, Definition, Definition_Decorator_Interface, Generic_Entity_Definition, Generic_Type_Parameters_Interface, Linked_Node, Operation, Physical_IR_Root, Possibly_Attributed_Type_Interface, Type_Interface

Field

Kind

Type

Description

Logical (from Linked_Node)

semantic to logical

class Managed_Record_Type

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

Decorated_Definition (from Definition_Decorator_Interface)

syntactic

class Definition

the real definition, or another decorator for it

Type_Parameters (from Generic_Type_Parameters_Interface)

syntactic

list of class Generic_Type_Parameter_Definition

see Q.1.3 and T.1.3: Both variant and invariant type parameter lists

Type_Constraints (from Generic_Type_Parameters_Interface)

syntactic

list of class Generic_Where_Clause_Definition

where clauses for type parameters