Searched defs:Analyze_Subprogram_Body_Contract (Results 1 – 2 of 2) sorted by last modified time
2033 procedure Analyze_Subprogram_Body_Contract (Body_Id : Entity_Id) is subprogram2034 Body_Decl : constant Node_Id := Parent (Parent (Body_Id));2035 Spec_Id : constant Entity_Id := Corresponding_Spec (Body_Decl);2036 Prag : Node_Id;2037 Ref_Depends : Node_Id := Empty;2038 Ref_Global : Node_Id := Empty;
48 procedure Analyze_Subprogram_Body_Contract (Body_Id : Entity_Id); subprogspec