Searched defs:Write_Invocation_Relation (Results 1 – 14 of 14) sorted by relevance
81 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id); subprogspec1670 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id) is subprogram
60 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id); subprogspec158 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id) is subprogram
85 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id); subprogspec1671 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id) is subprogram
81 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id); subprogspec1769 procedure Write_Invocation_Relation (IR_Id : Invocation_Relation_Id) is subprogram