gnat_util/gnat_util/einfo.adb

652       pragma Assert (Ekind (State_Id) = E_Abstract_State);
741         (Is_Overloadable (Id) or else Ekind (Id) = E_Subprogram_Type);
779       pragma Assert (Ekind (Id) = E_Package);
802       pragma Assert (Ekind (Id) = E_Block);
815         (Ekind (Id) = E_Package
823       pragma Assert (Ekind (Id) = E_Abstract_State);
899       pragma Assert (Ekind (Id) = E_Record_Type);
905       pragma Assert (Ekind (Id) = E_Discriminant);
912         (Ekind (Id) = E_Function
920       pragma Assert (Ekind (Id) = E_Subprogram_Body);
937       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
943       pragma Assert (Ekind (Id) in Object_Kind);
1057       pragma Assert (Ekind (Id) = E_Discriminant);
1068       pragma Assert (Ekind (Id) = E_Component);
1080       pragma Assert (Ekind (Id) = E_Discriminant);
1086       pragma Assert (Ekind (Id) = E_Discriminant);
1099       pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
1105       pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
1124       pragma Assert (Ekind (Id) = E_Package);
1133          Ekind (Id) = E_Package
1144          Ekind (Id) = E_Package
1189       pragma Assert (Ekind (Id) = E_Entry_Index_Parameter);
1231          Ekind (Id) = E_Void);             --  special purpose
1248       pragma Assert (Ekind (Id) = E_Enumeration_Type);
1254       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
1260       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
1266       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
1303       pragma Assert (Is_Formal (Id) or else Ekind (Id) = E_Variable);
1353       pragma Assert (Ekind (Id) = E_Loop);
1372                        or else Ekind (Id) in Concurrent_Kind);
1393       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
1399       pragma Assert (Ekind (Id) = E_Generic_Package);
1595       pragma Assert (Ekind (Id) = E_Variable or else Is_Formal (Id));
1607       pragma Assert (Ekind (Id) = E_Loop);
1771       pragma Assert (Ekind (Id) = E_Package);
1886       pragma Assert (Ekind (Id) = E_Abstract_State);
1902       pragma Assert (Ekind (Id) = E_Variable);
1919       pragma Assert (Ekind (Id) = E_Package);
2009       pragma Assert (Ekind (Id) = E_Procedure or else Is_Type (Id));
2057       pragma Assert (Ekind (Id) = E_Discriminant);
2168       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
2238       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
2324       pragma Assert (Ekind (Id) = E_Procedure);
2368       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
2374       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
2445       pragma Assert (Ekind (Id) = E_Exception);
2543       pragma Assert (Ekind (Id) = E_Procedure);
2614       pragma Assert (Ekind (Id) = E_Package);
2666       pragma Assert (Ekind (Id) = E_Function or else Is_Formal (Id));
2755         (Ekind (Id) in Incomplete_Kind
2757          Ekind (Id) in Class_Wide_Kind
2759          Ekind (Id) = E_Abstract_State);
2789       pragma Assert (Ekind (Id) = E_Variable);
2815       pragma Assert (Ekind (Id) = E_Access_Subprogram_Type);
2867       pragma Assert (Ekind (Id) = E_Variable);
2957       pragma Assert (Ekind (Id) = E_Abstract_State);
2963       pragma Assert (Ekind (Id) = E_Exception);
2975       pragma Assert (Ekind (Id) in Type_Kind
3005       pragma Assert (Ekind (Id) = E_Package);
3042       pragma Assert (Ekind (Id) = E_Function);
3060       pragma Assert (Ekind (Id) = E_Function);
3098       pragma Assert (Ekind (Id) = E_Variable);
3169          Ekind (Id) = E_Variable);         --  variable
3194          Ekind (Id) = E_Variable);         --  variable
3200       pragma Assert (Ekind (Id) = E_Package_Body or else Is_Formal (Id));
3242       pragma Assert (Ekind (Id) = E_Package);
3249         (Ekind (Id) = E_Procedure and then not Is_Dispatching_Operation (Id));
3299       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Variable);
3315       pragma Assert (Ekind (Id) in Task_Kind);
3333       pragma Assert (Ekind (Id) in Private_Kind);
3407       return Ekind (Id) in Access_Kind;
3412       return Ekind (Id) in Access_Protected_Kind;
3417       return Ekind (Id) in Access_Subprogram_Kind;
3422       return Ekind (Id) in Aggregate_Kind;
3427       return Ekind (Id) in Array_Kind;
3432       return Ekind (Id) in Assignable_Kind;
3437       return Ekind (Id) in Class_Wide_Kind;
3442       return Ekind (Id) in Composite_Kind;
3447       return Ekind (Id) in Concurrent_Body_Kind;
3457       return Ekind (Id) in Concurrent_Kind;
3462       return Ekind (Id) in Decimal_Fixed_Point_Kind;
3467       return Ekind (Id) in Digits_Kind;
3472       return Ekind (Id) in Discrete_Or_Fixed_Point_Kind;
3477       return Ekind (Id) in Discrete_Kind;
3482       return Ekind (Id) in Elementary_Kind;
3487       return Ekind (Id) in Entry_Kind;
3492       return Ekind (Id) in Enumeration_Kind;
3497       return Ekind (Id) in Fixed_Point_Kind;
3502       return Ekind (Id) in Float_Kind;
3507       return Ekind (Id) in Formal_Kind;
3512       return Ekind (Id) in Formal_Object_Kind;
3517       return Ekind (Id) in Generic_Subprogram_Kind;
3522       return Ekind (Id) in Generic_Unit_Kind;
3532       return Ekind (Id) in Incomplete_Or_Private_Kind;
3537       return Ekind (Id) in Incomplete_Kind;
3542       return Ekind (Id) in Integer_Kind;
3547       return Ekind (Id) in Modular_Integer_Kind;
3552       return Ekind (Id) in Named_Kind;
3557       return Ekind (Id) in Numeric_Kind;
3562       return Ekind (Id) in Object_Kind;
3567       return Ekind (Id) in Ordinary_Fixed_Point_Kind;
3572       return Ekind (Id) in Overloadable_Kind;
3577       return Ekind (Id) in Private_Kind;
3582       return Ekind (Id) in Protected_Kind;
3587       return Ekind (Id) in Real_Kind;
3592       return Ekind (Id) in Record_Kind;
3597       return Ekind (Id) in Scalar_Kind;
3602       return Ekind (Id) in Signed_Integer_Kind;
3607       return Ekind (Id) in Subprogram_Kind;
3612       return Ekind (Id) in Subprogram_Kind
3614              Ekind (Id) in Generic_Subprogram_Kind;
3619       return Ekind (Id) in Task_Kind;
3624       return Ekind (Id) in Type_Kind;
3650       pragma Assert (Ekind (Id) = E_Record_Type
3720         (Is_Overloadable (Id) or else Ekind (Id) = E_Subprogram_Type);
3743       pragma Assert (Ekind (Id) = E_Block);
3756         (Ekind (Id) = E_Package
3764       pragma Assert (Ekind (Id) = E_Abstract_State);
3883          Ekind (Id) = E_Void);             --  special purpose
3896         (Ekind (Id) = E_Record_Type and then Is_Concurrent_Type (V));
3902       pragma Assert (Ekind (Id) = E_Discriminant);
3909         (Ekind (Id) = E_Function
3934       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
3940       pragma Assert (Ekind (Id) in Object_Kind or else Ekind (Id) = E_Void);
3993            or else Ekind (Id) = E_Block);
4055       pragma Assert (Ekind (Id) = E_Discriminant);
4066       pragma Assert (Ekind (Id) = E_Component);
4088       pragma Assert (Ekind (Id) = E_Record_Type
4096       pragma Assert (Ekind (Id) = E_Component);
4102       pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
4120       pragma Assert (Ekind (Id) = E_Package);
4129          Ekind (Id) = E_Package
4140          Ekind (Id) = E_Package
4185       pragma Assert (Ekind (Id) = E_Entry_Index_Parameter);
4196       pragma Assert (Ekind (Id) = E_Enumeration_Type);
4202       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
4208       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
4214       pragma Assert (Ekind (Id) = E_Enumeration_Literal);
4250       pragma Assert (Is_Formal (Id) or else Ekind (Id) = E_Variable);
4294       pragma Assert (Ekind (Id) = E_Loop);
4313                        or else Ekind (Id) in Concurrent_Kind);
4323       pragma Assert (Ekind (Id) = E_Floating_Point_Type);
4342       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
4403       pragma Assert (Ekind (Id) = E_Record_Type);
4409       pragma Assert (Ekind (Id) = E_Array_Type);
4480       pragma Assert (Ekind (Id) = E_Record_Type
4568       pragma Assert (Ekind (Id) = E_Loop);
4703       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Void);
4736       pragma Assert (Ekind (Id) = E_Package);
4855       pragma Assert (Ekind (Id) = E_Abstract_State);
4872       pragma Assert (Ekind (Id) = E_Variable);
4884       pragma Assert (Ekind (Id) = E_Package);
4988         (Ekind (Id) = E_Procedure or else Is_Type (Id));
5022         or else Ekind (Id) = E_Abstract_State
5023         or else Ekind (Id) = E_Component
5024         or else Ekind (Id) = E_Discriminant
5025         or else Ekind (Id) = E_Exception
5026         or else Ekind (Id) = E_Package_Body
5027         or else Ekind (Id) = E_Subprogram_Body
5031         or else Ekind (Id) = E_Void);
5052       pragma Assert (Ekind (Id) = E_Discriminant);
5101       pragma Assert (Ekind (Id) = E_Procedure);
5133          Ekind (Id) = E_Subprogram_Type);
5221         or else Ekind (Id) = E_Abstract_State
5222         or else Ekind (Id) = E_Component
5223         or else Ekind (Id) = E_Discriminant
5224         or else Ekind (Id) = E_Exception
5225         or else Ekind (Id) = E_Package_Body
5226         or else Ekind (Id) = E_Subprogram_Body
5230         or else Ekind (Id) = E_Void);
5262       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
5296       pragma Assert (Ekind (Id) = E_Procedure);
5351       pragma Assert (Ekind (Id) = E_Procedure);
5362       pragma Assert (Ekind (Id) = E_Out_Parameter);
5396       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
5402       pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
5473       pragma Assert (Ekind (Id) = E_Exception);
5499       pragma Assert (Ekind (Id) = E_Variable);
5560       pragma Assert (Ekind (Id) = E_Record_Type);
5586       pragma Assert (Ekind (Id) = E_Procedure);
5652       pragma Assert (Ekind (Id) = E_Package);
5706       pragma Assert (Ekind (Id) = E_Function or else Is_Formal (Id));
5712       pragma Assert (Ekind (Id) = E_Modular_Integer_Type);
5797         (Ekind (Id) in Incomplete_Kind
5806           and then Ekind (Id) = E_Enumeration_Type);
5830       pragma Assert (Ekind (Id) = E_Variable);
5857       pragma Assert (Ekind (Id) = E_Access_Subprogram_Type);
5897       pragma Assert (Ekind (Id) = E_Record_Type);
5909       pragma Assert (Ekind (Id) = E_Variable);
6007       pragma Assert (Ekind (Id) = E_Abstract_State);
6013       pragma Assert (Ekind (Id) = E_Exception);
6025       pragma Assert (Ekind (Id) in Type_Kind
6055       pragma Assert (Ekind (Id) = E_Package);
6092       pragma Assert (Ekind (Id) = E_Function);
6113       pragma Assert (Ekind (Id) = E_Function);
6152       pragma Assert (Ekind (Id) = E_Variable);
6223          Ekind (Id) = E_Variable);         --  variable
6248          Ekind (Id) = E_Variable);         --  variable
6254       pragma Assert (Ekind (Id) = E_Package_Body or else Is_Formal (Id));
6302       pragma Assert (Ekind (Id) = E_Package);
6309         (Ekind (Id) = E_Procedure and then not Is_Dispatching_Operation (Id));
6321       pragma Assert (Ekind (Id) = E_Constant);
6333       pragma Assert (Ekind (Id) = E_String_Literal_Subtype);
6339       pragma Assert (Ekind (Id) = E_String_Literal_Subtype);
6362       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Variable);
6378       pragma Assert (Ekind (Id) in Task_Kind);
6396       pragma Assert (Ekind (Id) in Private_Kind);
6402       pragma Assert (Ekind (Id) = E_Record_Type);
6424       pragma Assert (Ekind (Id) = E_Protected_Type);
6857       if Ekind (Id) = E_Incomplete_Type
6914       if Ekind (Desig_Type) = E_Incomplete_Type
6920         and then Ekind (Etype (Desig_Type)) = E_Incomplete_Type
6937       pragma Assert (Ekind (Id) = E_Entry_Family);
6956          exit when Ekind (Comp_Id) = E_Component;
7001       if Ekind (Id) = E_Enumeration_Literal then
7040       if Ekind (Id) = E_Enumeration_Literal then
7095       if Ekind (T) = E_Incomplete_Type and then Present (Full_View (T)) then
7099         and then Ekind (Root_Type (T)) = E_Incomplete_Type
7313       return (Ekind (Id) in Incomplete_Kind
7314                or else Ekind (Id) in Class_Wide_Kind
7315                or else Ekind (Id) = E_Abstract_State)
7327       pragma Assert (Ekind (Id) = E_Abstract_State);
7363       pragma Assert (Ekind (Id) = E_Abstract_State);
7517       return Entity_Is_Base_Type (Ekind (Id));
7534       K : constant Entity_Kind := Ekind (Id);
7566         Ekind (Id) = E_Block
7568         Ekind (Id) = E_Function
7570         Ekind (Id) = E_Procedure
7572         Ekind (Id) = E_Subprogram_Body
7574         Ekind (Id) = E_Task_Type
7576        (Ekind (Id) = E_Limited_Private_Type
7578          and then Ekind (Full_View (Id)) = E_Task_Type)
7580         Ekind (Id) = E_Entry
7582         Ekind (Id) = E_Entry_Family
7584         Ekind (Id) = E_Return_Statement;
7617         Ekind (Id) = E_Abstract_State and then Has_Option (Id, Name_External);
7626       return Ekind (Id) = E_Procedure and then Chars (Id) = Name_uFinalizer;
7636         Ekind (Id) = E_Abstract_State and then Nkind (Parent (Id)) = N_Null;
7673       return Ekind (Id) = E_Component and then Is_Protected_Type (Scope (Id));
7789         Ekind (Id) = E_Abstract_State
7826       return (Ekind (Id) = E_Package and then Present (Related_Instance (Id)));
7843       if Ekind (Id) = E_Enumeration_Literal then
7976          exit when Ekind (Comp_Id) = E_Component;
8024       pragma Assert (Ekind (Id) = E_Discriminant);
8029            or else (Ekind (D) /= E_Discriminant
8035          exit when Ekind (D) = E_Discriminant
8119       if Ekind (Id) = E_String_Literal_Subtype then
8183       return Ekind (Id);
8328       if Ekind (T) = E_Class_Wide_Type then
8707       if Ekind (Id) = E_Record_Type_With_Private then
8710       elsif Ekind (Id) in Incomplete_Or_Private_Kind then
8729          elsif Ekind (Id) in Private_Kind
9129          K : constant String := Entity_Kind'Image (Ekind (Id));
9161       case Ekind (Id) is
9214             if Ekind (Scope (Id)) in Record_Kind then
9252       case Ekind (Id) is
9291       case Ekind (Id) is
9317       case Ekind (Id) is
9358       case Ekind (Id) is
9399       case Ekind (Id) is
9436       case Ekind (Id) is
9467       case Ekind (Id) is
9501       case Ekind (Id) is
9540       case Ekind (Id) is
9588       case Ekind (Id) is
9649       case Ekind (Id) is
9714       case Ekind (Id) is
9771       case Ekind (Id) is
9831       case Ekind (Id) is
9872       case Ekind (Id) is
9931       case Ekind (Id) is
9994       case Ekind (Id) is
10019       case Ekind (Id) is
10068       case Ekind (Id) is
10105       case Ekind (Id) is
10130       case Ekind (Id) is
10167       case Ekind (Id) is
10186       case Ekind (Id) is
10212       case Ekind (Id) is
10239       case Ekind (Id) is
10259       case Ekind (Id) is
10277       case Ekind (Id) is
10308       case Ekind (Id) is
10323       case Ekind (Id) is
10353       case Ekind (Id) is
10369       case Ekind (Id) is
10385       case Ekind (Id) is
10415       case Ekind (Id) is