Home
last modified time | relevance | path

Searched refs:Has_Invariants (Results 1 – 25 of 309) sorted by last modified time

12345678910>>...13

/dports/lang/gnat_util/gnat_util/
H A Deinfo.ads6877 function Has_Invariants (Id : E) return B; subprogspec
8323 pragma Inline (Has_Invariants);
H A Deinfo.adb1599 function Has_Invariants (Id : E) return B is subprogram
1603 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));
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dsem_ch5.adb1173 and then Has_Invariants (Etype (Expression (Lhs)))
H A Dfreeze.adb3508 if Has_Invariants (Ctyp)
5547 and then Has_Invariants (Etype (Comp))
H A Dcontracts.adb1956 Has_Invariants (Typ)
H A Deinfo-utils.adb1202 function Has_Invariants (Id : E) return B is subprogram
1205 end Has_Invariants;
H A Dexp_ch3.adb6990 if Has_Invariants (Base_Typ)
8479 if Has_Invariants (Def_Id) then
H A Dsem_ch3.adb2393 and then Has_Invariants (Typ)
11087 and then Has_Invariants (Etype (T))
13329 if Has_Invariants (T)
16199 and then Has_Invariants (Parent_Type)
H A Dsem_util.adb18104 and then not Has_Invariants (Etype (Subp))
H A Dexp_util.adb2484 if Has_Invariants (Comp_Typ) then
3173 if Has_Invariants (Comp_Typ) then
3329 pragma Assert (Has_Invariants (Work_Typ));
3683 pragma Assert (Has_Invariants (Work_Typ));
9706 pragma Assert (Has_Invariants (Typ));
H A Dfe.h653 #define Has_Invariants einfo__utils__has_invariants macro
654 B Has_Invariants (E Id);
H A DChangeLog-20136271 * einfo.ads, einfo.adb (Has_Invariants): No longer applies to
H A Dexp_aggr.adb1871 if Has_Invariants (Ctype) then
H A Dexp_ch4.adb12251 if Has_Invariants (Target_Type)
H A Dexp_ch6.adb2635 if Has_Invariants (Etype (Actual))
2645 and then Has_Invariants (Etype (Expression (Actual)))
3111 if Has_Invariants (Curr_Typ)
H A DChangeLog-20101491 (Has_Invariants): New flag
1496 (Has_Invariants): New flag
H A DChangeLog-20161887 a node. Has_Invariants is now a synthesized attribute
1893 (Has_Invariants): Reimplemented.
1915 of attributes Has_Inheritable_Invariants Has_Invariants
H A DChangeLog-202010200 (Has_Invariants): Likewise.
10209 Finalize_Storage_Only, Has_DIC, Has_Invariants,
H A Deinfo-utils.ads228 function Has_Invariants (Id : E) return B; subprogspec
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dcontracts.adb1841 Has_Invariants (Typ)
H A Deinfo.adb7872 function Has_Invariants (Id : E) return B is subprogram
7875 end Has_Invariants;
H A Dexp_ch3.adb6921 if Has_Invariants (Base_Typ)
8405 if Has_Invariants (Def_Id) then
H A Dexp_util.adb2579 if Has_Invariants (Comp_Typ) then
3268 if Has_Invariants (Comp_Typ) then
3424 pragma Assert (Has_Invariants (Work_Typ));
3778 pragma Assert (Has_Invariants (Work_Typ));
9571 pragma Assert (Has_Invariants (Typ));
H A Dsem_ch3.adb2377 and then Has_Invariants (Typ)
10817 and then Has_Invariants (Etype (T))
13009 if Has_Invariants (T)
15798 and then Has_Invariants (Parent_Type)
H A Dsem_util.adb17497 and then not Has_Invariants (Etype (Subp))

12345678910>>...13