1 // Protocol Buffers - Google's data interchange format
2 // Copyright 2008 Google Inc.  All rights reserved.
3 // https://developers.google.com/protocol-buffers/
4 //
5 // Redistribution and use in source and binary forms, with or without
6 // modification, are permitted provided that the following conditions are
7 // met:
8 //
9 //     * Redistributions of source code must retain the above copyright
10 // notice, this list of conditions and the following disclaimer.
11 //     * Redistributions in binary form must reproduce the above
12 // copyright notice, this list of conditions and the following disclaimer
13 // in the documentation and/or other materials provided with the
14 // distribution.
15 //     * Neither the name of Google Inc. nor the names of its
16 // contributors may be used to endorse or promote products derived from
17 // this software without specific prior written permission.
18 //
19 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
20 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
21 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
22 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
23 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
25 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
26 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
27 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
28 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
29 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30 
31 // Author: kenton@google.com (Kenton Varda)
32 //  Based on original Protocol Buffers design by
33 //  Sanjay Ghemawat, Jeff Dean, and others.
34 //
35 // This file is the public interface to the .proto file parser.
36 
37 #ifndef GOOGLE_PROTOBUF_COMPILER_IMPORTER_H__
38 #define GOOGLE_PROTOBUF_COMPILER_IMPORTER_H__
39 
40 #include <string>
41 #include <vector>
42 #include <set>
43 #include <utility>
44 #include <google/protobuf/descriptor.h>
45 #include <google/protobuf/descriptor_database.h>
46 #include <google/protobuf/compiler/parser.h>
47 
48 namespace google {
49 namespace protobuf {
50 
51 namespace io { class ZeroCopyInputStream; }
52 
53 namespace compiler {
54 
55 // Defined in this file.
56 class Importer;
57 class MultiFileErrorCollector;
58 class SourceTree;
59 class DiskSourceTree;
60 
61 // TODO(kenton):  Move all SourceTree stuff to a separate file?
62 
63 // An implementation of DescriptorDatabase which loads files from a SourceTree
64 // and parses them.
65 //
66 // Note:  This class is not thread-safe since it maintains a table of source
67 //   code locations for error reporting.  However, when a DescriptorPool wraps
68 //   a DescriptorDatabase, it uses mutex locking to make sure only one method
69 //   of the database is called at a time, even if the DescriptorPool is used
70 //   from multiple threads.  Therefore, there is only a problem if you create
71 //   multiple DescriptorPools wrapping the same SourceTreeDescriptorDatabase
72 //   and use them from multiple threads.
73 //
74 // Note:  This class does not implement FindFileContainingSymbol() or
75 //   FindFileContainingExtension(); these will always return false.
76 class LIBPROTOBUF_EXPORT SourceTreeDescriptorDatabase : public DescriptorDatabase {
77  public:
78   SourceTreeDescriptorDatabase(SourceTree* source_tree);
79   ~SourceTreeDescriptorDatabase();
80 
81   // Instructs the SourceTreeDescriptorDatabase to report any parse errors
82   // to the given MultiFileErrorCollector.  This should be called before
83   // parsing.  error_collector must remain valid until either this method
84   // is called again or the SourceTreeDescriptorDatabase is destroyed.
RecordErrorsTo(MultiFileErrorCollector * error_collector)85   void RecordErrorsTo(MultiFileErrorCollector* error_collector) {
86     error_collector_ = error_collector;
87   }
88 
89   // Gets a DescriptorPool::ErrorCollector which records errors to the
90   // MultiFileErrorCollector specified with RecordErrorsTo().  This collector
91   // has the ability to determine exact line and column numbers of errors
92   // from the information given to it by the DescriptorPool.
GetValidationErrorCollector()93   DescriptorPool::ErrorCollector* GetValidationErrorCollector() {
94     using_validation_error_collector_ = true;
95     return &validation_error_collector_;
96   }
97 
98   // implements DescriptorDatabase -----------------------------------
99   bool FindFileByName(const string& filename, FileDescriptorProto* output);
100   bool FindFileContainingSymbol(const string& symbol_name,
101                                 FileDescriptorProto* output);
102   bool FindFileContainingExtension(const string& containing_type,
103                                    int field_number,
104                                    FileDescriptorProto* output);
105 
106  private:
107   class SingleFileErrorCollector;
108 
109   SourceTree* source_tree_;
110   MultiFileErrorCollector* error_collector_;
111 
112   class LIBPROTOBUF_EXPORT ValidationErrorCollector : public DescriptorPool::ErrorCollector {
113    public:
114     ValidationErrorCollector(SourceTreeDescriptorDatabase* owner);
115     ~ValidationErrorCollector();
116 
117     // implements ErrorCollector ---------------------------------------
118     void AddError(const string& filename,
119                   const string& element_name,
120                   const Message* descriptor,
121                   ErrorLocation location,
122                   const string& message);
123 
124    private:
125     SourceTreeDescriptorDatabase* owner_;
126   };
127   friend class ValidationErrorCollector;
128 
129   bool using_validation_error_collector_;
130   SourceLocationTable source_locations_;
131   ValidationErrorCollector validation_error_collector_;
132 };
133 
134 // Simple interface for parsing .proto files.  This wraps the process
135 // of opening the file, parsing it with a Parser, recursively parsing all its
136 // imports, and then cross-linking the results to produce a FileDescriptor.
137 //
138 // This is really just a thin wrapper around SourceTreeDescriptorDatabase.
139 // You may find that SourceTreeDescriptorDatabase is more flexible.
140 //
141 // TODO(kenton):  I feel like this class is not well-named.
142 class LIBPROTOBUF_EXPORT Importer {
143  public:
144   Importer(SourceTree* source_tree,
145            MultiFileErrorCollector* error_collector);
146   ~Importer();
147 
148   // Import the given file and build a FileDescriptor representing it.  If
149   // the file is already in the DescriptorPool, the existing FileDescriptor
150   // will be returned.  The FileDescriptor is property of the DescriptorPool,
151   // and will remain valid until it is destroyed.  If any errors occur, they
152   // will be reported using the error collector and Import() will return NULL.
153   //
154   // A particular Importer object will only report errors for a particular
155   // file once.  All future attempts to import the same file will return NULL
156   // without reporting any errors.  The idea is that you might want to import
157   // a lot of files without seeing the same errors over and over again.  If
158   // you want to see errors for the same files repeatedly, you can use a
159   // separate Importer object to import each one (but use the same
160   // DescriptorPool so that they can be cross-linked).
161   const FileDescriptor* Import(const string& filename);
162 
163   // The DescriptorPool in which all imported FileDescriptors and their
164   // contents are stored.
pool()165   inline const DescriptorPool* pool() const {
166     return &pool_;
167   }
168 
169   void AddUnusedImportTrackFile(const string& file_name);
170   void ClearUnusedImportTrackFiles();
171 
172  private:
173   SourceTreeDescriptorDatabase database_;
174   DescriptorPool pool_;
175 
176   GOOGLE_DISALLOW_EVIL_CONSTRUCTORS(Importer);
177 };
178 
179 // If the importer encounters problems while trying to import the proto files,
180 // it reports them to a MultiFileErrorCollector.
181 class LIBPROTOBUF_EXPORT MultiFileErrorCollector {
182  public:
MultiFileErrorCollector()183   inline MultiFileErrorCollector() {}
184   virtual ~MultiFileErrorCollector();
185 
186   // Line and column numbers are zero-based.  A line number of -1 indicates
187   // an error with the entire file (e.g. "not found").
188   virtual void AddError(const string& filename, int line, int column,
189                         const string& message) = 0;
190 
191  private:
192   GOOGLE_DISALLOW_EVIL_CONSTRUCTORS(MultiFileErrorCollector);
193 };
194 
195 // Abstract interface which represents a directory tree containing proto files.
196 // Used by the default implementation of Importer to resolve import statements
197 // Most users will probably want to use the DiskSourceTree implementation,
198 // below.
199 class LIBPROTOBUF_EXPORT SourceTree {
200  public:
SourceTree()201   inline SourceTree() {}
202   virtual ~SourceTree();
203 
204   // Open the given file and return a stream that reads it, or NULL if not
205   // found.  The caller takes ownership of the returned object.  The filename
206   // must be a path relative to the root of the source tree and must not
207   // contain "." or ".." components.
208   virtual io::ZeroCopyInputStream* Open(const string& filename) = 0;
209 
210   // If Open() returns NULL, calling this method immediately will return an
211   // description of the error.
212   // Subclasses should implement this method and return a meaningful value for
213   // better error reporting.
214   // TODO(xiaofeng): change this to a pure virtual function.
215   virtual string GetLastErrorMessage();
216 
217  private:
218   GOOGLE_DISALLOW_EVIL_CONSTRUCTORS(SourceTree);
219 };
220 
221 // An implementation of SourceTree which loads files from locations on disk.
222 // Multiple mappings can be set up to map locations in the DiskSourceTree to
223 // locations in the physical filesystem.
224 class LIBPROTOBUF_EXPORT DiskSourceTree : public SourceTree {
225  public:
226   DiskSourceTree();
227   ~DiskSourceTree();
228 
229   // Map a path on disk to a location in the SourceTree.  The path may be
230   // either a file or a directory.  If it is a directory, the entire tree
231   // under it will be mapped to the given virtual location.  To map a directory
232   // to the root of the source tree, pass an empty string for virtual_path.
233   //
234   // If multiple mapped paths apply when opening a file, they will be searched
235   // in order.  For example, if you do:
236   //   MapPath("bar", "foo/bar");
237   //   MapPath("", "baz");
238   // and then you do:
239   //   Open("bar/qux");
240   // the DiskSourceTree will first try to open foo/bar/qux, then baz/bar/qux,
241   // returning the first one that opens successfuly.
242   //
243   // disk_path may be an absolute path or relative to the current directory,
244   // just like a path you'd pass to open().
245   void MapPath(const string& virtual_path, const string& disk_path);
246 
247   // Return type for DiskFileToVirtualFile().
248   enum DiskFileToVirtualFileResult {
249     SUCCESS,
250     SHADOWED,
251     CANNOT_OPEN,
252     NO_MAPPING
253   };
254 
255   // Given a path to a file on disk, find a virtual path mapping to that
256   // file.  The first mapping created with MapPath() whose disk_path contains
257   // the filename is used.  However, that virtual path may not actually be
258   // usable to open the given file.  Possible return values are:
259   // * SUCCESS: The mapping was found.  *virtual_file is filled in so that
260   //   calling Open(*virtual_file) will open the file named by disk_file.
261   // * SHADOWED: A mapping was found, but using Open() to open this virtual
262   //   path will end up returning some different file.  This is because some
263   //   other mapping with a higher precedence also matches this virtual path
264   //   and maps it to a different file that exists on disk.  *virtual_file
265   //   is filled in as it would be in the SUCCESS case.  *shadowing_disk_file
266   //   is filled in with the disk path of the file which would be opened if
267   //   you were to call Open(*virtual_file).
268   // * CANNOT_OPEN: The mapping was found and was not shadowed, but the
269   //   file specified cannot be opened.  When this value is returned,
270   //   errno will indicate the reason the file cannot be opened.  *virtual_file
271   //   will be set to the virtual path as in the SUCCESS case, even though
272   //   it is not useful.
273   // * NO_MAPPING: Indicates that no mapping was found which contains this
274   //   file.
275   DiskFileToVirtualFileResult
276     DiskFileToVirtualFile(const string& disk_file,
277                           string* virtual_file,
278                           string* shadowing_disk_file);
279 
280   // Given a virtual path, find the path to the file on disk.
281   // Return true and update disk_file with the on-disk path if the file exists.
282   // Return false and leave disk_file untouched if the file doesn't exist.
283   bool VirtualFileToDiskFile(const string& virtual_file, string* disk_file);
284 
285   // implements SourceTree -------------------------------------------
286   virtual io::ZeroCopyInputStream* Open(const string& filename);
287 
288   virtual string GetLastErrorMessage();
289 
290  private:
291   struct Mapping {
292     string virtual_path;
293     string disk_path;
294 
MappingMapping295     inline Mapping(const string& virtual_path_param,
296                    const string& disk_path_param)
297       : virtual_path(virtual_path_param), disk_path(disk_path_param) {}
298   };
299   vector<Mapping> mappings_;
300   string last_error_message_;
301 
302   // Like Open(), but returns the on-disk path in disk_file if disk_file is
303   // non-NULL and the file could be successfully opened.
304   io::ZeroCopyInputStream* OpenVirtualFile(const string& virtual_file,
305                                            string* disk_file);
306 
307   // Like Open() but given the actual on-disk path.
308   io::ZeroCopyInputStream* OpenDiskFile(const string& filename);
309 
310   GOOGLE_DISALLOW_EVIL_CONSTRUCTORS(DiskSourceTree);
311 };
312 
313 }  // namespace compiler
314 }  // namespace protobuf
315 
316 }  // namespace google
317 #endif  // GOOGLE_PROTOBUF_COMPILER_IMPORTER_H__
318