Searched refs:Set_Class_Wide_Postconds (Results 1 – 6 of 6) sorted by path
3803 procedure Set_Class_Wide_Postconds (Id : E; V : S) is subprogram3807 end Set_Class_Wide_Postconds;
7417 procedure Set_Class_Wide_Postconds (Id : E; V : S); subprogspec8711 pragma Inline (Set_Class_Wide_Postconds);