cannam@62: // Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors cannam@62: // Licensed under the MIT License: cannam@62: // cannam@62: // Permission is hereby granted, free of charge, to any person obtaining a copy cannam@62: // of this software and associated documentation files (the "Software"), to deal cannam@62: // in the Software without restriction, including without limitation the rights cannam@62: // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell cannam@62: // copies of the Software, and to permit persons to whom the Software is cannam@62: // furnished to do so, subject to the following conditions: cannam@62: // cannam@62: // The above copyright notice and this permission notice shall be included in cannam@62: // all copies or substantial portions of the Software. cannam@62: // cannam@62: // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR cannam@62: // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, cannam@62: // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE cannam@62: // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER cannam@62: // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, cannam@62: // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN cannam@62: // THE SOFTWARE. cannam@62: cannam@62: #ifndef CAPNP_SCHEMA_PARSER_H_ cannam@62: #define CAPNP_SCHEMA_PARSER_H_ cannam@62: cannam@62: #if defined(__GNUC__) && !defined(CAPNP_HEADER_WARNINGS) cannam@62: #pragma GCC system_header cannam@62: #endif cannam@62: cannam@62: #include "schema-loader.h" cannam@62: #include cannam@62: cannam@62: namespace capnp { cannam@62: cannam@62: class ParsedSchema; cannam@62: class SchemaFile; cannam@62: cannam@62: class SchemaParser { cannam@62: // Parses `.capnp` files to produce `Schema` objects. cannam@62: // cannam@62: // This class is thread-safe, hence all its methods are const. cannam@62: cannam@62: public: cannam@62: SchemaParser(); cannam@62: ~SchemaParser() noexcept(false); cannam@62: cannam@62: ParsedSchema parseDiskFile(kj::StringPtr displayName, kj::StringPtr diskPath, cannam@62: kj::ArrayPtr importPath) const; cannam@62: // Parse a file located on disk. Throws an exception if the file dosen't exist. cannam@62: // cannam@62: // Parameters: cannam@62: // * `displayName`: The name that will appear in the file's schema node. (If the file has cannam@62: // already been parsed, this will be ignored and the display name from the first time it was cannam@62: // parsed will be kept.) cannam@62: // * `diskPath`: The path to the file on disk. cannam@62: // * `importPath`: Directories to search when resolving absolute imports within this file cannam@62: // (imports that start with a `/`). Must remain valid until the SchemaParser is destroyed. cannam@62: // (If the file has already been parsed, this will be ignored and the import path from the cannam@62: // first time it was parsed will be kept.) cannam@62: // cannam@62: // This method is a shortcut, equivalent to: cannam@62: // parser.parseFile(SchemaFile::newDiskFile(displayName, diskPath, importPath))`; cannam@62: // cannam@62: // This method throws an exception if any errors are encountered in the file or in anything the cannam@62: // file depends on. Note that merely importing another file does not count as a dependency on cannam@62: // anything in the imported file -- only the imported types which are actually used are cannam@62: // "dependencies". cannam@62: cannam@62: ParsedSchema parseFile(kj::Own&& file) const; cannam@62: // Advanced interface for parsing a file that may or may not be located in any global namespace. cannam@62: // Most users will prefer `parseDiskFile()`. cannam@62: // cannam@62: // If the file has already been parsed (that is, a SchemaFile that compares equal to this one cannam@62: // was parsed previously), the existing schema will be returned again. cannam@62: // cannam@62: // This method reports errors by calling SchemaFile::reportError() on the file where the error cannam@62: // is located. If that call does not throw an exception, `parseFile()` may in fact return cannam@62: // normally. In this case, the result is a best-effort attempt to compile the schema, but it cannam@62: // may be invalid or corrupt, and using it for anything may cause exceptions to be thrown. cannam@62: cannam@62: template cannam@62: inline void loadCompiledTypeAndDependencies() { cannam@62: // See SchemaLoader::loadCompiledTypeAndDependencies(). cannam@62: getLoader().loadCompiledTypeAndDependencies(); cannam@62: } cannam@62: cannam@62: private: cannam@62: struct Impl; cannam@62: class ModuleImpl; cannam@62: kj::Own impl; cannam@62: mutable bool hadErrors = false; cannam@62: cannam@62: ModuleImpl& getModuleImpl(kj::Own&& file) const; cannam@62: SchemaLoader& getLoader(); cannam@62: cannam@62: friend class ParsedSchema; cannam@62: }; cannam@62: cannam@62: class ParsedSchema: public Schema { cannam@62: // ParsedSchema is an extension of Schema which also has the ability to look up nested nodes cannam@62: // by name. See `SchemaParser`. cannam@62: cannam@62: public: cannam@62: inline ParsedSchema(): parser(nullptr) {} cannam@62: cannam@62: kj::Maybe findNested(kj::StringPtr name) const; cannam@62: // Gets the nested node with the given name, or returns null if there is no such nested cannam@62: // declaration. cannam@62: cannam@62: ParsedSchema getNested(kj::StringPtr name) const; cannam@62: // Gets the nested node with the given name, or throws an exception if there is no such nested cannam@62: // declaration. cannam@62: cannam@62: private: cannam@62: inline ParsedSchema(Schema inner, const SchemaParser& parser): Schema(inner), parser(&parser) {} cannam@62: cannam@62: const SchemaParser* parser; cannam@62: friend class SchemaParser; cannam@62: }; cannam@62: cannam@62: // ======================================================================================= cannam@62: // Advanced API cannam@62: cannam@62: class SchemaFile { cannam@62: // Abstract interface representing a schema file. You can implement this yourself in order to cannam@62: // gain more control over how the compiler resolves imports and reads files. For the cannam@62: // common case of files on disk or other global filesystem-like namespaces, use cannam@62: // `SchemaFile::newDiskFile()`. cannam@62: cannam@62: public: cannam@62: class FileReader { cannam@62: public: cannam@62: virtual bool exists(kj::StringPtr path) const = 0; cannam@62: virtual kj::Array read(kj::StringPtr path) const = 0; cannam@62: }; cannam@62: cannam@62: class DiskFileReader final: public FileReader { cannam@62: // Implementation of FileReader that uses the local disk. Files are read using mmap() if cannam@62: // possible. cannam@62: cannam@62: public: cannam@62: static const DiskFileReader instance; cannam@62: cannam@62: bool exists(kj::StringPtr path) const override; cannam@62: kj::Array read(kj::StringPtr path) const override; cannam@62: }; cannam@62: cannam@62: static kj::Own newDiskFile( cannam@62: kj::StringPtr displayName, kj::StringPtr diskPath, cannam@62: kj::ArrayPtr importPath, cannam@62: const FileReader& fileReader = DiskFileReader::instance); cannam@62: // Construct a SchemaFile representing a file on disk (or located in the filesystem-like cannam@62: // namespace represented by `fileReader`). cannam@62: // cannam@62: // Parameters: cannam@62: // * `displayName`: The name that will appear in the file's schema node. cannam@62: // * `diskPath`: The path to the file on disk. cannam@62: // * `importPath`: Directories to search when resolving absolute imports within this file cannam@62: // (imports that start with a `/`). The array content must remain valid as long as the cannam@62: // SchemaFile exists (which is at least as long as the SchemaParser that parses it exists). cannam@62: // * `fileReader`: Allows you to use a filesystem other than the actual local disk. Although, cannam@62: // if you find yourself using this, it may make more sense for you to implement SchemaFile cannam@62: // yourself. cannam@62: // cannam@62: // The SchemaFile compares equal to any other SchemaFile that has exactly the same disk path, cannam@62: // after canonicalization. cannam@62: // cannam@62: // The SchemaFile will throw an exception if any errors are reported. cannam@62: cannam@62: // ----------------------------------------------------------------- cannam@62: // For more control, you can implement this interface. cannam@62: cannam@62: virtual kj::StringPtr getDisplayName() const = 0; cannam@62: // Get the file's name, as it should appear in the schema. cannam@62: cannam@62: virtual kj::Array readContent() const = 0; cannam@62: // Read the file's entire content and return it as a byte array. cannam@62: cannam@62: virtual kj::Maybe> import(kj::StringPtr path) const = 0; cannam@62: // Resolve an import, relative to this file. cannam@62: // cannam@62: // `path` is exactly what appears between quotes after the `import` keyword in the source code. cannam@62: // It is entirely up to the `SchemaFile` to decide how to map this to another file. Typically, cannam@62: // a leading '/' means that the file is an "absolute" path and is searched for in some list of cannam@62: // schema file repositories. On the other hand, a path that doesn't start with '/' is relative cannam@62: // to the importing file. cannam@62: cannam@62: virtual bool operator==(const SchemaFile& other) const = 0; cannam@62: virtual bool operator!=(const SchemaFile& other) const = 0; cannam@62: virtual size_t hashCode() const = 0; cannam@62: // Compare two SchemaFiles to see if they refer to the same underlying file. This is an cannam@62: // optimization used to avoid the need to re-parse a file to check its ID. cannam@62: cannam@62: struct SourcePos { cannam@62: uint byte; cannam@62: uint line; cannam@62: uint column; cannam@62: }; cannam@62: virtual void reportError(SourcePos start, SourcePos end, kj::StringPtr message) const = 0; cannam@62: // Report that the file contains an error at the given interval. cannam@62: cannam@62: private: cannam@62: class DiskSchemaFile; cannam@62: }; cannam@62: cannam@62: } // namespace capnp cannam@62: cannam@62: #endif // CAPNP_SCHEMA_PARSER_H_