Searched defs:Install_Class_Preconditions_Check (Results 1 – 2 of 2) sorted by relevance
8154 procedure Install_Class_Preconditions_Check (Call_Node : Node_Id) is subprogram8155 Loc : constant Source_Ptr := Sloc (Call_Node);8157 function Build_Dynamic_Check_Helper_Call return Node_Id;8162 function Build_Error_Message (Subp_Id : Entity_Id) return Node_Id;8166 function Build_Static_Check_Helper_Call return Node_Id;8171 function Class_Preconditions_Subprogram8186 function Build_Dynamic_Check_Helper_Call return Node_Id is8220 function Build_Error_Message (Subp_Id : Entity_Id) return Node_Id is8311 function Build_Static_Check_Helper_Call return Node_Id is8369 function Class_Preconditions_Subprogram[all …]
124 procedure Install_Class_Preconditions_Check (Call_Node : Node_Id); subprogspec