annotate gcc/go/gofrontend/import.h @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // import.h -- Go frontend import declarations. -*- C++ -*-
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 // Copyright 2009 The Go Authors. All rights reserved.
kono
parents:
diff changeset
4 // Use of this source code is governed by a BSD-style
kono
parents:
diff changeset
5 // license that can be found in the LICENSE file.
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 #ifndef GO_IMPORT_H
kono
parents:
diff changeset
8 #define GO_IMPORT_H
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 #include "export.h"
kono
parents:
diff changeset
11 #include "go-linemap.h"
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 class Gogo;
kono
parents:
diff changeset
14 class Package;
kono
parents:
diff changeset
15 class Type;
kono
parents:
diff changeset
16 class Named_object;
kono
parents:
diff changeset
17 class Named_type;
kono
parents:
diff changeset
18 class Expression;
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 // This class manages importing Go declarations.
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 class Import
kono
parents:
diff changeset
23 {
kono
parents:
diff changeset
24 public:
kono
parents:
diff changeset
25 // The Stream class is an interface used to read the data. The
kono
parents:
diff changeset
26 // caller should instantiate a child of this class.
kono
parents:
diff changeset
27 class Stream
kono
parents:
diff changeset
28 {
kono
parents:
diff changeset
29 public:
kono
parents:
diff changeset
30 Stream();
kono
parents:
diff changeset
31 virtual ~Stream();
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 // Return whether we have seen an error.
kono
parents:
diff changeset
34 bool
kono
parents:
diff changeset
35 saw_error() const
kono
parents:
diff changeset
36 { return this->saw_error_; }
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 // Record that we've seen an error.
kono
parents:
diff changeset
39 void
kono
parents:
diff changeset
40 set_saw_error()
kono
parents:
diff changeset
41 { this->saw_error_ = true; }
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 // Return the next character (a value from 0 to 0xff) without
kono
parents:
diff changeset
44 // advancing. Returns -1 at end of stream.
kono
parents:
diff changeset
45 int
kono
parents:
diff changeset
46 peek_char();
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 // Look for LENGTH characters, setting *BYTES to point to them.
kono
parents:
diff changeset
49 // Returns false if the bytes are not available. Does not
kono
parents:
diff changeset
50 // advance.
kono
parents:
diff changeset
51 bool
kono
parents:
diff changeset
52 peek(size_t length, const char** bytes)
kono
parents:
diff changeset
53 { return this->do_peek(length, bytes); }
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 // Return the next character (a value from 0 to 0xff) and advance
kono
parents:
diff changeset
56 // the read position by 1. Returns -1 at end of stream.
kono
parents:
diff changeset
57 int
kono
parents:
diff changeset
58 get_char()
kono
parents:
diff changeset
59 {
kono
parents:
diff changeset
60 int c = this->peek_char();
kono
parents:
diff changeset
61 this->advance(1);
kono
parents:
diff changeset
62 return c;
kono
parents:
diff changeset
63 }
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 // Return true if at the end of the stream.
kono
parents:
diff changeset
66 bool
kono
parents:
diff changeset
67 at_eof()
kono
parents:
diff changeset
68 { return this->peek_char() == -1; }
kono
parents:
diff changeset
69
kono
parents:
diff changeset
70 // Return true if the next bytes match STR.
kono
parents:
diff changeset
71 bool
kono
parents:
diff changeset
72 match_c_string(const char* str)
kono
parents:
diff changeset
73 { return this->match_bytes(str, strlen(str)); }
kono
parents:
diff changeset
74
kono
parents:
diff changeset
75 // Return true if the next LENGTH bytes match BYTES.
kono
parents:
diff changeset
76 bool
kono
parents:
diff changeset
77 match_bytes(const char* bytes, size_t length);
kono
parents:
diff changeset
78
kono
parents:
diff changeset
79 // Give an error if the next bytes do not match STR. Advance the
kono
parents:
diff changeset
80 // read position by the length of STR.
kono
parents:
diff changeset
81 void
kono
parents:
diff changeset
82 require_c_string(Location location, const char* str)
kono
parents:
diff changeset
83 { this->require_bytes(location, str, strlen(str)); }
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 // Given an error if the next LENGTH bytes do not match BYTES.
kono
parents:
diff changeset
86 // Advance the read position by LENGTH.
kono
parents:
diff changeset
87 void
kono
parents:
diff changeset
88 require_bytes(Location, const char* bytes, size_t length);
kono
parents:
diff changeset
89
kono
parents:
diff changeset
90 // Advance the read position by SKIP bytes.
kono
parents:
diff changeset
91 void
kono
parents:
diff changeset
92 advance(size_t skip)
kono
parents:
diff changeset
93 {
kono
parents:
diff changeset
94 this->do_advance(skip);
kono
parents:
diff changeset
95 this->pos_ += skip;
kono
parents:
diff changeset
96 }
kono
parents:
diff changeset
97
kono
parents:
diff changeset
98 // Return the current read position. This returns int because it
kono
parents:
diff changeset
99 // is more convenient in error reporting. FIXME.
kono
parents:
diff changeset
100 int
kono
parents:
diff changeset
101 pos()
kono
parents:
diff changeset
102 { return static_cast<int>(this->pos_); }
kono
parents:
diff changeset
103
kono
parents:
diff changeset
104 protected:
kono
parents:
diff changeset
105 // This function should set *BYTES to point to a buffer holding
kono
parents:
diff changeset
106 // the LENGTH bytes at the current read position. It should
kono
parents:
diff changeset
107 // return false if the bytes are not available. This should not
kono
parents:
diff changeset
108 // change the current read position.
kono
parents:
diff changeset
109 virtual bool
kono
parents:
diff changeset
110 do_peek(size_t length, const char** bytes) = 0;
kono
parents:
diff changeset
111
kono
parents:
diff changeset
112 // This function should advance the current read position LENGTH
kono
parents:
diff changeset
113 // bytes.
kono
parents:
diff changeset
114 virtual void
kono
parents:
diff changeset
115 do_advance(size_t skip) = 0;
kono
parents:
diff changeset
116
kono
parents:
diff changeset
117 private:
kono
parents:
diff changeset
118 // The current read position.
kono
parents:
diff changeset
119 size_t pos_;
kono
parents:
diff changeset
120 // True if we've seen an error reading from this stream.
kono
parents:
diff changeset
121 bool saw_error_;
kono
parents:
diff changeset
122 };
kono
parents:
diff changeset
123
kono
parents:
diff changeset
124 // Find import data. This searches the file system for FILENAME and
kono
parents:
diff changeset
125 // returns a pointer to a Stream object to read the data that it
kono
parents:
diff changeset
126 // exports. LOCATION is the location of the import statement.
kono
parents:
diff changeset
127 // RELATIVE_IMPORT_PATH is used as a prefix for a relative import.
kono
parents:
diff changeset
128 static Stream*
kono
parents:
diff changeset
129 open_package(const std::string& filename, Location location,
kono
parents:
diff changeset
130 const std::string& relative_import_path);
kono
parents:
diff changeset
131
kono
parents:
diff changeset
132 // Constructor.
kono
parents:
diff changeset
133 Import(Stream*, Location);
kono
parents:
diff changeset
134
kono
parents:
diff changeset
135 // Register the builtin types.
kono
parents:
diff changeset
136 void
kono
parents:
diff changeset
137 register_builtin_types(Gogo*);
kono
parents:
diff changeset
138
kono
parents:
diff changeset
139 // Import everything defined in the stream. LOCAL_NAME is the local
kono
parents:
diff changeset
140 // name to be used for bindings; if it is the string "." then
kono
parents:
diff changeset
141 // bindings should be inserted in the global scope. If LOCAL_NAME
kono
parents:
diff changeset
142 // is the empty string then the name of the package itself is the
kono
parents:
diff changeset
143 // local name. This returns the imported package, or NULL on error.
kono
parents:
diff changeset
144 Package*
kono
parents:
diff changeset
145 import(Gogo*, const std::string& local_name, bool is_local_name_exported);
kono
parents:
diff changeset
146
kono
parents:
diff changeset
147 // The location of the import statement.
kono
parents:
diff changeset
148 Location
kono
parents:
diff changeset
149 location() const
kono
parents:
diff changeset
150 { return this->location_; }
kono
parents:
diff changeset
151
kono
parents:
diff changeset
152 // Return the package we are importing.
kono
parents:
diff changeset
153 Package*
kono
parents:
diff changeset
154 package() const
kono
parents:
diff changeset
155 { return this->package_; }
kono
parents:
diff changeset
156
kono
parents:
diff changeset
157 // Return the next character.
kono
parents:
diff changeset
158 int
kono
parents:
diff changeset
159 peek_char()
kono
parents:
diff changeset
160 { return this->stream_->peek_char(); }
kono
parents:
diff changeset
161
kono
parents:
diff changeset
162 // Return the next character and advance.
kono
parents:
diff changeset
163 int
kono
parents:
diff changeset
164 get_char()
kono
parents:
diff changeset
165 { return this->stream_->get_char(); }
kono
parents:
diff changeset
166
kono
parents:
diff changeset
167 // Return true at the end of the stream.
kono
parents:
diff changeset
168 bool
kono
parents:
diff changeset
169 at_eof()
kono
parents:
diff changeset
170 { return this->stream_->at_eof(); }
kono
parents:
diff changeset
171
kono
parents:
diff changeset
172 // Return whether the next bytes match STR.
kono
parents:
diff changeset
173 bool
kono
parents:
diff changeset
174 match_c_string(const char* str)
kono
parents:
diff changeset
175 { return this->stream_->match_c_string(str); }
kono
parents:
diff changeset
176
kono
parents:
diff changeset
177 // Require that the next bytes match STR.
kono
parents:
diff changeset
178 void
kono
parents:
diff changeset
179 require_c_string(const char* str)
kono
parents:
diff changeset
180 { this->stream_->require_c_string(this->location_, str); }
kono
parents:
diff changeset
181
kono
parents:
diff changeset
182 // Advance the stream SKIP bytes.
kono
parents:
diff changeset
183 void
kono
parents:
diff changeset
184 advance(size_t skip)
kono
parents:
diff changeset
185 { this->stream_->advance(skip); }
kono
parents:
diff changeset
186
kono
parents:
diff changeset
187 // Read an identifier.
kono
parents:
diff changeset
188 std::string
kono
parents:
diff changeset
189 read_identifier();
kono
parents:
diff changeset
190
kono
parents:
diff changeset
191 // Read a name. This is like read_identifier, except that a "?" is
kono
parents:
diff changeset
192 // returned as an empty string. This matches Export::write_name.
kono
parents:
diff changeset
193 std::string
kono
parents:
diff changeset
194 read_name();
kono
parents:
diff changeset
195
kono
parents:
diff changeset
196 // Read a type.
kono
parents:
diff changeset
197 Type*
kono
parents:
diff changeset
198 read_type();
kono
parents:
diff changeset
199
kono
parents:
diff changeset
200 // Read an escape note.
kono
parents:
diff changeset
201 std::string
kono
parents:
diff changeset
202 read_escape();
kono
parents:
diff changeset
203
kono
parents:
diff changeset
204 private:
kono
parents:
diff changeset
205 static Stream*
kono
parents:
diff changeset
206 try_package_in_directory(const std::string&, Location);
kono
parents:
diff changeset
207
kono
parents:
diff changeset
208 static int
kono
parents:
diff changeset
209 try_suffixes(std::string*);
kono
parents:
diff changeset
210
kono
parents:
diff changeset
211 static Stream*
kono
parents:
diff changeset
212 find_export_data(const std::string& filename, int fd, Location);
kono
parents:
diff changeset
213
kono
parents:
diff changeset
214 static Stream*
kono
parents:
diff changeset
215 find_object_export_data(const std::string& filename, int fd,
kono
parents:
diff changeset
216 off_t offset, Location);
kono
parents:
diff changeset
217
kono
parents:
diff changeset
218 static const int archive_magic_len = 8;
kono
parents:
diff changeset
219
kono
parents:
diff changeset
220 static bool
kono
parents:
diff changeset
221 is_archive_magic(const char*);
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 static Stream*
kono
parents:
diff changeset
224 find_archive_export_data(const std::string& filename, int fd,
kono
parents:
diff changeset
225 Location);
kono
parents:
diff changeset
226
kono
parents:
diff changeset
227 // Read a package line.
kono
parents:
diff changeset
228 void
kono
parents:
diff changeset
229 read_one_package();
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 // Read an import line.
kono
parents:
diff changeset
232 void
kono
parents:
diff changeset
233 read_one_import();
kono
parents:
diff changeset
234
kono
parents:
diff changeset
235 // Read the import control functions and init graph.
kono
parents:
diff changeset
236 void
kono
parents:
diff changeset
237 read_import_init_fns(Gogo*);
kono
parents:
diff changeset
238
kono
parents:
diff changeset
239 // Import a constant.
kono
parents:
diff changeset
240 void
kono
parents:
diff changeset
241 import_const();
kono
parents:
diff changeset
242
kono
parents:
diff changeset
243 // Import a type.
kono
parents:
diff changeset
244 void
kono
parents:
diff changeset
245 import_type();
kono
parents:
diff changeset
246
kono
parents:
diff changeset
247 // Import a variable.
kono
parents:
diff changeset
248 void
kono
parents:
diff changeset
249 import_var();
kono
parents:
diff changeset
250
kono
parents:
diff changeset
251 // Import a function.
kono
parents:
diff changeset
252 Named_object*
kono
parents:
diff changeset
253 import_func(Package*);
kono
parents:
diff changeset
254
kono
parents:
diff changeset
255 // Register a single builtin type.
kono
parents:
diff changeset
256 void
kono
parents:
diff changeset
257 register_builtin_type(Gogo*, const char* name, Builtin_code);
kono
parents:
diff changeset
258
kono
parents:
diff changeset
259 // Get an integer from a string.
kono
parents:
diff changeset
260 bool
kono
parents:
diff changeset
261 string_to_int(const std::string&, bool is_neg_ok, int* ret);
kono
parents:
diff changeset
262
kono
parents:
diff changeset
263 // Get an unsigned integer from a string.
kono
parents:
diff changeset
264 bool
kono
parents:
diff changeset
265 string_to_unsigned(const std::string& s, unsigned* ret)
kono
parents:
diff changeset
266 {
kono
parents:
diff changeset
267 int ivalue;
kono
parents:
diff changeset
268 if (!this->string_to_int(s, false, &ivalue))
kono
parents:
diff changeset
269 return false;
kono
parents:
diff changeset
270 *ret = static_cast<unsigned>(ivalue);
kono
parents:
diff changeset
271 return true;
kono
parents:
diff changeset
272 }
kono
parents:
diff changeset
273
kono
parents:
diff changeset
274 // Return the version number of the export data we're reading.
kono
parents:
diff changeset
275 Export_data_version
kono
parents:
diff changeset
276 version() const { return this->version_; }
kono
parents:
diff changeset
277
kono
parents:
diff changeset
278 // The general IR.
kono
parents:
diff changeset
279 Gogo* gogo_;
kono
parents:
diff changeset
280 // The stream from which to read import data.
kono
parents:
diff changeset
281 Stream* stream_;
kono
parents:
diff changeset
282 // The location of the import statement we are processing.
kono
parents:
diff changeset
283 Location location_;
kono
parents:
diff changeset
284 // The package we are importing.
kono
parents:
diff changeset
285 Package* package_;
kono
parents:
diff changeset
286 // Whether to add new objects to the global scope, rather than to a
kono
parents:
diff changeset
287 // package scope.
kono
parents:
diff changeset
288 bool add_to_globals_;
kono
parents:
diff changeset
289 // Mapping from negated builtin type codes to Type structures.
kono
parents:
diff changeset
290 std::vector<Named_type*> builtin_types_;
kono
parents:
diff changeset
291 // Mapping from exported type codes to Type structures.
kono
parents:
diff changeset
292 std::vector<Type*> types_;
kono
parents:
diff changeset
293 // Version of export data we're reading.
kono
parents:
diff changeset
294 Export_data_version version_;
kono
parents:
diff changeset
295 };
kono
parents:
diff changeset
296
kono
parents:
diff changeset
297 // Read import data from a string.
kono
parents:
diff changeset
298
kono
parents:
diff changeset
299 class Stream_from_string : public Import::Stream
kono
parents:
diff changeset
300 {
kono
parents:
diff changeset
301 public:
kono
parents:
diff changeset
302 Stream_from_string(const std::string& str)
kono
parents:
diff changeset
303 : str_(str), pos_(0)
kono
parents:
diff changeset
304 { }
kono
parents:
diff changeset
305
kono
parents:
diff changeset
306 protected:
kono
parents:
diff changeset
307 bool
kono
parents:
diff changeset
308 do_peek(size_t length, const char** bytes)
kono
parents:
diff changeset
309 {
kono
parents:
diff changeset
310 if (this->pos_ + length > this->str_.length())
kono
parents:
diff changeset
311 return false;
kono
parents:
diff changeset
312 *bytes = this->str_.data() + this->pos_;
kono
parents:
diff changeset
313 return true;
kono
parents:
diff changeset
314 }
kono
parents:
diff changeset
315
kono
parents:
diff changeset
316 void
kono
parents:
diff changeset
317 do_advance(size_t len)
kono
parents:
diff changeset
318 { this->pos_ += len; }
kono
parents:
diff changeset
319
kono
parents:
diff changeset
320 private:
kono
parents:
diff changeset
321 // The string of data we are reading.
kono
parents:
diff changeset
322 std::string str_;
kono
parents:
diff changeset
323 // The current position within the string.
kono
parents:
diff changeset
324 size_t pos_;
kono
parents:
diff changeset
325 };
kono
parents:
diff changeset
326
kono
parents:
diff changeset
327 // Read import data from a buffer allocated using malloc.
kono
parents:
diff changeset
328
kono
parents:
diff changeset
329 class Stream_from_buffer : public Import::Stream
kono
parents:
diff changeset
330 {
kono
parents:
diff changeset
331 public:
kono
parents:
diff changeset
332 Stream_from_buffer(char* buf, size_t length)
kono
parents:
diff changeset
333 : buf_(buf), length_(length), pos_(0)
kono
parents:
diff changeset
334 { }
kono
parents:
diff changeset
335
kono
parents:
diff changeset
336 ~Stream_from_buffer()
kono
parents:
diff changeset
337 { free(this->buf_); }
kono
parents:
diff changeset
338
kono
parents:
diff changeset
339 protected:
kono
parents:
diff changeset
340 bool
kono
parents:
diff changeset
341 do_peek(size_t length, const char** bytes)
kono
parents:
diff changeset
342 {
kono
parents:
diff changeset
343 if (this->pos_ + length > this->length_)
kono
parents:
diff changeset
344 return false;
kono
parents:
diff changeset
345 *bytes = this->buf_ + this->pos_;
kono
parents:
diff changeset
346 return true;
kono
parents:
diff changeset
347 }
kono
parents:
diff changeset
348
kono
parents:
diff changeset
349 void
kono
parents:
diff changeset
350 do_advance(size_t len)
kono
parents:
diff changeset
351 { this->pos_ += len; }
kono
parents:
diff changeset
352
kono
parents:
diff changeset
353 private:
kono
parents:
diff changeset
354 // The data we are reading.
kono
parents:
diff changeset
355 char* buf_;
kono
parents:
diff changeset
356 // The length of the buffer.
kono
parents:
diff changeset
357 size_t length_;
kono
parents:
diff changeset
358 // The current position within the buffer.
kono
parents:
diff changeset
359 size_t pos_;
kono
parents:
diff changeset
360 };
kono
parents:
diff changeset
361
kono
parents:
diff changeset
362 // Read import data from an open file descriptor.
kono
parents:
diff changeset
363
kono
parents:
diff changeset
364 class Stream_from_file : public Import::Stream
kono
parents:
diff changeset
365 {
kono
parents:
diff changeset
366 public:
kono
parents:
diff changeset
367 Stream_from_file(int fd);
kono
parents:
diff changeset
368
kono
parents:
diff changeset
369 ~Stream_from_file();
kono
parents:
diff changeset
370
kono
parents:
diff changeset
371 protected:
kono
parents:
diff changeset
372 bool
kono
parents:
diff changeset
373 do_peek(size_t, const char**);
kono
parents:
diff changeset
374
kono
parents:
diff changeset
375 void
kono
parents:
diff changeset
376 do_advance(size_t);
kono
parents:
diff changeset
377
kono
parents:
diff changeset
378 private:
kono
parents:
diff changeset
379 // No copying.
kono
parents:
diff changeset
380 Stream_from_file(const Stream_from_file&);
kono
parents:
diff changeset
381 Stream_from_file& operator=(const Stream_from_file&);
kono
parents:
diff changeset
382
kono
parents:
diff changeset
383 // The file descriptor.
kono
parents:
diff changeset
384 int fd_;
kono
parents:
diff changeset
385 // Data read from the file.
kono
parents:
diff changeset
386 std::string data_;
kono
parents:
diff changeset
387 };
kono
parents:
diff changeset
388
kono
parents:
diff changeset
389 #endif // !defined(GO_IMPORT_H)