File : scans.adb
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S C A N S --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 1992-2013, 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. --
17 -- --
18 -- --
19 -- --
20 -- --
21 -- --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
26 -- --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
29 -- --
30 ------------------------------------------------------------------------------
31
32 with Snames; use Snames;
33
34 package body Scans is
35
36 -----------------------------
37 -- Initialize_Ada_Keywords --
38 -----------------------------
39
40 procedure Initialize_Ada_Keywords is
41 procedure Set_Reserved (N : Name_Id; T : Token_Type);
42 pragma Inline (Set_Reserved);
43 -- Set given name as a reserved word (T is the corresponding token)
44
45 ------------------
46 -- Set_Reserved --
47 ------------------
48
49 procedure Set_Reserved (N : Name_Id; T : Token_Type) is
50 begin
51 -- Set up Token_Type values in Names table entries for reserved
52 -- words. We use the Pos value of the Token_Type value. Note that
53 -- Is_Keyword_Name relies on the fact that Token_Type'Val (0) is not
54 -- a reserved word.
55
56 Set_Name_Table_Byte (N, Token_Type'Pos (T));
57 end Set_Reserved;
58
59 -- Start of processing for Initialize_Ada_Keywords
60
61 begin
62 -- Establish reserved words
63
64 Set_Reserved (Name_Abort, Tok_Abort);
65 Set_Reserved (Name_Abs, Tok_Abs);
66 Set_Reserved (Name_Abstract, Tok_Abstract);
67 Set_Reserved (Name_Accept, Tok_Accept);
68 Set_Reserved (Name_Access, Tok_Access);
69 Set_Reserved (Name_And, Tok_And);
70 Set_Reserved (Name_Aliased, Tok_Aliased);
71 Set_Reserved (Name_All, Tok_All);
72 Set_Reserved (Name_Array, Tok_Array);
73 Set_Reserved (Name_At, Tok_At);
74 Set_Reserved (Name_Begin, Tok_Begin);
75 Set_Reserved (Name_Body, Tok_Body);
76 Set_Reserved (Name_Case, Tok_Case);
77 Set_Reserved (Name_Constant, Tok_Constant);
78 Set_Reserved (Name_Declare, Tok_Declare);
79 Set_Reserved (Name_Delay, Tok_Delay);
80 Set_Reserved (Name_Delta, Tok_Delta);
81 Set_Reserved (Name_Digits, Tok_Digits);
82 Set_Reserved (Name_Do, Tok_Do);
83 Set_Reserved (Name_Else, Tok_Else);
84 Set_Reserved (Name_Elsif, Tok_Elsif);
85 Set_Reserved (Name_End, Tok_End);
86 Set_Reserved (Name_Entry, Tok_Entry);
87 Set_Reserved (Name_Exception, Tok_Exception);
88 Set_Reserved (Name_Exit, Tok_Exit);
89 Set_Reserved (Name_For, Tok_For);
90 Set_Reserved (Name_Function, Tok_Function);
91 Set_Reserved (Name_Generic, Tok_Generic);
92 Set_Reserved (Name_Goto, Tok_Goto);
93 Set_Reserved (Name_If, Tok_If);
94 Set_Reserved (Name_In, Tok_In);
95 Set_Reserved (Name_Is, Tok_Is);
96 Set_Reserved (Name_Limited, Tok_Limited);
97 Set_Reserved (Name_Loop, Tok_Loop);
98 Set_Reserved (Name_Mod, Tok_Mod);
99 Set_Reserved (Name_New, Tok_New);
100 Set_Reserved (Name_Not, Tok_Not);
101 Set_Reserved (Name_Null, Tok_Null);
102 Set_Reserved (Name_Of, Tok_Of);
103 Set_Reserved (Name_Or, Tok_Or);
104 Set_Reserved (Name_Others, Tok_Others);
105 Set_Reserved (Name_Out, Tok_Out);
106 Set_Reserved (Name_Package, Tok_Package);
107 Set_Reserved (Name_Pragma, Tok_Pragma);
108 Set_Reserved (Name_Private, Tok_Private);
109 Set_Reserved (Name_Procedure, Tok_Procedure);
110 Set_Reserved (Name_Protected, Tok_Protected);
111 Set_Reserved (Name_Raise, Tok_Raise);
112 Set_Reserved (Name_Range, Tok_Range);
113 Set_Reserved (Name_Record, Tok_Record);
114 Set_Reserved (Name_Rem, Tok_Rem);
115 Set_Reserved (Name_Renames, Tok_Renames);
116 Set_Reserved (Name_Requeue, Tok_Requeue);
117 Set_Reserved (Name_Return, Tok_Return);
118 Set_Reserved (Name_Reverse, Tok_Reverse);
119 Set_Reserved (Name_Select, Tok_Select);
120 Set_Reserved (Name_Separate, Tok_Separate);
121 Set_Reserved (Name_Subtype, Tok_Subtype);
122 Set_Reserved (Name_Tagged, Tok_Tagged);
123 Set_Reserved (Name_Task, Tok_Task);
124 Set_Reserved (Name_Terminate, Tok_Terminate);
125 Set_Reserved (Name_Then, Tok_Then);
126 Set_Reserved (Name_Type, Tok_Type);
127 Set_Reserved (Name_Until, Tok_Until);
128 Set_Reserved (Name_Use, Tok_Use);
129 Set_Reserved (Name_When, Tok_When);
130 Set_Reserved (Name_While, Tok_While);
131 Set_Reserved (Name_With, Tok_With);
132 Set_Reserved (Name_Xor, Tok_Xor);
133
134 -- Ada 2005 reserved words
135
136 Set_Reserved (Name_Interface, Tok_Interface);
137 Set_Reserved (Name_Overriding, Tok_Overriding);
138 Set_Reserved (Name_Synchronized, Tok_Synchronized);
139
140 -- Ada 2012 reserved words
141
142 Set_Reserved (Name_Some, Tok_Some);
143
144 end Initialize_Ada_Keywords;
145
146 ------------------------
147 -- Restore_Scan_State --
148 ------------------------
149
150 procedure Restore_Scan_State (Saved_State : Saved_Scan_State) is
151 begin
152 Scan_Ptr := Saved_State.Save_Scan_Ptr;
153 Token := Saved_State.Save_Token;
154 Token_Ptr := Saved_State.Save_Token_Ptr;
155 Current_Line_Start := Saved_State.Save_Current_Line_Start;
156 Start_Column := Saved_State.Save_Start_Column;
157 Checksum := Saved_State.Save_Checksum;
158 First_Non_Blank_Location := Saved_State.Save_First_Non_Blank_Location;
159 Token_Node := Saved_State.Save_Token_Node;
160 Token_Name := Saved_State.Save_Token_Name;
161 Prev_Token := Saved_State.Save_Prev_Token;
162 Prev_Token_Ptr := Saved_State.Save_Prev_Token_Ptr;
163 end Restore_Scan_State;
164
165 ---------------------
166 -- Save_Scan_State --
167 ---------------------
168
169 procedure Save_Scan_State (Saved_State : out Saved_Scan_State) is
170 begin
171 Saved_State.Save_Scan_Ptr := Scan_Ptr;
172 Saved_State.Save_Token := Token;
173 Saved_State.Save_Token_Ptr := Token_Ptr;
174 Saved_State.Save_Current_Line_Start := Current_Line_Start;
175 Saved_State.Save_Start_Column := Start_Column;
176 Saved_State.Save_Checksum := Checksum;
177 Saved_State.Save_First_Non_Blank_Location := First_Non_Blank_Location;
178 Saved_State.Save_Token_Node := Token_Node;
179 Saved_State.Save_Token_Name := Token_Name;
180 Saved_State.Save_Prev_Token := Prev_Token;
181 Saved_State.Save_Prev_Token_Ptr := Prev_Token_Ptr;
182 end Save_Scan_State;
183
184 end Scans;