cannam@132: // Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors cannam@132: // Licensed under the MIT License: cannam@132: // cannam@132: // Permission is hereby granted, free of charge, to any person obtaining a copy cannam@132: // of this software and associated documentation files (the "Software"), to deal cannam@132: // in the Software without restriction, including without limitation the rights cannam@132: // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell cannam@132: // copies of the Software, and to permit persons to whom the Software is cannam@132: // furnished to do so, subject to the following conditions: cannam@132: // cannam@132: // The above copyright notice and this permission notice shall be included in cannam@132: // all copies or substantial portions of the Software. cannam@132: // cannam@132: // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR cannam@132: // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, cannam@132: // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE cannam@132: // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER cannam@132: // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, cannam@132: // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN cannam@132: // THE SOFTWARE. cannam@132: cannam@132: #ifndef CAPNP_SCHEMA_LOADER_H_ cannam@132: #define CAPNP_SCHEMA_LOADER_H_ cannam@132: cannam@132: #if defined(__GNUC__) && !defined(CAPNP_HEADER_WARNINGS) cannam@132: #pragma GCC system_header cannam@132: #endif cannam@132: cannam@132: #include "schema.h" cannam@132: #include cannam@132: #include cannam@132: cannam@132: namespace capnp { cannam@132: cannam@132: class SchemaLoader { cannam@132: // Class which can be used to construct Schema objects from schema::Nodes as defined in cannam@132: // schema.capnp. cannam@132: // cannam@132: // It is a bad idea to use this class on untrusted input with exceptions disabled -- you may cannam@132: // be exposing yourself to denial-of-service attacks, as attackers can easily construct schemas cannam@132: // that are subtly inconsistent in a way that causes exceptions to be thrown either by cannam@132: // SchemaLoader or by the dynamic API when the schemas are subsequently used. If you enable and cannam@132: // properly catch exceptions, you should be OK -- assuming no bugs in the Cap'n Proto cannam@132: // implementation, of course. cannam@132: cannam@132: public: cannam@132: class LazyLoadCallback { cannam@132: public: cannam@132: virtual void load(const SchemaLoader& loader, uint64_t id) const = 0; cannam@132: // Request that the schema node with the given ID be loaded into the given SchemaLoader. If cannam@132: // the callback is able to find a schema for this ID, it should invoke `loadOnce()` on cannam@132: // `loader` to load it. If no such node exists, it should simply do nothing and return. cannam@132: // cannam@132: // The callback is allowed to load schema nodes other than the one requested, e.g. because it cannam@132: // expects they will be needed soon. cannam@132: // cannam@132: // If the `SchemaLoader` is used from multiple threads, the callback must be thread-safe. cannam@132: // In particular, it's possible for multiple threads to invoke `load()` with the same ID. cannam@132: // If the callback performs a large amount of work to look up IDs, it should be sure to cannam@132: // de-dup these requests. cannam@132: }; cannam@132: cannam@132: SchemaLoader(); cannam@132: cannam@132: SchemaLoader(const LazyLoadCallback& callback); cannam@132: // Construct a SchemaLoader which will invoke the given callback when a schema node is requested cannam@132: // that isn't already loaded. cannam@132: cannam@132: ~SchemaLoader() noexcept(false); cannam@132: KJ_DISALLOW_COPY(SchemaLoader); cannam@132: cannam@132: Schema get(uint64_t id, schema::Brand::Reader brand = schema::Brand::Reader(), cannam@132: Schema scope = Schema()) const; cannam@132: // Gets the schema for the given ID, throwing an exception if it isn't present. cannam@132: // cannam@132: // The returned schema may be invalidated if load() is called with a new schema for the same ID. cannam@132: // In general, you should not call load() while a schema from this loader is in-use. cannam@132: // cannam@132: // `brand` and `scope` are used to determine brand bindings where relevant. `brand` gives cannam@132: // parameter bindings for the target type's brand parameters that were specified at the reference cannam@132: // site. `scope` specifies the scope in which the type ID appeared -- if `brand` itself contains cannam@132: // parameter references or indicates that some parameters will be inherited, these will be cannam@132: // interpreted within / inherited from `scope`. cannam@132: cannam@132: kj::Maybe tryGet(uint64_t id, schema::Brand::Reader bindings = schema::Brand::Reader(), cannam@132: Schema scope = Schema()) const; cannam@132: // Like get() but doesn't throw. cannam@132: cannam@132: Schema getUnbound(uint64_t id) const; cannam@132: // Gets a special version of the schema in which all brand parameters are "unbound". This means cannam@132: // that if you look up a type via the Schema API, and it resolves to a brand parameter, the cannam@132: // returned Type's getBrandParameter() method will return info about that parameter. Otherwise, cannam@132: // normally, all brand parameters that aren't otherwise bound are assumed to simply be cannam@132: // "AnyPointer". cannam@132: cannam@132: Type getType(schema::Type::Reader type, Schema scope = Schema()) const; cannam@132: // Convenience method which interprets a schema::Type to produce a Type object. Implemented in cannam@132: // terms of get(). cannam@132: cannam@132: Schema load(const schema::Node::Reader& reader); cannam@132: // Loads the given schema node. Validates the node and throws an exception if invalid. This cannam@132: // makes a copy of the schema, so the object passed in can be destroyed after this returns. cannam@132: // cannam@132: // If the node has any dependencies which are not already loaded, they will be initialized as cannam@132: // stubs -- empty schemas of whichever kind is expected. cannam@132: // cannam@132: // If another schema for the given reader has already been seen, the loader will inspect both cannam@132: // schemas to determine which one is newer, and use that that one. If the two versions are cannam@132: // found to be incompatible, an exception is thrown. If the two versions differ but are cannam@132: // compatible and the loader cannot determine which is newer (e.g., the only changes are renames), cannam@132: // the existing schema will be preferred. Note that in any case, the loader will end up keeping cannam@132: // around copies of both schemas, so you shouldn't repeatedly reload schemas into the same loader. cannam@132: // cannam@132: // The following properties of the schema node are validated: cannam@132: // - Struct size and preferred list encoding are valid and consistent. cannam@132: // - Struct members are fields or unions. cannam@132: // - Union members are fields. cannam@132: // - Field offsets are in-bounds. cannam@132: // - Ordinals and codeOrders are sequential starting from zero. cannam@132: // - Values are of the right union case to match their types. cannam@132: // cannam@132: // You should assume anything not listed above is NOT validated. In particular, things that are cannam@132: // not validated now, but could be in the future, include but are not limited to: cannam@132: // - Names. cannam@132: // - Annotation values. (This is hard because the annotation declaration is not always cannam@132: // available.) cannam@132: // - Content of default/constant values of pointer type. (Validating these would require knowing cannam@132: // their schema, but even if the schemas are available at validation time, they could be cannam@132: // updated by a subsequent load(), invalidating existing values. Instead, these values are cannam@132: // validated at the time they are used, as usual for Cap'n Proto objects.) cannam@132: // cannam@132: // Also note that unknown types are not considered invalid. Instead, the dynamic API returns cannam@132: // a DynamicValue with type UNKNOWN for these. cannam@132: cannam@132: Schema loadOnce(const schema::Node::Reader& reader) const; cannam@132: // Like `load()` but does nothing if a schema with the same ID is already loaded. In contrast, cannam@132: // `load()` would attempt to compare the schemas and take the newer one. `loadOnce()` is safe cannam@132: // to call even while concurrently using schemas from this loader. It should be considered an cannam@132: // error to call `loadOnce()` with two non-identical schemas that share the same ID, although cannam@132: // this error may or may not actually be detected by the implementation. cannam@132: cannam@132: template cannam@132: void loadCompiledTypeAndDependencies(); cannam@132: // Load the schema for the given compiled-in type and all of its dependencies. cannam@132: // cannam@132: // If you want to be able to cast a DynamicValue built from this SchemaLoader to the compiled-in cannam@132: // type using as(), you must call this method before constructing the DynamicValue. Otherwise, cannam@132: // as() will throw an exception complaining about type mismatch. cannam@132: cannam@132: kj::Array getAllLoaded() const; cannam@132: // Get a complete list of all loaded schema nodes. It is particularly useful to call this after cannam@132: // loadCompiledTypeAndDependencies() in order to get a flat list of all of T's transitive cannam@132: // dependencies. cannam@132: cannam@132: private: cannam@132: class Validator; cannam@132: class CompatibilityChecker; cannam@132: class Impl; cannam@132: class InitializerImpl; cannam@132: class BrandedInitializerImpl; cannam@132: kj::MutexGuarded> impl; cannam@132: cannam@132: void loadNative(const _::RawSchema* nativeSchema); cannam@132: }; cannam@132: cannam@132: template cannam@132: inline void SchemaLoader::loadCompiledTypeAndDependencies() { cannam@132: loadNative(&_::rawSchema()); cannam@132: } cannam@132: cannam@132: } // namespace capnp cannam@132: cannam@132: #endif // CAPNP_SCHEMA_LOADER_H_