Qualified_Type

class Qualified_Type (abstract, logical)

Direct parents:

• inherits Unnamed_Type

Ancestor classes and implemented interfaces:

Declarative_Node, Logical_IR_Root, Symbol, Type, Unnamed_Type

Direct child classes:

• subclass Flags_Qualified_Type

• subclass Named_Address_Space_Qualified_Type

Field	Kind	Type	Description
Unqualified_Type	semantic	class Type
Qualifiers	attribute	bitfield Type_Qualifiers_Type	a set of flags that can appear
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