diff options
Diffstat (limited to 'gcc/ada/exp_ch6.ads')
| -rw-r--r-- | gcc/ada/exp_ch6.ads | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch6.ads b/gcc/ada/exp_ch6.ads index 0f65a5b..f9829f5 100644 --- a/gcc/ada/exp_ch6.ads +++ b/gcc/ada/exp_ch6.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -71,6 +71,17 @@ package Exp_Ch6 is -- This procedure contains common processing for Expand_N_Function_Call, -- Expand_N_Procedure_Statement, and Expand_N_Entry_Call. + procedure Expand_Contract_Cases + (CCs : Node_Id; + Subp_Id : Entity_Id; + Decls : List_Id; + Stmts : in out List_Id); + -- Given pragma Contract_Cases CCs, create the circuitry needed to evaluate + -- case guards and trigger consequence expressions. Subp_Id is the related + -- subprogram for which the pragma applies. Decls are the declarations of + -- Subp_Id's body. All generated code is added to list Stmts. If Stmts is + -- empty, a new list is created. + procedure Freeze_Subprogram (N : Node_Id); -- generate the appropriate expansions related to Subprogram freeze -- nodes (e.g. the filling of the corresponding Dispatch Table for |