gcc/ada/einfo.adb

776       pragma Assert (Is_Type (Id)
897       pragma Assert (Is_Type (Id));
989       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
1073       pragma Assert (Is_Type (Id));
1394       pragma Assert (Is_Type (Id));
1451       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
1503       pragma Assert (Is_Type (Id));
1521       pragma Assert (Is_Type (Id));
1582       pragma Assert (Is_Type (Id));
1635       pragma Assert (Is_Type (Id));
1641       pragma Assert (Is_Type (Id));
1647       pragma Assert (Is_Type (Id));
1698       pragma Assert (Is_Type (Id));
1712       pragma Assert (Is_Type (Id));
1718       pragma Assert (Is_Type (Id));
1803       pragma Assert (Is_Type (Id));
1814       pragma Assert (Is_Type (Id));
1820       pragma Assert (Is_Type (Id));
1887       pragma Assert (Is_Type (Id));
1893       pragma Assert (Is_Type (Id));
1899       pragma Assert (Is_Type (Id));
1905       pragma Assert (Is_Type (Id));
1911       pragma Assert (Is_Type (Id));
1917       pragma Assert (Is_Type (Id));
1923       pragma Assert (Is_Type (Id));
1929       pragma Assert (Is_Type (Id));
1966       pragma Assert (Is_Type (Id));
2084       pragma Assert (Is_Type (Id));
2096       pragma Assert (Is_Type (Id));
2118       pragma Assert (Ekind (Id) = E_Procedure or else Is_Type (Id));
2319       pragma Assert (Is_Type (Id));
2484       pragma Assert (Is_Type (Id));
2571       pragma Assert (Is_Type (Id));
2605       pragma Assert (Is_Type (Id));
2703       pragma Assert (Is_Type (Id));
2732       if Is_Type (Id) then
2762       pragma Assert (Is_Type (Id));
2792         (Is_Object (Id) or else Is_Subprogram (Id) or else Is_Type (Id));
2849       pragma Assert (Is_Type (Id));
2855       pragma Assert (Is_Type (Id));
2933       pragma Assert (Is_Type (Id));
2981         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
2988         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
3058       pragma Assert (Is_Type (Id));
3064       pragma Assert (Is_Type (Id));
3079       pragma Assert (Is_Type (Id));
3265       pragma Assert (Is_Type (Id));
3372          Is_Type (Id));
3401          Is_Type (Id));
3491       pragma Assert (Is_Type (Id));
3508       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Variable);
3553       pragma Assert (Is_Type (Id));
3849    function Is_Type                             (Id : E) return B is  subprogram
3852    end Is_Type;
3967       pragma Assert (Is_Type (Id)
4052       pragma Assert (Is_Type (Id));
4193       pragma Assert (Ekind (Id) = E_Package or else Is_Type (Id));
4284       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
4303       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
4542       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
4601         (Is_Type (Id) or else Ekind_In (Id, E_Abstract_State, E_Package));
4607       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Constant);
4644       pragma Assert (not Is_Type (Id) or else Is_Base_Type (Id));
4662       pragma Assert (Is_Type (Id));
4680       pragma Assert (Is_Type (Id));
4746       pragma Assert (Is_Type (Id));
4797       pragma Assert (not Is_Type (Id) or else Is_Base_Type (Id));
4803       pragma Assert (Is_Type (Id));
4809       pragma Assert (Is_Type (Id));
4815       pragma Assert (Is_Type (Id));
4867       pragma Assert (Is_Type (Id));
4881       pragma Assert (Is_Type (Id));
4887       pragma Assert (Is_Type (Id));
4974       pragma Assert (Is_Type (Id));
4985       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Void);
4997       pragma Assert (Is_Type (Id));
5065       pragma Assert (Is_Type (Id));
5071       pragma Assert (Is_Type (Id));
5077       pragma Assert (Is_Type (Id));
5083       pragma Assert (Is_Type (Id));
5094       pragma Assert (Is_Type (Id));
5100       pragma Assert (Is_Type (Id));
5143       pragma Assert (Is_Type (Id));
5155       pragma Assert (not Is_Type (Id) or else Is_Base_Type (Id));
5270       pragma Assert (Is_Type (Id));
5288       pragma Assert (Is_Type (Id));
5311         (Ekind (Id) = E_Procedure or else Is_Type (Id));
5424       pragma Assert (Is_Type (Id));
5528       pragma Assert (Is_Type (Id));
5668       pragma Assert (Is_Type (Id));
5691       pragma Assert (Is_Type (Id));
5779       pragma Assert (Is_Type (Id));
5813       pragma Assert (Is_Type (Id));
5856       pragma Assert (Is_Type (Id));
5863         (Is_Type (Id)
5906       pragma Assert (Is_Type (Id));
5932           or else Is_Type (Id));
5981       pragma Assert (Is_Type (Id));
6011         (Is_Object (Id) or else Is_Subprogram (Id) or else Is_Type (Id));
6069       pragma Assert (Is_Type (Id));
6075       pragma Assert (Is_Type (Id));
6155       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
6202         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
6209         (Is_Type (Id) or else Ekind_In (Id, E_Constant, E_Variable));
6280       pragma Assert (Is_Type (Id));
6286       pragma Assert (Is_Type (Id));
6301       pragma Assert (Is_Type (Id));
6496       pragma Assert (Is_Type (Id));
6604          Is_Type (Id));
6633          Is_Type (Id));
6732       pragma Assert (Is_Type (Id));
6749       pragma Assert (Is_Type (Id) or else Ekind (Id) = E_Variable);
6795       pragma Assert (Is_Type (Id) and then Is_Base_Type (Id));
7199          pragma Assert (Is_Type (Id));
7307       pragma Assert (Is_Type (Id));
7930       pragma Assert (Is_Type (Id));
8179       if Is_Type (Id) then
8202       if Is_Type (Id) then
8668       pragma Assert (Is_Type (Id));
8782       pragma Assert (Is_Type (Id));
8829       pragma Assert (Is_Type (Id));
9094       pragma Assert (Is_Type (Id));
9131       pragma Assert (Is_Type (Id));
9168       pragma Assert (Is_Type (Id));
9204       pragma Assert (Is_Type (Id) and then Has_Predicates (Id));
9241       pragma Assert (Is_Type (Id) and then Has_Predicates (Id));
9853          if Is_Type (Id) and then Is_Tagged_Type (Id) then
9860          if Is_Type (Id) and then Depends_On_Private (Id) then