Searched refs:Invocation_Codes (Results 1 – 7 of 7) sorted by relevance
193 Invocation_Codes : constant429 if Invocation_Codes (Kind) = Code then729 return Invocation_Codes (Kind);
193 Invocation_Codes : constant427 if Invocation_Codes (Kind) = Code then726 return Invocation_Codes (Kind);