Home
last modified time | relevance | path

Searched defs:Get_Result_Object_For_Postcond (Results 1 – 8 of 8) sorted by relevance

/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/
H A Dcontracts.ads195 function Get_Result_Object_For_Postcond (Subp : Entity_Id) return Entity_Id; subprogspec
H A Dcontracts.adb3469 function Get_Result_Object_For_Postcond subprogram
3489 end Get_Result_Object_For_Postcond; argument
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/
H A Dcontracts.ads195 function Get_Result_Object_For_Postcond (Subp : Entity_Id) return Entity_Id; subprogspec
H A Dcontracts.adb3469 function Get_Result_Object_For_Postcond subprogram
3489 end Get_Result_Object_For_Postcond; argument
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/
H A Dcontracts.ads195 function Get_Result_Object_For_Postcond (Subp : Entity_Id) return Entity_Id; subprogspec
H A Dcontracts.adb3469 function Get_Result_Object_For_Postcond subprogram
3489 end Get_Result_Object_For_Postcond; argument
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A Dcontracts.ads195 function Get_Result_Object_For_Postcond (Subp : Entity_Id) return Entity_Id; subprogspec
H A Dcontracts.adb3470 function Get_Result_Object_For_Postcond subprogram
3490 end Get_Result_Object_For_Postcond; argument