Searched refs:Has_Invariants (Results 1 – 25 of 309) sorted by last modified time
12345678910>>...13
6877 function Has_Invariants (Id : E) return B; subprogspec8323 pragma Inline (Has_Invariants);
1599 function Has_Invariants (Id : E) return B is subprogram1603 end Has_Invariants;7461 pragma Assert (Is_Type (Id) and then Has_Invariants (Id));8516 pragma Assert (Is_Type (Id) and then Has_Invariants (Id));
1173 and then Has_Invariants (Etype (Expression (Lhs)))
3508 if Has_Invariants (Ctyp)5547 and then Has_Invariants (Etype (Comp))
1956 Has_Invariants (Typ)
1202 function Has_Invariants (Id : E) return B is subprogram1205 end Has_Invariants;
6990 if Has_Invariants (Base_Typ)8479 if Has_Invariants (Def_Id) then
2393 and then Has_Invariants (Typ)11087 and then Has_Invariants (Etype (T))13329 if Has_Invariants (T)16199 and then Has_Invariants (Parent_Type)
18104 and then not Has_Invariants (Etype (Subp))
2484 if Has_Invariants (Comp_Typ) then3173 if Has_Invariants (Comp_Typ) then3329 pragma Assert (Has_Invariants (Work_Typ));3683 pragma Assert (Has_Invariants (Work_Typ));9706 pragma Assert (Has_Invariants (Typ));
653 #define Has_Invariants einfo__utils__has_invariants macro654 B Has_Invariants (E Id);
6271 * einfo.ads, einfo.adb (Has_Invariants): No longer applies to
1871 if Has_Invariants (Ctype) then
12251 if Has_Invariants (Target_Type)
2635 if Has_Invariants (Etype (Actual))2645 and then Has_Invariants (Etype (Expression (Actual)))3111 if Has_Invariants (Curr_Typ)
1491 (Has_Invariants): New flag1496 (Has_Invariants): New flag
1887 a node. Has_Invariants is now a synthesized attribute1893 (Has_Invariants): Reimplemented.1915 of attributes Has_Inheritable_Invariants Has_Invariants
10200 (Has_Invariants): Likewise.10209 Finalize_Storage_Only, Has_DIC, Has_Invariants,
228 function Has_Invariants (Id : E) return B; subprogspec
1841 Has_Invariants (Typ)
7872 function Has_Invariants (Id : E) return B is subprogram7875 end Has_Invariants;
6921 if Has_Invariants (Base_Typ)8405 if Has_Invariants (Def_Id) then
2579 if Has_Invariants (Comp_Typ) then3268 if Has_Invariants (Comp_Typ) then3424 pragma Assert (Has_Invariants (Work_Typ));3778 pragma Assert (Has_Invariants (Work_Typ));9571 pragma Assert (Has_Invariants (Typ));
2377 and then Has_Invariants (Typ)10817 and then Has_Invariants (Etype (T))13009 if Has_Invariants (T)15798 and then Has_Invariants (Parent_Type)
17497 and then not Has_Invariants (Etype (Subp))