elsif ASIS_Mode
and then
- ((Is_Type (Entity (Table (J).Choice))
- and then Has_Predicates
- (Entity (Table (J).Choice)))
- or else
- (Is_Type (Entity (Table (K).Choice))
+ ((Is_Type (Entity (Table (J).Choice))
and then Has_Predicates
- (Entity (Table (K).Choice))))
+ (Entity (Table (J).Choice)))
+ or else
+ (Is_Type (Entity (Table (K).Choice))
+ and then Has_Predicates
+ (Entity (Table (K).Choice))))
then
null;
and then not Is_Generic_Instance (Current_Scope)
then
-- Loop through all entities in the current scope to identify
- -- an instance of the edge-case outlined above and ignore
- -- freezeing if it is detected.
+ -- an instance of the edge case outlined above and ignore
+ -- freezing if it is detected.
declare
Curr : Entity_Id := First_Entity (Current_Scope);