Lines Matching refs:Predicate_Function

4486         and then Present (Predicate_Function (T))
5429             if Present (Predicate_Function (Id)) then
5432             elsif Present (Predicate_Function (T)) then
5433                Set_Predicate_Function (Id, Predicate_Function (T));
5436               and then Present (Predicate_Function (Ancestor_Subtype (T)))
5439                  Predicate_Function (Ancestor_Subtype (T)));
5825         and then Present (Predicate_Function (T))
12553             if Present (Predicate_Function (Full_Base))
12554               and then No (Predicate_Function (Full))
12556                Set_Predicate_Function (Full, Predicate_Function (Full_Base));
12706          if Present (Predicate_Function (Priv))
12707            and then No (Predicate_Function (Full))
12709             Set_Predicate_Function (Full, Predicate_Function (Priv));
13587                if Present (Predicate_Function (Def_Id)) then
13590                elsif Present (Predicate_Function (T)) then
13591                   Set_Predicate_Function (Def_Id, Predicate_Function (T));
13597             elsif No (Predicate_Function (Def_Id)) then
18761       if Present (Predicate_Function (Subt)) then
18777       if Is_Itype (Subt) and then Present (Predicate_Function (Par)) then
21129          if Present (Predicate_Function (Priv_T)) then
21130             Set_Predicate_Function (Full_T, Predicate_Function (Priv_T));
21963             if No (Predicate_Function (Def_Id)) and then Is_Itype (Def_Id) then