gcc/ada/einfo.adb

747       pragma Assert (Is_Type (Id)
863       pragma Assert (Is_Type (Id));
937       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
1021       pragma Assert (Is_Type (Id));
1336       pragma Assert (Is_Type (Id));
1393       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
1445       pragma Assert (Is_Type (Id));
1451       pragma Assert (Is_Type (Id));
1463       pragma Assert (Is_Type (Id));
1494       pragma Assert (Is_Type (Id));
1530       pragma Assert (Is_Type (Id));
1583       pragma Assert (Is_Type (Id));
1589       pragma Assert (Is_Type (Id));
1601       pragma Assert (Is_Type (Id));
1646       pragma Assert (Is_Type (Id));
1733       pragma Assert (Is_Type (Id));
1739       pragma Assert (Is_Type (Id));
1745       pragma Assert (Is_Type (Id));
1806       pragma Assert (Is_Type (Id));
1812       pragma Assert (Is_Type (Id));
1818       pragma Assert (Is_Type (Id));
1824       pragma Assert (Is_Type (Id));
1830       pragma Assert (Is_Type (Id));
1836       pragma Assert (Is_Type (Id));
1842       pragma Assert (Is_Type (Id));
1848       pragma Assert (Is_Type (Id));
1880       pragma Assert (Is_Type (Id));
1975       pragma Assert (Is_Type (Id));
2009       pragma Assert (Ekind (Id) = E_Procedure or else Is_Type (Id));
2174       pragma Assert (Is_Type (Id));
2318       pragma Assert (Is_Type (Id));
2399       pragma Assert (Is_Type (Id));
2439       pragma Assert (Is_Type (Id));
2532       pragma Assert (Is_Type (Id));
2561       if Is_Type (Id) then
2591       pragma Assert (Is_Type (Id));
2621         (Is_Type (Id) or else Is_Object (Id) or else Is_Subprogram (Id));
2678       pragma Assert (Is_Type (Id));
2684       pragma Assert (Is_Type (Id));
2748       pragma Assert (Is_Type (Id));
2802         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
2809         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
2873       pragma Assert (Is_Type (Id));
2879       pragma Assert (Is_Type (Id));
3066       pragma Assert (Is_Type (Id));
3282       pragma Assert (Is_Type (Id) or else Is_Subprogram (Id));
3299       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Variable);
3344       pragma Assert (Is_Type (Id));
3622    function Is_Type                             (Id : E) return B is  subprogram
3625    end Is_Type;
3726       pragma Assert (Is_Type (Id)
3811       pragma Assert (Is_Type (Id));
3934       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
4025       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
4044       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
4277       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
4336         (Is_Type (Id) or else Ekind_In (Id, E_Abstract_State, E_Package));
4342       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
4379       pragma Assert (not Is_Type (Id) or else Is_Base_Type (Id));
4397       pragma Assert (Is_Type (Id));
4415       pragma Assert (Is_Type (Id));
4450       pragma Assert (Is_Type (Id));
4487       pragma Assert (Is_Type (Id));
4538       pragma Assert (not Is_Type (Id) or else Is_Base_Type (Id));
4544       pragma Assert (Is_Type (Id));
4550       pragma Assert (Is_Type (Id));
4562       pragma Assert (Is_Type (Id));
4608       pragma Assert (Is_Type (Id));
4697       pragma Assert (Is_Type (Id));
4703       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Void);
4715       pragma Assert (Is_Type (Id));
4777       pragma Assert (Is_Type (Id));
4783       pragma Assert (Is_Type (Id));
4789       pragma Assert (Is_Type (Id));
4795       pragma Assert (Is_Type (Id));
4806       pragma Assert (Is_Type (Id));
4812       pragma Assert (Is_Type (Id));
4849       pragma Assert (Is_Type (Id));
4861       pragma Assert (not Is_Type (Id) or else Is_Base_Type (Id));
4953       pragma Assert (Is_Type (Id));
4988         (Ekind (Id) = E_Procedure or else Is_Type (Id));
5021         or else Is_Type (Id)
5107       pragma Assert (Is_Type (Id));
5183       pragma Assert (Is_Type (Id));
5220         or else Is_Type (Id)
5322       pragma Assert (Is_Type (Id));
5345       pragma Assert (Is_Type (Id));
5427       pragma Assert (Is_Type (Id));
5467       pragma Assert (Is_Type (Id));
5510       pragma Assert (Is_Type (Id));
5517         (Is_Type (Id)
5580           or else Is_Type (Id));
5629       pragma Assert (Is_Type (Id));
5658       pragma Assert (Is_Type (Id)
5718       pragma Assert (Is_Type (Id));
5724       pragma Assert (Is_Type (Id));
5790       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
5844         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
5851         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
5915       pragma Assert (Is_Type (Id));
5921       pragma Assert (Is_Type (Id));
6119       pragma Assert (Is_Type (Id));
6345       pragma Assert (Is_Type (Id) or else Is_Subprogram (Id));
6362       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Variable);
6408       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
6806          pragma Assert (Is_Type (Id));
6888         (Is_Type (Id)
7461       pragma Assert (Is_Type (Id) and then Has_Invariants (Id));
7709       if Is_Type (Id) then
7732       if Is_Type (Id) then
8195       pragma Assert (Is_Type (Id));
8232       pragma Assert (Is_Type (Id));
8488         (Is_Type (Id)
8516       pragma Assert (Is_Type (Id) and then Has_Invariants (Id));
8541       pragma Assert (Is_Type (Id) and then Has_Predicates (Id));
8564       pragma Assert (Is_Type (Id) and then Has_Predicates (Id));
9135          if Is_Type (Id) and then Is_Tagged_Type (Id) then
9142          if Is_Type (Id) and then Depends_On_Private (Id) then