Lines Matching defs:Build_Invariant_Procedure_Declaration
3300 procedure Build_Invariant_Procedure_Declaration subprogram
3304 Loc : constant Source_Ptr := Sloc (Typ);
3306 Saved_GM : constant Ghost_Mode_Type := Ghost_Mode;
3309 Proc_Decl : Node_Id;
3310 Proc_Id : Entity_Id;
3311 Proc_Nam : Name_Id;
3312 Typ_Decl : Node_Id;
3314 CRec_Typ : Entity_Id;
3317 Full_Base : Entity_Id;
3320 Full_Typ : Entity_Id;
3323 Obj_Id : Entity_Id;
3326 Obj_Typ : Entity_Id;
3329 Priv_Typ : Entity_Id;
3332 Work_Typ : Entity_Id;
3523 end Build_Invariant_Procedure_Declaration; argument