File : sinfo-cn.adb
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S I N F O . C N --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 1992-2012, Free Software Foundation, Inc. --
10 -- --
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. --
20 -- --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
23 -- --
24 ------------------------------------------------------------------------------
25
26 -- This child package of Sinfo contains some routines that permit in place
27 -- alteration of existing tree nodes by changing the value in the Nkind
28 -- field. Since Nkind functions logically in a manner similar to a variant
29 -- record discriminant part, such alterations cannot be permitted in a
30 -- general manner, but in some specific cases, the fields of related nodes
31 -- have been deliberately layed out in a manner that permits such alteration.
32
33 with Atree; use Atree;
34 with Snames; use Snames;
35
36 package body Sinfo.CN is
37
38 use Atree.Unchecked_Access;
39 -- This package is one of the few packages which is allowed to make direct
40 -- references to tree nodes (since it is in the business of providing a
41 -- higher level of tree access which other clients are expected to use and
42 -- which implements checks).
43
44 ------------------------------------------------------------
45 -- Change_Character_Literal_To_Defining_Character_Literal --
46 ------------------------------------------------------------
47
48 procedure Change_Character_Literal_To_Defining_Character_Literal
49 (N : in out Node_Id)
50 is
51 begin
52 Set_Nkind (N, N_Defining_Character_Literal);
53 N := Extend_Node (N);
54 end Change_Character_Literal_To_Defining_Character_Literal;
55
56 ------------------------------------
57 -- Change_Conversion_To_Unchecked --
58 ------------------------------------
59
60 procedure Change_Conversion_To_Unchecked (N : Node_Id) is
61 begin
62 Set_Do_Overflow_Check (N, False);
63 Set_Do_Tag_Check (N, False);
64 Set_Do_Length_Check (N, False);
65 Set_Nkind (N, N_Unchecked_Type_Conversion);
66 end Change_Conversion_To_Unchecked;
67
68 ----------------------------------------------
69 -- Change_Identifier_To_Defining_Identifier --
70 ----------------------------------------------
71
72 procedure Change_Identifier_To_Defining_Identifier (N : in out Node_Id) is
73 begin
74 Set_Nkind (N, N_Defining_Identifier);
75 N := Extend_Node (N);
76 end Change_Identifier_To_Defining_Identifier;
77
78 ---------------------------------------------
79 -- Change_Name_To_Procedure_Call_Statement --
80 ---------------------------------------------
81
82 procedure Change_Name_To_Procedure_Call_Statement (N : Node_Id) is
83 begin
84 -- Case of Indexed component, which is a procedure call with arguments
85
86 if Nkind (N) = N_Indexed_Component then
87 declare
88 Prefix_Node : constant Node_Id := Prefix (N);
89 Exprs_Node : constant List_Id := Expressions (N);
90
91 begin
92 Change_Node (N, N_Procedure_Call_Statement);
93 Set_Name (N, Prefix_Node);
94 Set_Parameter_Associations (N, Exprs_Node);
95 end;
96
97 -- Case of function call node, which is a really a procedure call
98
99 elsif Nkind (N) = N_Function_Call then
100 declare
101 Fname_Node : constant Node_Id := Name (N);
102 Params_List : constant List_Id := Parameter_Associations (N);
103
104 begin
105 Change_Node (N, N_Procedure_Call_Statement);
106 Set_Name (N, Fname_Node);
107 Set_Parameter_Associations (N, Params_List);
108 end;
109
110 -- Case of call to attribute that denotes a procedure. Here we just
111 -- leave the attribute reference unchanged.
112
113 elsif Nkind (N) = N_Attribute_Reference
114 and then Is_Procedure_Attribute_Name (Attribute_Name (N))
115 then
116 null;
117
118 -- All other cases of names are parameterless procedure calls
119
120 else
121 declare
122 Name_Node : constant Node_Id := Relocate_Node (N);
123 begin
124 Change_Node (N, N_Procedure_Call_Statement);
125 Set_Name (N, Name_Node);
126 end;
127 end if;
128 end Change_Name_To_Procedure_Call_Statement;
129
130 --------------------------------------------------------
131 -- Change_Operator_Symbol_To_Defining_Operator_Symbol --
132 --------------------------------------------------------
133
134 procedure Change_Operator_Symbol_To_Defining_Operator_Symbol
135 (N : in out Node_Id)
136 is
137 begin
138 Set_Nkind (N, N_Defining_Operator_Symbol);
139 Set_Node2 (N, Empty); -- Clear unused Str2 field
140 N := Extend_Node (N);
141 end Change_Operator_Symbol_To_Defining_Operator_Symbol;
142
143 ----------------------------------------------
144 -- Change_Operator_Symbol_To_String_Literal --
145 ----------------------------------------------
146
147 procedure Change_Operator_Symbol_To_String_Literal (N : Node_Id) is
148 begin
149 Set_Nkind (N, N_String_Literal);
150 Set_Node1 (N, Empty); -- clear Name1 field
151 end Change_Operator_Symbol_To_String_Literal;
152
153 ------------------------------------------------
154 -- Change_Selected_Component_To_Expanded_Name --
155 ------------------------------------------------
156
157 procedure Change_Selected_Component_To_Expanded_Name (N : Node_Id) is
158 begin
159 Set_Nkind (N, N_Expanded_Name);
160 Set_Chars (N, Chars (Selector_Name (N)));
161 end Change_Selected_Component_To_Expanded_Name;
162
163 end Sinfo.CN;