1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2024, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 -- Expand routines for pragmas
28 with Types
; use Types
;
32 procedure Expand_N_Pragma
(N
: Node_Id
);
34 procedure Expand_Pragma_Always_Terminates
(Prag
: Node_Id
);
35 -- This routine only exists for consistency with other pragmas, since
36 -- Always_Terminates has no meaningful expansion.
38 procedure Expand_Pragma_Contract_Cases
42 Stmts
: in out List_Id
);
43 -- Given pragma Contract_Cases CCs, create the circuitry needed to evaluate
44 -- case guards and trigger consequence expressions. Subp_Id is the related
45 -- subprogram for which the pragma applies. Decls are the declarations of
46 -- Subp_Id's body. All generated code is added to list Stmts. If Stmts is
47 -- No_List on entry, a new list is created.
49 procedure Expand_Pragma_Exceptional_Cases
(Prag
: Node_Id
);
50 -- Given pragma Exceptional_Cases Prag, create the circuitry needed to
51 -- catch exceptions and evaluate consequence expressions.
53 procedure Expand_Pragma_Initial_Condition
56 -- Verify the run-time semantics of pragma Initial_Condition when it
57 -- applies to package Pack_Id. N denotes the related package spec or
60 procedure Expand_Pragma_Subprogram_Variant
63 Body_Decls
: List_Id
);
64 -- Given pragma Subprogram_Variant Prag, create the circuitry needed
65 -- to evaluate variant expressions at the subprogram entry and at the
66 -- recursive call. Subp_Id is the related subprogram for which the pragma
67 -- applies and Body_Decls are its body declarations. On exit, the argument
68 -- of Prag is replaced with a reference to procedure with checks for the
69 -- variant expressions.