Dependent_Bounded_Array_Type

class Dependent_Bounded_Array_Type (concrete, logical)

Direct parents:

• inherits Fixed_Length_Array_Type

Ancestor classes and implemented interfaces:

Array_Type, Declarative_Node, Fixed_Length_Array_Type, Logical_IR_Root, Symbol, Type, Unnamed_Type

Field	Kind	Type	Description
Mangled_Upper_Bound	attribute	builtin String	The dependent upper bound, can be empty if the bound is deduced from an initializer containing a pack expansion
Element_Type (from Array_Type)	semantic	class Type	The type of the elements.
Min (from Array_Type)	attribute	builtin Natural
Max (from Array_Type)	attribute	builtin Integer	if Max is unknown, -1
Size (from Type)	attribute	builtin Natural
Alignment_Log (from Type)	attribute	builtin Byte	log2 of the type’s alignment
Alignment (from Type)	attribute	builtin Natural	Alignment of the type (must be a power of 2)
Size_In_Bits (from Type)	attribute	builtin UInt64	Size of the type, in bits.
Parent (from Logical_IR_Root)	semantic	class Logical_IR_Root
Physical (from Logical_IR_Root)	semantic to physical	class Physical_IR_Root