Searched refs:Is_Future_Scope_Entity (Results 1 – 5 of 5) sorted by relevance
332 function Is_Future_Scope_Entity subprogspec470 function Is_Future_Scope_Entity subprogram515 end Is_Future_Scope_Entity;793 pragma Assert (Is_Future_Scope_Entity (Ref.Ent_Scope, Scope_Id));
332 function Is_Future_Scope_Entity subprogspec482 function Is_Future_Scope_Entity subprogram527 end Is_Future_Scope_Entity;815 pragma Assert (Is_Future_Scope_Entity (Ref.Ent_Scope, Scope_Id));
321 function Is_Future_Scope_Entity subprogspec472 function Is_Future_Scope_Entity subprogram511 end Is_Future_Scope_Entity;832 pragma Assert (Is_Future_Scope_Entity (Ref.Ent_Scope, Scope_Id));