Class_Type_Interface

interface Class_Type_Interface (physical)

Direct parents:

• inherits Record_Type_Interface

Inherited interfaces:

Record_Type_Interface, Composite_Type_Interface, Type_Interface, Possibly_Attributed_Type_Interface

Direct implementations:

• class Class_Type_Declaration

• class Class_Type_Definition

• class Interface_Class_Type_Declaration

• class Interface_Class_Type_Definition

• class Ref_Class_Type_Declaration

• class Ref_Class_Type_Definition

• class Unnamed_Class_Type_Definition

• class Value_Class_Type_Declaration

• class Value_Class_Type_Definition