Searched defs:Class_Preconditions_Subprogram (Results 1 – 2 of 2) sorted by relevance
8171 function Class_Preconditions_Subprogram subprogspec8369 function Class_Preconditions_Subprogram subprogram8373 Subp_Id : constant Entity_Id := Ultimate_Alias (Spec_Id);
458 Body_References,459 C_Pass_By_Copy,