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: // This file defines classes that can be used to manipulate messages based on schemas that are not cannam@132: // known until runtime. This is also useful for writing generic code that uses schemas to handle cannam@132: // arbitrary types in a generic way. cannam@132: // cannam@132: // Each of the classes defined here has a to() template method which converts an instance back to a cannam@132: // native type. This method will throw an exception if the requested type does not match the cannam@132: // schema. To convert native types to dynamic, use DynamicFactory. cannam@132: // cannam@132: // As always, underlying data is validated lazily, so you have to actually traverse the whole cannam@132: // message if you want to validate all content. cannam@132: cannam@132: #ifndef CAPNP_DYNAMIC_H_ cannam@132: #define CAPNP_DYNAMIC_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 "layout.h" cannam@132: #include "message.h" cannam@132: #include "any.h" cannam@132: #include "capability.h" cannam@132: cannam@132: namespace capnp { cannam@132: cannam@132: class MessageReader; cannam@132: class MessageBuilder; cannam@132: cannam@132: struct DynamicValue { cannam@132: DynamicValue() = delete; cannam@132: cannam@132: enum Type { cannam@132: UNKNOWN, cannam@132: // Means that the value has unknown type and content because it comes from a newer version of cannam@132: // the schema, or from a newer version of Cap'n Proto that has new features that this version cannam@132: // doesn't understand. cannam@132: cannam@132: VOID, cannam@132: BOOL, cannam@132: INT, cannam@132: UINT, cannam@132: FLOAT, cannam@132: TEXT, cannam@132: DATA, cannam@132: LIST, cannam@132: ENUM, cannam@132: STRUCT, cannam@132: CAPABILITY, cannam@132: ANY_POINTER cannam@132: }; cannam@132: cannam@132: class Reader; cannam@132: class Builder; cannam@132: class Pipeline; cannam@132: }; cannam@132: class DynamicEnum; cannam@132: struct DynamicStruct { cannam@132: DynamicStruct() = delete; cannam@132: class Reader; cannam@132: class Builder; cannam@132: class Pipeline; cannam@132: }; cannam@132: struct DynamicList { cannam@132: DynamicList() = delete; cannam@132: class Reader; cannam@132: class Builder; cannam@132: }; cannam@132: struct DynamicCapability { cannam@132: DynamicCapability() = delete; cannam@132: class Client; cannam@132: class Server; cannam@132: }; cannam@132: template <> class Orphan; cannam@132: cannam@132: template struct DynamicTypeFor_; cannam@132: template <> struct DynamicTypeFor_ { typedef DynamicEnum Type; }; cannam@132: template <> struct DynamicTypeFor_ { typedef DynamicStruct Type; }; cannam@132: template <> struct DynamicTypeFor_ { typedef DynamicList Type; }; cannam@132: template <> struct DynamicTypeFor_ { typedef DynamicCapability Type; }; cannam@132: cannam@132: template cannam@132: using DynamicTypeFor = typename DynamicTypeFor_()>::Type; cannam@132: cannam@132: template cannam@132: ReaderFor>> toDynamic(T&& value); cannam@132: template cannam@132: BuilderFor>> toDynamic(T&& value); cannam@132: template cannam@132: DynamicTypeFor> toDynamic(T&& value); cannam@132: template cannam@132: typename DynamicTypeFor>::Client toDynamic(kj::Own&& value); cannam@132: cannam@132: namespace _ { // private cannam@132: cannam@132: template <> struct Kind_ { static constexpr Kind kind = Kind::OTHER; }; cannam@132: template <> struct Kind_ { static constexpr Kind kind = Kind::OTHER; }; cannam@132: template <> struct Kind_ { static constexpr Kind kind = Kind::OTHER; }; cannam@132: template <> struct Kind_ { static constexpr Kind kind = Kind::OTHER; }; cannam@132: template <> struct Kind_ { static constexpr Kind kind = Kind::OTHER; }; cannam@132: cannam@132: } // namespace _ (private) cannam@132: cannam@132: template <> inline constexpr Style style() { return Style::POINTER; } cannam@132: template <> inline constexpr Style style() { return Style::PRIMITIVE; } cannam@132: template <> inline constexpr Style style() { return Style::STRUCT; } cannam@132: template <> inline constexpr Style style() { return Style::POINTER; } cannam@132: template <> inline constexpr Style style() { return Style::CAPABILITY; } cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: class DynamicEnum { cannam@132: public: cannam@132: DynamicEnum() = default; cannam@132: inline DynamicEnum(EnumSchema::Enumerant enumerant) cannam@132: : schema(enumerant.getContainingEnum()), value(enumerant.getOrdinal()) {} cannam@132: inline DynamicEnum(EnumSchema schema, uint16_t value) cannam@132: : schema(schema), value(value) {} cannam@132: cannam@132: template () == Kind::ENUM>> cannam@132: inline DynamicEnum(T&& value): DynamicEnum(toDynamic(value)) {} cannam@132: cannam@132: template cannam@132: inline T as() const { return static_cast(asImpl(typeId())); } cannam@132: // Cast to a native enum type. cannam@132: cannam@132: inline EnumSchema getSchema() const { return schema; } cannam@132: cannam@132: kj::Maybe getEnumerant() const; cannam@132: // Get which enumerant this enum value represents. Returns nullptr if the numeric value does not cannam@132: // correspond to any enumerant in the schema -- this can happen if the data was built using a cannam@132: // newer schema that has more values defined. cannam@132: cannam@132: inline uint16_t getRaw() const { return value; } cannam@132: // Returns the raw underlying enum value. cannam@132: cannam@132: private: cannam@132: EnumSchema schema; cannam@132: uint16_t value; cannam@132: cannam@132: uint16_t asImpl(uint64_t requestedTypeId) const; cannam@132: cannam@132: friend struct DynamicStruct; cannam@132: friend struct DynamicList; cannam@132: friend struct DynamicValue; cannam@132: template cannam@132: friend DynamicTypeFor> toDynamic(T&& value); cannam@132: }; cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: class DynamicStruct::Reader { cannam@132: public: cannam@132: typedef DynamicStruct Reads; cannam@132: cannam@132: Reader() = default; cannam@132: cannam@132: template >() == Kind::STRUCT>> cannam@132: inline Reader(T&& value): Reader(toDynamic(value)) {} cannam@132: cannam@132: inline MessageSize totalSize() const { return reader.totalSize().asPublic(); } cannam@132: cannam@132: template cannam@132: typename T::Reader as() const; cannam@132: // Convert the dynamic struct to its compiled-in type. cannam@132: cannam@132: inline StructSchema getSchema() const { return schema; } cannam@132: cannam@132: DynamicValue::Reader get(StructSchema::Field field) const; cannam@132: // Read the given field value. cannam@132: cannam@132: bool has(StructSchema::Field field) const; cannam@132: // Tests whether the given field is set to its default value. For pointer values, this does cannam@132: // not actually traverse the value comparing it with the default, but simply returns true if the cannam@132: // pointer is non-null. For members of unions, has() returns false if the union member is not cannam@132: // active, but does not necessarily return true if the member is active (depends on the field's cannam@132: // value). cannam@132: cannam@132: kj::Maybe which() const; cannam@132: // If the struct contains an (unnamed) union, and the currently-active field within that union cannam@132: // is known, this returns that field. Otherwise, it returns null. In other words, this returns cannam@132: // null if there is no union present _or_ if the union's discriminant is set to an unrecognized cannam@132: // value. This could happen in particular when receiving a message from a sender who has a cannam@132: // newer version of the protocol and is using a field of the union that you don't know about yet. cannam@132: cannam@132: DynamicValue::Reader get(kj::StringPtr name) const; cannam@132: bool has(kj::StringPtr name) const; cannam@132: // Shortcuts to access fields by name. These throw exceptions if no such field exists. cannam@132: cannam@132: private: cannam@132: StructSchema schema; cannam@132: _::StructReader reader; cannam@132: cannam@132: inline Reader(StructSchema schema, _::StructReader reader) cannam@132: : schema(schema), reader(reader) {} cannam@132: cannam@132: bool isSetInUnion(StructSchema::Field field) const; cannam@132: void verifySetInUnion(StructSchema::Field field) const; cannam@132: static DynamicValue::Reader getImpl(_::StructReader reader, StructSchema::Field field); cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend class DynamicStruct::Builder; cannam@132: friend struct DynamicList; cannam@132: friend class MessageReader; cannam@132: friend class MessageBuilder; cannam@132: template cannam@132: friend struct ::capnp::ToDynamic_; cannam@132: friend kj::StringTree _::structString( cannam@132: _::StructReader reader, const _::RawBrandedSchema& schema); cannam@132: friend class Orphanage; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: }; cannam@132: cannam@132: class DynamicStruct::Builder { cannam@132: public: cannam@132: typedef DynamicStruct Builds; cannam@132: cannam@132: Builder() = default; cannam@132: inline Builder(decltype(nullptr)) {} cannam@132: cannam@132: template >() == Kind::STRUCT>> cannam@132: inline Builder(T&& value): Builder(toDynamic(value)) {} cannam@132: cannam@132: inline MessageSize totalSize() const { return asReader().totalSize(); } cannam@132: cannam@132: template cannam@132: typename T::Builder as(); cannam@132: // Cast to a particular struct type. cannam@132: cannam@132: inline StructSchema getSchema() const { return schema; } cannam@132: cannam@132: DynamicValue::Builder get(StructSchema::Field field); cannam@132: // Read the given field value. cannam@132: cannam@132: inline bool has(StructSchema::Field field) { return asReader().has(field); } cannam@132: // Tests whether the given field is set to its default value. For pointer values, this does cannam@132: // not actually traverse the value comparing it with the default, but simply returns true if the cannam@132: // pointer is non-null. For members of unions, has() returns whether the field is currently cannam@132: // active and the union as a whole is non-default -- so, the only time has() will return false cannam@132: // for an active union field is if it is the default active field and it has its default value. cannam@132: cannam@132: kj::Maybe which(); cannam@132: // If the struct contains an (unnamed) union, and the currently-active field within that union cannam@132: // is known, this returns that field. Otherwise, it returns null. In other words, this returns cannam@132: // null if there is no union present _or_ if the union's discriminant is set to an unrecognized cannam@132: // value. This could happen in particular when receiving a message from a sender who has a cannam@132: // newer version of the protocol and is using a field of the union that you don't know about yet. cannam@132: cannam@132: void set(StructSchema::Field field, const DynamicValue::Reader& value); cannam@132: // Set the given field value. cannam@132: cannam@132: DynamicValue::Builder init(StructSchema::Field field); cannam@132: DynamicValue::Builder init(StructSchema::Field field, uint size); cannam@132: // Init a struct, list, or blob field. cannam@132: cannam@132: void adopt(StructSchema::Field field, Orphan&& orphan); cannam@132: Orphan disown(StructSchema::Field field); cannam@132: // Adopt/disown. This works even for non-pointer fields: adopt() becomes equivalent to set() cannam@132: // and disown() becomes like get() followed by clear(). cannam@132: cannam@132: void clear(StructSchema::Field field); cannam@132: // Clear a field, setting it to its default value. For pointer fields, this actually makes the cannam@132: // field null. cannam@132: cannam@132: DynamicValue::Builder get(kj::StringPtr name); cannam@132: bool has(kj::StringPtr name); cannam@132: void set(kj::StringPtr name, const DynamicValue::Reader& value); cannam@132: void set(kj::StringPtr name, std::initializer_list value); cannam@132: DynamicValue::Builder init(kj::StringPtr name); cannam@132: DynamicValue::Builder init(kj::StringPtr name, uint size); cannam@132: void adopt(kj::StringPtr name, Orphan&& orphan); cannam@132: Orphan disown(kj::StringPtr name); cannam@132: void clear(kj::StringPtr name); cannam@132: // Shortcuts to access fields by name. These throw exceptions if no such field exists. cannam@132: cannam@132: Reader asReader() const; cannam@132: cannam@132: private: cannam@132: StructSchema schema; cannam@132: _::StructBuilder builder; cannam@132: cannam@132: inline Builder(StructSchema schema, _::StructBuilder builder) cannam@132: : schema(schema), builder(builder) {} cannam@132: cannam@132: bool isSetInUnion(StructSchema::Field field); cannam@132: void verifySetInUnion(StructSchema::Field field); cannam@132: void setInUnion(StructSchema::Field field); cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend struct DynamicList; cannam@132: friend class MessageReader; cannam@132: friend class MessageBuilder; cannam@132: template cannam@132: friend struct ::capnp::ToDynamic_; cannam@132: friend class Orphanage; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: }; cannam@132: cannam@132: class DynamicStruct::Pipeline { cannam@132: public: cannam@132: typedef DynamicStruct Pipelines; cannam@132: cannam@132: inline Pipeline(decltype(nullptr)): typeless(nullptr) {} cannam@132: cannam@132: template cannam@132: typename T::Pipeline releaseAs(); cannam@132: // Convert the dynamic pipeline to its compiled-in type. cannam@132: cannam@132: inline StructSchema getSchema() { return schema; } cannam@132: cannam@132: DynamicValue::Pipeline get(StructSchema::Field field); cannam@132: // Read the given field value. cannam@132: cannam@132: DynamicValue::Pipeline get(kj::StringPtr name); cannam@132: // Get by string name. cannam@132: cannam@132: private: cannam@132: StructSchema schema; cannam@132: AnyPointer::Pipeline typeless; cannam@132: cannam@132: inline explicit Pipeline(StructSchema schema, AnyPointer::Pipeline&& typeless) cannam@132: : schema(schema), typeless(kj::mv(typeless)) {} cannam@132: cannam@132: friend class Request; cannam@132: }; cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: class DynamicList::Reader { cannam@132: public: cannam@132: typedef DynamicList Reads; cannam@132: cannam@132: inline Reader(): reader(ElementSize::VOID) {} cannam@132: cannam@132: template >() == Kind::LIST>> cannam@132: inline Reader(T&& value): Reader(toDynamic(value)) {} cannam@132: cannam@132: template cannam@132: typename T::Reader as() const; cannam@132: // Try to convert to any List, Data, or Text. Throws an exception if the underlying data cannam@132: // can't possibly represent the requested type. cannam@132: cannam@132: inline ListSchema getSchema() const { return schema; } cannam@132: cannam@132: inline uint size() const { return reader.size() / ELEMENTS; } cannam@132: DynamicValue::Reader operator[](uint index) const; cannam@132: cannam@132: typedef _::IndexingIterator Iterator; cannam@132: inline Iterator begin() const { return Iterator(this, 0); } cannam@132: inline Iterator end() const { return Iterator(this, size()); } cannam@132: cannam@132: private: cannam@132: ListSchema schema; cannam@132: _::ListReader reader; cannam@132: cannam@132: Reader(ListSchema schema, _::ListReader reader): schema(schema), reader(reader) {} cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend struct DynamicStruct; cannam@132: friend class DynamicList::Builder; cannam@132: template cannam@132: friend struct ::capnp::ToDynamic_; cannam@132: friend class Orphanage; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: }; cannam@132: cannam@132: class DynamicList::Builder { cannam@132: public: cannam@132: typedef DynamicList Builds; cannam@132: cannam@132: inline Builder(): builder(ElementSize::VOID) {} cannam@132: inline Builder(decltype(nullptr)): builder(ElementSize::VOID) {} cannam@132: cannam@132: template >() == Kind::LIST>> cannam@132: inline Builder(T&& value): Builder(toDynamic(value)) {} cannam@132: cannam@132: template cannam@132: typename T::Builder as(); cannam@132: // Try to convert to any List, Data, or Text. Throws an exception if the underlying data cannam@132: // can't possibly represent the requested type. cannam@132: cannam@132: inline ListSchema getSchema() const { return schema; } cannam@132: cannam@132: inline uint size() const { return builder.size() / ELEMENTS; } cannam@132: DynamicValue::Builder operator[](uint index); cannam@132: void set(uint index, const DynamicValue::Reader& value); cannam@132: DynamicValue::Builder init(uint index, uint size); cannam@132: void adopt(uint index, Orphan&& orphan); cannam@132: Orphan disown(uint index); cannam@132: cannam@132: typedef _::IndexingIterator Iterator; cannam@132: inline Iterator begin() { return Iterator(this, 0); } cannam@132: inline Iterator end() { return Iterator(this, size()); } cannam@132: cannam@132: void copyFrom(std::initializer_list value); cannam@132: cannam@132: Reader asReader() const; cannam@132: cannam@132: private: cannam@132: ListSchema schema; cannam@132: _::ListBuilder builder; cannam@132: cannam@132: Builder(ListSchema schema, _::ListBuilder builder): schema(schema), builder(builder) {} cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend struct DynamicStruct; cannam@132: template cannam@132: friend struct ::capnp::ToDynamic_; cannam@132: friend class Orphanage; cannam@132: template cannam@132: friend struct _::OrphanGetImpl; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: }; cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: class DynamicCapability::Client: public Capability::Client { cannam@132: public: cannam@132: typedef DynamicCapability Calls; cannam@132: typedef DynamicCapability Reads; cannam@132: cannam@132: Client() = default; cannam@132: cannam@132: template >() == Kind::INTERFACE>> cannam@132: inline Client(T&& client); cannam@132: cannam@132: template ()>> cannam@132: inline Client(kj::Own&& server); cannam@132: cannam@132: template () == Kind::INTERFACE>> cannam@132: typename T::Client as(); cannam@132: template () == Kind::INTERFACE>> cannam@132: typename T::Client releaseAs(); cannam@132: // Convert to any client type. cannam@132: cannam@132: Client upcast(InterfaceSchema requestedSchema); cannam@132: // Upcast to a superclass. Throws an exception if `schema` is not a superclass. cannam@132: cannam@132: inline InterfaceSchema getSchema() { return schema; } cannam@132: cannam@132: Request newRequest( cannam@132: InterfaceSchema::Method method, kj::Maybe sizeHint = nullptr); cannam@132: Request newRequest( cannam@132: kj::StringPtr methodName, kj::Maybe sizeHint = nullptr); cannam@132: cannam@132: private: cannam@132: InterfaceSchema schema; cannam@132: cannam@132: Client(InterfaceSchema schema, kj::Own&& hook) cannam@132: : Capability::Client(kj::mv(hook)), schema(schema) {} cannam@132: cannam@132: template cannam@132: inline Client(InterfaceSchema schema, kj::Own&& server); cannam@132: cannam@132: friend struct Capability; cannam@132: friend struct DynamicStruct; cannam@132: friend struct DynamicList; cannam@132: friend struct DynamicValue; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: }; cannam@132: cannam@132: class DynamicCapability::Server: public Capability::Server { cannam@132: public: cannam@132: typedef DynamicCapability Serves; cannam@132: cannam@132: Server(InterfaceSchema schema): schema(schema) {} cannam@132: cannam@132: virtual kj::Promise call(InterfaceSchema::Method method, cannam@132: CallContext context) = 0; cannam@132: cannam@132: kj::Promise dispatchCall(uint64_t interfaceId, uint16_t methodId, cannam@132: CallContext context) override final; cannam@132: cannam@132: inline InterfaceSchema getSchema() const { return schema; } cannam@132: cannam@132: private: cannam@132: InterfaceSchema schema; cannam@132: }; cannam@132: cannam@132: template <> cannam@132: class Request: public DynamicStruct::Builder { cannam@132: // Specialization of `Request` for DynamicStruct. cannam@132: cannam@132: public: cannam@132: inline Request(DynamicStruct::Builder builder, kj::Own&& hook, cannam@132: StructSchema resultSchema) cannam@132: : DynamicStruct::Builder(builder), hook(kj::mv(hook)), resultSchema(resultSchema) {} cannam@132: cannam@132: RemotePromise send(); cannam@132: // Send the call and return a promise for the results. cannam@132: cannam@132: private: cannam@132: kj::Own hook; cannam@132: StructSchema resultSchema; cannam@132: cannam@132: friend class Capability::Client; cannam@132: friend struct DynamicCapability; cannam@132: template cannam@132: friend class CallContext; cannam@132: friend class RequestHook; cannam@132: }; cannam@132: cannam@132: template <> cannam@132: class CallContext: public kj::DisallowConstCopy { cannam@132: // Wrapper around CallContextHook with a specific return type. cannam@132: // cannam@132: // Methods of this class may only be called from within the server's event loop, not from other cannam@132: // threads. cannam@132: cannam@132: public: cannam@132: explicit CallContext(CallContextHook& hook, StructSchema paramType, StructSchema resultType); cannam@132: cannam@132: DynamicStruct::Reader getParams(); cannam@132: void releaseParams(); cannam@132: DynamicStruct::Builder getResults(kj::Maybe sizeHint = nullptr); cannam@132: DynamicStruct::Builder initResults(kj::Maybe sizeHint = nullptr); cannam@132: void setResults(DynamicStruct::Reader value); cannam@132: void adoptResults(Orphan&& value); cannam@132: Orphanage getResultsOrphanage(kj::Maybe sizeHint = nullptr); cannam@132: template cannam@132: kj::Promise tailCall(Request&& tailRequest); cannam@132: void allowCancellation(); cannam@132: cannam@132: private: cannam@132: CallContextHook* hook; cannam@132: StructSchema paramType; cannam@132: StructSchema resultType; cannam@132: cannam@132: friend class DynamicCapability::Server; cannam@132: }; cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: // Make sure ReaderFor and BuilderFor work for DynamicEnum, DynamicStruct, and cannam@132: // DynamicList, so that we can define DynamicValue::as(). cannam@132: cannam@132: template <> struct ReaderFor_ { typedef DynamicEnum Type; }; cannam@132: template <> struct BuilderFor_ { typedef DynamicEnum Type; }; cannam@132: template <> struct ReaderFor_ { typedef DynamicStruct::Reader Type; }; cannam@132: template <> struct BuilderFor_ { typedef DynamicStruct::Builder Type; }; cannam@132: template <> struct ReaderFor_ { typedef DynamicList::Reader Type; }; cannam@132: template <> struct BuilderFor_ { typedef DynamicList::Builder Type; }; cannam@132: template <> struct ReaderFor_ { typedef DynamicCapability::Client Type; }; cannam@132: template <> struct BuilderFor_ { typedef DynamicCapability::Client Type; }; cannam@132: template <> struct PipelineFor_ { typedef DynamicCapability::Client Type; }; cannam@132: cannam@132: class DynamicValue::Reader { cannam@132: public: cannam@132: typedef DynamicValue Reads; cannam@132: cannam@132: inline Reader(decltype(nullptr) n = nullptr); // UNKNOWN cannam@132: inline Reader(Void value); cannam@132: inline Reader(bool value); cannam@132: inline Reader(char value); cannam@132: inline Reader(signed char value); cannam@132: inline Reader(short value); cannam@132: inline Reader(int value); cannam@132: inline Reader(long value); cannam@132: inline Reader(long long value); cannam@132: inline Reader(unsigned char value); cannam@132: inline Reader(unsigned short value); cannam@132: inline Reader(unsigned int value); cannam@132: inline Reader(unsigned long value); cannam@132: inline Reader(unsigned long long value); cannam@132: inline Reader(float value); cannam@132: inline Reader(double value); cannam@132: inline Reader(const char* value); // Text cannam@132: inline Reader(const Text::Reader& value); cannam@132: inline Reader(const Data::Reader& value); cannam@132: inline Reader(const DynamicList::Reader& value); cannam@132: inline Reader(DynamicEnum value); cannam@132: inline Reader(const DynamicStruct::Reader& value); cannam@132: inline Reader(const AnyPointer::Reader& value); cannam@132: inline Reader(DynamicCapability::Client& value); cannam@132: inline Reader(DynamicCapability::Client&& value); cannam@132: template ()>> cannam@132: inline Reader(kj::Own&& value); cannam@132: Reader(ConstSchema constant); cannam@132: cannam@132: template ()))> cannam@132: inline Reader(T&& value): Reader(toDynamic(kj::mv(value))) {} cannam@132: cannam@132: Reader(const Reader& other); cannam@132: Reader(Reader&& other) noexcept; cannam@132: ~Reader() noexcept(false); cannam@132: Reader& operator=(const Reader& other); cannam@132: Reader& operator=(Reader&& other); cannam@132: // Unfortunately, we cannot use the implicit definitions of these since DynamicCapability is not cannam@132: // trivially copyable. cannam@132: cannam@132: template cannam@132: inline ReaderFor as() const { return AsImpl::apply(*this); } cannam@132: // Use to interpret the value as some Cap'n Proto type. Allowed types are: cannam@132: // - Void, bool, [u]int{8,16,32,64}_t, float, double, any enum: Returns the raw value. cannam@132: // - Text, Data, AnyPointer, any struct type: Returns the corresponding Reader. cannam@132: // - List for any T listed above: Returns List::Reader. cannam@132: // - DynamicEnum: Returns the corresponding type. cannam@132: // - DynamicStruct, DynamicList: Returns the corresponding Reader. cannam@132: // - Any capability type, including DynamicCapability: Returns the corresponding Client. cannam@132: // (TODO(perf): On GCC 4.8 / Clang 3.3, provide rvalue-qualified version that avoids cannam@132: // refcounting.) cannam@132: // cannam@132: // DynamicValue allows various implicit conversions, mostly just to make the interface friendlier. cannam@132: // - Any integer can be converted to any other integer type so long as the actual value is within cannam@132: // the new type's range. cannam@132: // - Floating-point types can be converted to integers as long as no information would be lost cannam@132: // in the conversion. cannam@132: // - Integers can be converted to floating points. This may lose information, but won't throw. cannam@132: // - Float32/Float64 can be converted between each other. Converting Float64 -> Float32 may lose cannam@132: // information, but won't throw. cannam@132: // - Text can be converted to an enum, if the Text matches one of the enumerant names (but not cannam@132: // vice-versa). cannam@132: // - Capabilities can be upcast (cast to a supertype), but not downcast. cannam@132: // cannam@132: // Any other conversion attempt will throw an exception. cannam@132: cannam@132: inline Type getType() const { return type; } cannam@132: // Get the type of this value. cannam@132: cannam@132: private: cannam@132: Type type; cannam@132: cannam@132: union { cannam@132: Void voidValue; cannam@132: bool boolValue; cannam@132: int64_t intValue; cannam@132: uint64_t uintValue; cannam@132: double floatValue; cannam@132: Text::Reader textValue; cannam@132: Data::Reader dataValue; cannam@132: DynamicList::Reader listValue; cannam@132: DynamicEnum enumValue; cannam@132: DynamicStruct::Reader structValue; cannam@132: AnyPointer::Reader anyPointerValue; cannam@132: cannam@132: mutable DynamicCapability::Client capabilityValue; cannam@132: // Declared mutable because `Client`s normally cannot be const. cannam@132: cannam@132: // Warning: Copy/move constructors assume all these types are trivially copyable except cannam@132: // Capability. cannam@132: }; cannam@132: cannam@132: template ()> struct AsImpl; cannam@132: // Implementation backing the as() method. Needs to be a struct to allow partial cannam@132: // specialization. Has a method apply() which does the work. cannam@132: cannam@132: friend class Orphanage; // to speed up newOrphanCopy(DynamicValue::Reader) cannam@132: }; cannam@132: cannam@132: class DynamicValue::Builder { cannam@132: public: cannam@132: typedef DynamicValue Builds; cannam@132: cannam@132: inline Builder(decltype(nullptr) n = nullptr); // UNKNOWN cannam@132: inline Builder(Void value); cannam@132: inline Builder(bool value); cannam@132: inline Builder(char value); cannam@132: inline Builder(signed char value); cannam@132: inline Builder(short value); cannam@132: inline Builder(int value); cannam@132: inline Builder(long value); cannam@132: inline Builder(long long value); cannam@132: inline Builder(unsigned char value); cannam@132: inline Builder(unsigned short value); cannam@132: inline Builder(unsigned int value); cannam@132: inline Builder(unsigned long value); cannam@132: inline Builder(unsigned long long value); cannam@132: inline Builder(float value); cannam@132: inline Builder(double value); cannam@132: inline Builder(Text::Builder value); cannam@132: inline Builder(Data::Builder value); cannam@132: inline Builder(DynamicList::Builder value); cannam@132: inline Builder(DynamicEnum value); cannam@132: inline Builder(DynamicStruct::Builder value); cannam@132: inline Builder(AnyPointer::Builder value); cannam@132: inline Builder(DynamicCapability::Client& value); cannam@132: inline Builder(DynamicCapability::Client&& value); cannam@132: cannam@132: template ()))> cannam@132: inline Builder(T value): Builder(toDynamic(value)) {} cannam@132: cannam@132: Builder(Builder& other); cannam@132: Builder(Builder&& other) noexcept; cannam@132: ~Builder() noexcept(false); cannam@132: Builder& operator=(Builder& other); cannam@132: Builder& operator=(Builder&& other); cannam@132: // Unfortunately, we cannot use the implicit definitions of these since DynamicCapability is not cannam@132: // trivially copyable. cannam@132: cannam@132: template cannam@132: inline BuilderFor as() { return AsImpl::apply(*this); } cannam@132: // See DynamicValue::Reader::as(). cannam@132: cannam@132: inline Type getType() { return type; } cannam@132: // Get the type of this value. cannam@132: cannam@132: Reader asReader() const; cannam@132: cannam@132: private: cannam@132: Type type; cannam@132: cannam@132: union { cannam@132: Void voidValue; cannam@132: bool boolValue; cannam@132: int64_t intValue; cannam@132: uint64_t uintValue; cannam@132: double floatValue; cannam@132: Text::Builder textValue; cannam@132: Data::Builder dataValue; cannam@132: DynamicList::Builder listValue; cannam@132: DynamicEnum enumValue; cannam@132: DynamicStruct::Builder structValue; cannam@132: AnyPointer::Builder anyPointerValue; cannam@132: cannam@132: mutable DynamicCapability::Client capabilityValue; cannam@132: // Declared mutable because `Client`s normally cannot be const. cannam@132: }; cannam@132: cannam@132: template ()> struct AsImpl; cannam@132: // Implementation backing the as() method. Needs to be a struct to allow partial cannam@132: // specialization. Has a method apply() which does the work. cannam@132: cannam@132: friend class Orphan; cannam@132: }; cannam@132: cannam@132: class DynamicValue::Pipeline { cannam@132: public: cannam@132: typedef DynamicValue Pipelines; cannam@132: cannam@132: inline Pipeline(decltype(nullptr) n = nullptr); cannam@132: inline Pipeline(DynamicStruct::Pipeline&& value); cannam@132: inline Pipeline(DynamicCapability::Client&& value); cannam@132: cannam@132: Pipeline(Pipeline&& other) noexcept; cannam@132: Pipeline& operator=(Pipeline&& other); cannam@132: ~Pipeline() noexcept(false); cannam@132: cannam@132: template cannam@132: inline PipelineFor releaseAs() { return AsImpl::apply(*this); } cannam@132: cannam@132: inline Type getType() { return type; } cannam@132: // Get the type of this value. cannam@132: cannam@132: private: cannam@132: Type type; cannam@132: union { cannam@132: DynamicStruct::Pipeline structValue; cannam@132: DynamicCapability::Client capabilityValue; cannam@132: }; cannam@132: cannam@132: template ()> struct AsImpl; cannam@132: // Implementation backing the releaseAs() method. Needs to be a struct to allow partial cannam@132: // specialization. Has a method apply() which does the work. cannam@132: }; cannam@132: cannam@132: kj::StringTree KJ_STRINGIFY(const DynamicValue::Reader& value); cannam@132: kj::StringTree KJ_STRINGIFY(const DynamicValue::Builder& value); cannam@132: kj::StringTree KJ_STRINGIFY(DynamicEnum value); cannam@132: kj::StringTree KJ_STRINGIFY(const DynamicStruct::Reader& value); cannam@132: kj::StringTree KJ_STRINGIFY(const DynamicStruct::Builder& value); cannam@132: kj::StringTree KJ_STRINGIFY(const DynamicList::Reader& value); cannam@132: kj::StringTree KJ_STRINGIFY(const DynamicList::Builder& value); cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: // Orphan <-> Dynamic glue cannam@132: cannam@132: template <> cannam@132: class Orphan { cannam@132: public: cannam@132: Orphan() = default; cannam@132: KJ_DISALLOW_COPY(Orphan); cannam@132: Orphan(Orphan&&) = default; cannam@132: Orphan& operator=(Orphan&&) = default; cannam@132: cannam@132: template () == Kind::STRUCT>> cannam@132: inline Orphan(Orphan&& other): schema(Schema::from()), builder(kj::mv(other.builder)) {} cannam@132: cannam@132: DynamicStruct::Builder get(); cannam@132: DynamicStruct::Reader getReader() const; cannam@132: cannam@132: template cannam@132: Orphan releaseAs(); cannam@132: // Like DynamicStruct::Builder::as(), but coerces the Orphan type. Since Orphans are move-only, cannam@132: // the original Orphan is no longer valid after this call; ownership is cannam@132: // transferred to the returned Orphan. cannam@132: cannam@132: inline bool operator==(decltype(nullptr)) const { return builder == nullptr; } cannam@132: inline bool operator!=(decltype(nullptr)) const { return builder != nullptr; } cannam@132: cannam@132: private: cannam@132: StructSchema schema; cannam@132: _::OrphanBuilder builder; cannam@132: cannam@132: inline Orphan(StructSchema schema, _::OrphanBuilder&& builder) cannam@132: : schema(schema), builder(kj::mv(builder)) {} cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend struct DynamicList; cannam@132: friend class Orphanage; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: friend class MessageBuilder; cannam@132: }; cannam@132: cannam@132: template <> cannam@132: class Orphan { cannam@132: public: cannam@132: Orphan() = default; cannam@132: KJ_DISALLOW_COPY(Orphan); cannam@132: Orphan(Orphan&&) = default; cannam@132: Orphan& operator=(Orphan&&) = default; cannam@132: cannam@132: template () == Kind::LIST>> cannam@132: inline Orphan(Orphan&& other): schema(Schema::from()), builder(kj::mv(other.builder)) {} cannam@132: cannam@132: DynamicList::Builder get(); cannam@132: DynamicList::Reader getReader() const; cannam@132: cannam@132: template cannam@132: Orphan releaseAs(); cannam@132: // Like DynamicList::Builder::as(), but coerces the Orphan type. Since Orphans are move-only, cannam@132: // the original Orphan is no longer valid after this call; ownership is cannam@132: // transferred to the returned Orphan. cannam@132: cannam@132: // TODO(someday): Support truncate(). cannam@132: cannam@132: inline bool operator==(decltype(nullptr)) const { return builder == nullptr; } cannam@132: inline bool operator!=(decltype(nullptr)) const { return builder != nullptr; } cannam@132: cannam@132: private: cannam@132: ListSchema schema; cannam@132: _::OrphanBuilder builder; cannam@132: cannam@132: inline Orphan(ListSchema schema, _::OrphanBuilder&& builder) cannam@132: : schema(schema), builder(kj::mv(builder)) {} cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend struct DynamicList; cannam@132: friend class Orphanage; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: }; cannam@132: cannam@132: template <> cannam@132: class Orphan { cannam@132: public: cannam@132: Orphan() = default; cannam@132: KJ_DISALLOW_COPY(Orphan); cannam@132: Orphan(Orphan&&) = default; cannam@132: Orphan& operator=(Orphan&&) = default; cannam@132: cannam@132: template () == Kind::INTERFACE>> cannam@132: inline Orphan(Orphan&& other): schema(Schema::from()), builder(kj::mv(other.builder)) {} cannam@132: cannam@132: DynamicCapability::Client get(); cannam@132: DynamicCapability::Client getReader() const; cannam@132: cannam@132: template cannam@132: Orphan releaseAs(); cannam@132: // Like DynamicCapability::Client::as(), but coerces the Orphan type. Since Orphans are move-only, cannam@132: // the original Orphan is no longer valid after this call; ownership is cannam@132: // transferred to the returned Orphan. cannam@132: cannam@132: inline bool operator==(decltype(nullptr)) const { return builder == nullptr; } cannam@132: inline bool operator!=(decltype(nullptr)) const { return builder != nullptr; } cannam@132: cannam@132: private: cannam@132: InterfaceSchema schema; cannam@132: _::OrphanBuilder builder; cannam@132: cannam@132: inline Orphan(InterfaceSchema schema, _::OrphanBuilder&& builder) cannam@132: : schema(schema), builder(kj::mv(builder)) {} cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend struct DynamicList; cannam@132: friend class Orphanage; cannam@132: friend class Orphan; cannam@132: friend class Orphan; cannam@132: }; cannam@132: cannam@132: template <> cannam@132: class Orphan { cannam@132: public: cannam@132: inline Orphan(decltype(nullptr) n = nullptr): type(DynamicValue::UNKNOWN) {} cannam@132: inline Orphan(Void value); cannam@132: inline Orphan(bool value); cannam@132: inline Orphan(char value); cannam@132: inline Orphan(signed char value); cannam@132: inline Orphan(short value); cannam@132: inline Orphan(int value); cannam@132: inline Orphan(long value); cannam@132: inline Orphan(long long value); cannam@132: inline Orphan(unsigned char value); cannam@132: inline Orphan(unsigned short value); cannam@132: inline Orphan(unsigned int value); cannam@132: inline Orphan(unsigned long value); cannam@132: inline Orphan(unsigned long long value); cannam@132: inline Orphan(float value); cannam@132: inline Orphan(double value); cannam@132: inline Orphan(DynamicEnum value); cannam@132: Orphan(Orphan&&) = default; cannam@132: template cannam@132: Orphan(Orphan&&); cannam@132: Orphan(Orphan&&); cannam@132: Orphan(void*) = delete; // So Orphan(bool) doesn't accept pointers. cannam@132: KJ_DISALLOW_COPY(Orphan); cannam@132: cannam@132: Orphan& operator=(Orphan&&) = default; cannam@132: cannam@132: inline DynamicValue::Type getType() { return type; } cannam@132: cannam@132: DynamicValue::Builder get(); cannam@132: DynamicValue::Reader getReader() const; cannam@132: cannam@132: template cannam@132: Orphan releaseAs(); cannam@132: // Like DynamicValue::Builder::as(), but coerces the Orphan type. Since Orphans are move-only, cannam@132: // the original Orphan is no longer valid after this call; ownership is cannam@132: // transferred to the returned Orphan. cannam@132: cannam@132: private: cannam@132: DynamicValue::Type type; cannam@132: union { cannam@132: Void voidValue; cannam@132: bool boolValue; cannam@132: int64_t intValue; cannam@132: uint64_t uintValue; cannam@132: double floatValue; cannam@132: DynamicEnum enumValue; cannam@132: StructSchema structSchema; cannam@132: ListSchema listSchema; cannam@132: InterfaceSchema interfaceSchema; cannam@132: }; cannam@132: cannam@132: _::OrphanBuilder builder; cannam@132: // Only used if `type` is a pointer type. cannam@132: cannam@132: Orphan(DynamicValue::Builder value, _::OrphanBuilder&& builder); cannam@132: Orphan(DynamicValue::Type type, _::OrphanBuilder&& builder) cannam@132: : type(type), builder(kj::mv(builder)) {} cannam@132: Orphan(StructSchema structSchema, _::OrphanBuilder&& builder) cannam@132: : type(DynamicValue::STRUCT), structSchema(structSchema), builder(kj::mv(builder)) {} cannam@132: Orphan(ListSchema listSchema, _::OrphanBuilder&& builder) cannam@132: : type(DynamicValue::LIST), listSchema(listSchema), builder(kj::mv(builder)) {} cannam@132: cannam@132: template cannam@132: friend struct _::PointerHelpers; cannam@132: friend struct DynamicStruct; cannam@132: friend struct DynamicList; cannam@132: friend struct AnyPointer; cannam@132: friend class Orphanage; cannam@132: }; cannam@132: cannam@132: template cannam@132: inline Orphan::Orphan(Orphan&& other) cannam@132: : Orphan(other.get(), kj::mv(other.builder)) {} cannam@132: cannam@132: inline Orphan::Orphan(Orphan&& other) cannam@132: : type(DynamicValue::ANY_POINTER), builder(kj::mv(other.builder)) {} cannam@132: cannam@132: template cannam@132: Orphan Orphan::releaseAs() { cannam@132: get().as(); // type check cannam@132: return Orphan(kj::mv(builder)); cannam@132: } cannam@132: cannam@132: template cannam@132: Orphan Orphan::releaseAs() { cannam@132: get().as(); // type check cannam@132: return Orphan(kj::mv(builder)); cannam@132: } cannam@132: cannam@132: template cannam@132: Orphan Orphan::releaseAs() { cannam@132: get().as(); // type check cannam@132: return Orphan(kj::mv(builder)); cannam@132: } cannam@132: cannam@132: template cannam@132: Orphan Orphan::releaseAs() { cannam@132: get().as(); // type check cannam@132: type = DynamicValue::UNKNOWN; cannam@132: return Orphan(kj::mv(builder)); cannam@132: } cannam@132: cannam@132: template <> cannam@132: Orphan Orphan::releaseAs(); cannam@132: template <> cannam@132: Orphan Orphan::releaseAs(); cannam@132: template <> cannam@132: Orphan Orphan::releaseAs(); cannam@132: template <> cannam@132: Orphan Orphan::releaseAs(); cannam@132: cannam@132: template <> cannam@132: struct Orphanage::GetInnerBuilder { cannam@132: static inline _::StructBuilder apply(DynamicStruct::Builder& t) { cannam@132: return t.builder; cannam@132: } cannam@132: }; cannam@132: cannam@132: template <> cannam@132: struct Orphanage::GetInnerBuilder { cannam@132: static inline _::ListBuilder apply(DynamicList::Builder& t) { cannam@132: return t.builder; cannam@132: } cannam@132: }; cannam@132: cannam@132: template <> cannam@132: inline Orphan Orphanage::newOrphanCopy( cannam@132: DynamicStruct::Reader copyFrom) const { cannam@132: return Orphan( cannam@132: copyFrom.getSchema(), _::OrphanBuilder::copy(arena, capTable, copyFrom.reader)); cannam@132: } cannam@132: cannam@132: template <> cannam@132: inline Orphan Orphanage::newOrphanCopy( cannam@132: DynamicList::Reader copyFrom) const { cannam@132: return Orphan(copyFrom.getSchema(), cannam@132: _::OrphanBuilder::copy(arena, capTable, copyFrom.reader)); cannam@132: } cannam@132: cannam@132: template <> cannam@132: inline Orphan Orphanage::newOrphanCopy( cannam@132: DynamicCapability::Client copyFrom) const { cannam@132: return Orphan( cannam@132: copyFrom.getSchema(), _::OrphanBuilder::copy(arena, capTable, copyFrom.hook->addRef())); cannam@132: } cannam@132: cannam@132: template <> cannam@132: Orphan Orphanage::newOrphanCopy( cannam@132: DynamicValue::Reader copyFrom) const; cannam@132: cannam@132: namespace _ { // private cannam@132: cannam@132: template <> cannam@132: struct PointerHelpers { cannam@132: // getDynamic() is used when an AnyPointer's get() accessor is passed arguments, because for cannam@132: // non-dynamic types PointerHelpers::get() takes a default value as the third argument, and we cannam@132: // don't want people to accidentally be able to provide their own default value. cannam@132: static DynamicStruct::Reader getDynamic(PointerReader reader, StructSchema schema); cannam@132: static DynamicStruct::Builder getDynamic(PointerBuilder builder, StructSchema schema); cannam@132: static void set(PointerBuilder builder, const DynamicStruct::Reader& value); cannam@132: static DynamicStruct::Builder init(PointerBuilder builder, StructSchema schema); cannam@132: static inline void adopt(PointerBuilder builder, Orphan&& value) { cannam@132: builder.adopt(kj::mv(value.builder)); cannam@132: } cannam@132: static inline Orphan disown(PointerBuilder builder, StructSchema schema) { cannam@132: return Orphan(schema, builder.disown()); cannam@132: } cannam@132: }; cannam@132: cannam@132: template <> cannam@132: struct PointerHelpers { cannam@132: // getDynamic() is used when an AnyPointer's get() accessor is passed arguments, because for cannam@132: // non-dynamic types PointerHelpers::get() takes a default value as the third argument, and we cannam@132: // don't want people to accidentally be able to provide their own default value. cannam@132: static DynamicList::Reader getDynamic(PointerReader reader, ListSchema schema); cannam@132: static DynamicList::Builder getDynamic(PointerBuilder builder, ListSchema schema); cannam@132: static void set(PointerBuilder builder, const DynamicList::Reader& value); cannam@132: static DynamicList::Builder init(PointerBuilder builder, ListSchema schema, uint size); cannam@132: static inline void adopt(PointerBuilder builder, Orphan&& value) { cannam@132: builder.adopt(kj::mv(value.builder)); cannam@132: } cannam@132: static inline Orphan disown(PointerBuilder builder, ListSchema schema) { cannam@132: return Orphan(schema, builder.disown()); cannam@132: } cannam@132: }; cannam@132: cannam@132: template <> cannam@132: struct PointerHelpers { cannam@132: // getDynamic() is used when an AnyPointer's get() accessor is passed arguments, because for cannam@132: // non-dynamic types PointerHelpers::get() takes a default value as the third argument, and we cannam@132: // don't want people to accidentally be able to provide their own default value. cannam@132: static DynamicCapability::Client getDynamic(PointerReader reader, InterfaceSchema schema); cannam@132: static DynamicCapability::Client getDynamic(PointerBuilder builder, InterfaceSchema schema); cannam@132: static void set(PointerBuilder builder, DynamicCapability::Client& value); cannam@132: static void set(PointerBuilder builder, DynamicCapability::Client&& value); cannam@132: static inline void adopt(PointerBuilder builder, Orphan&& value) { cannam@132: builder.adopt(kj::mv(value.builder)); cannam@132: } cannam@132: static inline Orphan disown(PointerBuilder builder, InterfaceSchema schema) { cannam@132: return Orphan(schema, builder.disown()); cannam@132: } cannam@132: }; cannam@132: cannam@132: } // namespace _ (private) cannam@132: cannam@132: template cannam@132: inline ReaderFor AnyPointer::Reader::getAs(StructSchema schema) const { cannam@132: return _::PointerHelpers::getDynamic(reader, schema); cannam@132: } cannam@132: template cannam@132: inline ReaderFor AnyPointer::Reader::getAs(ListSchema schema) const { cannam@132: return _::PointerHelpers::getDynamic(reader, schema); cannam@132: } cannam@132: template cannam@132: inline ReaderFor AnyPointer::Reader::getAs(InterfaceSchema schema) const { cannam@132: return _::PointerHelpers::getDynamic(reader, schema); cannam@132: } cannam@132: template cannam@132: inline BuilderFor AnyPointer::Builder::getAs(StructSchema schema) { cannam@132: return _::PointerHelpers::getDynamic(builder, schema); cannam@132: } cannam@132: template cannam@132: inline BuilderFor AnyPointer::Builder::getAs(ListSchema schema) { cannam@132: return _::PointerHelpers::getDynamic(builder, schema); cannam@132: } cannam@132: template cannam@132: inline BuilderFor AnyPointer::Builder::getAs(InterfaceSchema schema) { cannam@132: return _::PointerHelpers::getDynamic(builder, schema); cannam@132: } cannam@132: template cannam@132: inline BuilderFor AnyPointer::Builder::initAs(StructSchema schema) { cannam@132: return _::PointerHelpers::init(builder, schema); cannam@132: } cannam@132: template cannam@132: inline BuilderFor AnyPointer::Builder::initAs(ListSchema schema, uint elementCount) { cannam@132: return _::PointerHelpers::init(builder, schema, elementCount); cannam@132: } cannam@132: template <> cannam@132: inline void AnyPointer::Builder::setAs(DynamicStruct::Reader value) { cannam@132: return _::PointerHelpers::set(builder, value); cannam@132: } cannam@132: template <> cannam@132: inline void AnyPointer::Builder::setAs(DynamicList::Reader value) { cannam@132: return _::PointerHelpers::set(builder, value); cannam@132: } cannam@132: template <> cannam@132: inline void AnyPointer::Builder::setAs(DynamicCapability::Client value) { cannam@132: return _::PointerHelpers::set(builder, kj::mv(value)); cannam@132: } cannam@132: template <> cannam@132: void AnyPointer::Builder::adopt(Orphan&& orphan); cannam@132: template cannam@132: inline Orphan AnyPointer::Builder::disownAs(StructSchema schema) { cannam@132: return _::PointerHelpers::disown(builder, schema); cannam@132: } cannam@132: template cannam@132: inline Orphan AnyPointer::Builder::disownAs(ListSchema schema) { cannam@132: return _::PointerHelpers::disown(builder, schema); cannam@132: } cannam@132: template cannam@132: inline Orphan AnyPointer::Builder::disownAs(InterfaceSchema schema) { cannam@132: return _::PointerHelpers::disown(builder, schema); cannam@132: } cannam@132: cannam@132: template <> cannam@132: DynamicStruct::Builder Orphan::getAs(StructSchema schema); cannam@132: template <> cannam@132: DynamicList::Builder Orphan::getAs(ListSchema schema); cannam@132: template <> cannam@132: DynamicCapability::Client Orphan::getAs(InterfaceSchema schema); cannam@132: template <> cannam@132: DynamicStruct::Reader Orphan::getAsReader(StructSchema schema) const; cannam@132: template <> cannam@132: DynamicList::Reader Orphan::getAsReader(ListSchema schema) const; cannam@132: template <> cannam@132: DynamicCapability::Client Orphan::getAsReader( cannam@132: InterfaceSchema schema) const; cannam@132: template <> cannam@132: Orphan Orphan::releaseAs(StructSchema schema); cannam@132: template <> cannam@132: Orphan Orphan::releaseAs(ListSchema schema); cannam@132: template <> cannam@132: Orphan Orphan::releaseAs( cannam@132: InterfaceSchema schema); cannam@132: cannam@132: // ======================================================================================= cannam@132: // Inline implementation details. cannam@132: cannam@132: template cannam@132: struct ToDynamic_ { cannam@132: static inline DynamicStruct::Reader apply(const typename T::Reader& value) { cannam@132: return DynamicStruct::Reader(Schema::from(), value._reader); cannam@132: } cannam@132: static inline DynamicStruct::Builder apply(typename T::Builder& value) { cannam@132: return DynamicStruct::Builder(Schema::from(), value._builder); cannam@132: } cannam@132: }; cannam@132: cannam@132: template cannam@132: struct ToDynamic_ { cannam@132: static inline DynamicList::Reader apply(const typename T::Reader& value) { cannam@132: return DynamicList::Reader(Schema::from(), value.reader); cannam@132: } cannam@132: static inline DynamicList::Builder apply(typename T::Builder& value) { cannam@132: return DynamicList::Builder(Schema::from(), value.builder); cannam@132: } cannam@132: }; cannam@132: cannam@132: template cannam@132: struct ToDynamic_ { cannam@132: static inline DynamicCapability::Client apply(typename T::Client value) { cannam@132: return DynamicCapability::Client(kj::mv(value)); cannam@132: } cannam@132: static inline DynamicCapability::Client apply(typename T::Client&& value) { cannam@132: return DynamicCapability::Client(kj::mv(value)); cannam@132: } cannam@132: }; cannam@132: cannam@132: template cannam@132: ReaderFor>> toDynamic(T&& value) { cannam@132: return ToDynamic_>::apply(value); cannam@132: } cannam@132: template cannam@132: BuilderFor>> toDynamic(T&& value) { cannam@132: return ToDynamic_>::apply(value); cannam@132: } cannam@132: template cannam@132: DynamicTypeFor> toDynamic(T&& value) { cannam@132: return DynamicEnum(Schema::from>(), static_cast(value)); cannam@132: } cannam@132: template cannam@132: typename DynamicTypeFor>::Client toDynamic(kj::Own&& value) { cannam@132: return typename FromServer::Client(kj::mv(value)); cannam@132: } cannam@132: cannam@132: inline DynamicValue::Reader::Reader(std::nullptr_t n): type(UNKNOWN) {} cannam@132: inline DynamicValue::Builder::Builder(std::nullptr_t n): type(UNKNOWN) {} cannam@132: cannam@132: #define CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(cppType, typeTag, fieldName) \ cannam@132: inline DynamicValue::Reader::Reader(cppType value) \ cannam@132: : type(typeTag), fieldName##Value(value) {} \ cannam@132: inline DynamicValue::Builder::Builder(cppType value) \ cannam@132: : type(typeTag), fieldName##Value(value) {} \ cannam@132: inline Orphan::Orphan(cppType value) \ cannam@132: : type(DynamicValue::typeTag), fieldName##Value(value) {} cannam@132: cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(Void, VOID, void); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(bool, BOOL, bool); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(char, INT, int); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(signed char, INT, int); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(short, INT, int); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(int, INT, int); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(long, INT, int); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(long long, INT, int); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(unsigned char, UINT, uint); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(unsigned short, UINT, uint); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(unsigned int, UINT, uint); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(unsigned long, UINT, uint); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(unsigned long long, UINT, uint); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(float, FLOAT, float); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(double, FLOAT, float); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(DynamicEnum, ENUM, enum); cannam@132: #undef CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR cannam@132: cannam@132: #define CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(cppType, typeTag, fieldName) \ cannam@132: inline DynamicValue::Reader::Reader(const cppType::Reader& value) \ cannam@132: : type(typeTag), fieldName##Value(value) {} \ cannam@132: inline DynamicValue::Builder::Builder(cppType::Builder value) \ cannam@132: : type(typeTag), fieldName##Value(value) {} cannam@132: cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(Text, TEXT, text); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(Data, DATA, data); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(DynamicList, LIST, list); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(DynamicStruct, STRUCT, struct); cannam@132: CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR(AnyPointer, ANY_POINTER, anyPointer); cannam@132: cannam@132: #undef CAPNP_DECLARE_DYNAMIC_VALUE_CONSTRUCTOR cannam@132: cannam@132: inline DynamicValue::Reader::Reader(DynamicCapability::Client& value) cannam@132: : type(CAPABILITY), capabilityValue(value) {} cannam@132: inline DynamicValue::Reader::Reader(DynamicCapability::Client&& value) cannam@132: : type(CAPABILITY), capabilityValue(kj::mv(value)) {} cannam@132: template cannam@132: inline DynamicValue::Reader::Reader(kj::Own&& value) cannam@132: : type(CAPABILITY), capabilityValue(kj::mv(value)) {} cannam@132: inline DynamicValue::Builder::Builder(DynamicCapability::Client& value) cannam@132: : type(CAPABILITY), capabilityValue(value) {} cannam@132: inline DynamicValue::Builder::Builder(DynamicCapability::Client&& value) cannam@132: : type(CAPABILITY), capabilityValue(kj::mv(value)) {} cannam@132: cannam@132: inline DynamicValue::Reader::Reader(const char* value): Reader(Text::Reader(value)) {} cannam@132: cannam@132: #define CAPNP_DECLARE_TYPE(discrim, typeName) \ cannam@132: template <> \ cannam@132: struct DynamicValue::Reader::AsImpl { \ cannam@132: static ReaderFor apply(const Reader& reader); \ cannam@132: }; \ cannam@132: template <> \ cannam@132: struct DynamicValue::Builder::AsImpl { \ cannam@132: static BuilderFor apply(Builder& builder); \ cannam@132: }; cannam@132: cannam@132: //CAPNP_DECLARE_TYPE(VOID, Void) cannam@132: CAPNP_DECLARE_TYPE(BOOL, bool) cannam@132: CAPNP_DECLARE_TYPE(INT8, int8_t) cannam@132: CAPNP_DECLARE_TYPE(INT16, int16_t) cannam@132: CAPNP_DECLARE_TYPE(INT32, int32_t) cannam@132: CAPNP_DECLARE_TYPE(INT64, int64_t) cannam@132: CAPNP_DECLARE_TYPE(UINT8, uint8_t) cannam@132: CAPNP_DECLARE_TYPE(UINT16, uint16_t) cannam@132: CAPNP_DECLARE_TYPE(UINT32, uint32_t) cannam@132: CAPNP_DECLARE_TYPE(UINT64, uint64_t) cannam@132: CAPNP_DECLARE_TYPE(FLOAT32, float) cannam@132: CAPNP_DECLARE_TYPE(FLOAT64, double) cannam@132: cannam@132: CAPNP_DECLARE_TYPE(TEXT, Text) cannam@132: CAPNP_DECLARE_TYPE(DATA, Data) cannam@132: CAPNP_DECLARE_TYPE(LIST, DynamicList) cannam@132: CAPNP_DECLARE_TYPE(STRUCT, DynamicStruct) cannam@132: CAPNP_DECLARE_TYPE(INTERFACE, DynamicCapability) cannam@132: CAPNP_DECLARE_TYPE(ENUM, DynamicEnum) cannam@132: CAPNP_DECLARE_TYPE(ANY_POINTER, AnyPointer) cannam@132: #undef CAPNP_DECLARE_TYPE cannam@132: cannam@132: // CAPNP_DECLARE_TYPE(Void) causes gcc 4.7 to segfault. If I do it manually and remove the cannam@132: // ReaderFor<> and BuilderFor<> wrappers, it works. cannam@132: template <> cannam@132: struct DynamicValue::Reader::AsImpl { cannam@132: static Void apply(const Reader& reader); cannam@132: }; cannam@132: template <> cannam@132: struct DynamicValue::Builder::AsImpl { cannam@132: static Void apply(Builder& builder); cannam@132: }; cannam@132: cannam@132: template cannam@132: struct DynamicValue::Reader::AsImpl { cannam@132: static T apply(const Reader& reader) { cannam@132: return reader.as().as(); cannam@132: } cannam@132: }; cannam@132: template cannam@132: struct DynamicValue::Builder::AsImpl { cannam@132: static T apply(Builder& builder) { cannam@132: return builder.as().as(); cannam@132: } cannam@132: }; cannam@132: cannam@132: template cannam@132: struct DynamicValue::Reader::AsImpl { cannam@132: static typename T::Reader apply(const Reader& reader) { cannam@132: return reader.as().as(); cannam@132: } cannam@132: }; cannam@132: template cannam@132: struct DynamicValue::Builder::AsImpl { cannam@132: static typename T::Builder apply(Builder& builder) { cannam@132: return builder.as().as(); cannam@132: } cannam@132: }; cannam@132: cannam@132: template cannam@132: struct DynamicValue::Reader::AsImpl { cannam@132: static typename T::Reader apply(const Reader& reader) { cannam@132: return reader.as().as(); cannam@132: } cannam@132: }; cannam@132: template cannam@132: struct DynamicValue::Builder::AsImpl { cannam@132: static typename T::Builder apply(Builder& builder) { cannam@132: return builder.as().as(); cannam@132: } cannam@132: }; cannam@132: cannam@132: template cannam@132: struct DynamicValue::Reader::AsImpl { cannam@132: static typename T::Client apply(const Reader& reader) { cannam@132: return reader.as().as(); cannam@132: } cannam@132: }; cannam@132: template cannam@132: struct DynamicValue::Builder::AsImpl { cannam@132: static typename T::Client apply(Builder& builder) { cannam@132: return builder.as().as(); cannam@132: } cannam@132: }; cannam@132: cannam@132: inline DynamicValue::Pipeline::Pipeline(std::nullptr_t n): type(UNKNOWN) {} cannam@132: inline DynamicValue::Pipeline::Pipeline(DynamicStruct::Pipeline&& value) cannam@132: : type(STRUCT), structValue(kj::mv(value)) {} cannam@132: inline DynamicValue::Pipeline::Pipeline(DynamicCapability::Client&& value) cannam@132: : type(CAPABILITY), capabilityValue(kj::mv(value)) {} cannam@132: cannam@132: template cannam@132: struct DynamicValue::Pipeline::AsImpl { cannam@132: static typename T::Pipeline apply(Pipeline& pipeline) { cannam@132: return pipeline.releaseAs().releaseAs(); cannam@132: } cannam@132: }; cannam@132: template cannam@132: struct DynamicValue::Pipeline::AsImpl { cannam@132: static typename T::Client apply(Pipeline& pipeline) { cannam@132: return pipeline.releaseAs().releaseAs(); cannam@132: } cannam@132: }; cannam@132: template <> cannam@132: struct DynamicValue::Pipeline::AsImpl { cannam@132: static PipelineFor apply(Pipeline& pipeline); cannam@132: }; cannam@132: template <> cannam@132: struct DynamicValue::Pipeline::AsImpl { cannam@132: static PipelineFor apply(Pipeline& pipeline); cannam@132: }; cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: template cannam@132: typename T::Reader DynamicStruct::Reader::as() const { cannam@132: static_assert(kind() == Kind::STRUCT, cannam@132: "DynamicStruct::Reader::as() can only convert to struct types."); cannam@132: schema.requireUsableAs(); cannam@132: return typename T::Reader(reader); cannam@132: } cannam@132: cannam@132: template cannam@132: typename T::Builder DynamicStruct::Builder::as() { cannam@132: static_assert(kind() == Kind::STRUCT, cannam@132: "DynamicStruct::Builder::as() can only convert to struct types."); cannam@132: schema.requireUsableAs(); cannam@132: return typename T::Builder(builder); cannam@132: } cannam@132: cannam@132: template <> cannam@132: inline DynamicStruct::Reader DynamicStruct::Reader::as() const { cannam@132: return *this; cannam@132: } cannam@132: template <> cannam@132: inline DynamicStruct::Builder DynamicStruct::Builder::as() { cannam@132: return *this; cannam@132: } cannam@132: cannam@132: inline DynamicStruct::Reader DynamicStruct::Builder::asReader() const { cannam@132: return DynamicStruct::Reader(schema, builder.asReader()); cannam@132: } cannam@132: cannam@132: template <> cannam@132: inline AnyStruct::Reader DynamicStruct::Reader::as() const { cannam@132: return AnyStruct::Reader(reader); cannam@132: } cannam@132: cannam@132: template <> cannam@132: inline AnyStruct::Builder DynamicStruct::Builder::as() { cannam@132: return AnyStruct::Builder(builder); cannam@132: } cannam@132: cannam@132: template cannam@132: typename T::Pipeline DynamicStruct::Pipeline::releaseAs() { cannam@132: static_assert(kind() == Kind::STRUCT, cannam@132: "DynamicStruct::Pipeline::releaseAs() can only convert to struct types."); cannam@132: schema.requireUsableAs(); cannam@132: return typename T::Pipeline(kj::mv(typeless)); cannam@132: } cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: template cannam@132: typename T::Reader DynamicList::Reader::as() const { cannam@132: static_assert(kind() == Kind::LIST, cannam@132: "DynamicStruct::Reader::as() can only convert to list types."); cannam@132: schema.requireUsableAs(); cannam@132: return typename T::Reader(reader); cannam@132: } cannam@132: template cannam@132: typename T::Builder DynamicList::Builder::as() { cannam@132: static_assert(kind() == Kind::LIST, cannam@132: "DynamicStruct::Builder::as() can only convert to list types."); cannam@132: schema.requireUsableAs(); cannam@132: return typename T::Builder(builder); cannam@132: } cannam@132: cannam@132: template <> cannam@132: inline DynamicList::Reader DynamicList::Reader::as() const { cannam@132: return *this; cannam@132: } cannam@132: template <> cannam@132: inline DynamicList::Builder DynamicList::Builder::as() { cannam@132: return *this; cannam@132: } cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: template cannam@132: inline DynamicCapability::Client::Client(T&& client) cannam@132: : Capability::Client(kj::mv(client)), schema(Schema::from>()) {} cannam@132: cannam@132: template cannam@132: inline DynamicCapability::Client::Client(kj::Own&& server) cannam@132: : Client(server->getSchema(), kj::mv(server)) {} cannam@132: template cannam@132: inline DynamicCapability::Client::Client(InterfaceSchema schema, kj::Own&& server) cannam@132: : Capability::Client(kj::mv(server)), schema(schema) {} cannam@132: cannam@132: template cannam@132: typename T::Client DynamicCapability::Client::as() { cannam@132: static_assert(kind() == Kind::INTERFACE, cannam@132: "DynamicCapability::Client::as() can only convert to interface types."); cannam@132: schema.requireUsableAs(); cannam@132: return typename T::Client(hook->addRef()); cannam@132: } cannam@132: cannam@132: template cannam@132: typename T::Client DynamicCapability::Client::releaseAs() { cannam@132: static_assert(kind() == Kind::INTERFACE, cannam@132: "DynamicCapability::Client::as() can only convert to interface types."); cannam@132: schema.requireUsableAs(); cannam@132: return typename T::Client(kj::mv(hook)); cannam@132: } cannam@132: cannam@132: inline CallContext::CallContext( cannam@132: CallContextHook& hook, StructSchema paramType, StructSchema resultType) cannam@132: : hook(&hook), paramType(paramType), resultType(resultType) {} cannam@132: inline DynamicStruct::Reader CallContext::getParams() { cannam@132: return hook->getParams().getAs(paramType); cannam@132: } cannam@132: inline void CallContext::releaseParams() { cannam@132: hook->releaseParams(); cannam@132: } cannam@132: inline DynamicStruct::Builder CallContext::getResults( cannam@132: kj::Maybe sizeHint) { cannam@132: return hook->getResults(sizeHint).getAs(resultType); cannam@132: } cannam@132: inline DynamicStruct::Builder CallContext::initResults( cannam@132: kj::Maybe sizeHint) { cannam@132: return hook->getResults(sizeHint).initAs(resultType); cannam@132: } cannam@132: inline void CallContext::setResults(DynamicStruct::Reader value) { cannam@132: hook->getResults(value.totalSize()).setAs(value); cannam@132: } cannam@132: inline void CallContext::adoptResults(Orphan&& value) { cannam@132: hook->getResults(MessageSize { 0, 0 }).adopt(kj::mv(value)); cannam@132: } cannam@132: inline Orphanage CallContext::getResultsOrphanage( cannam@132: kj::Maybe sizeHint) { cannam@132: return Orphanage::getForMessageContaining(hook->getResults(sizeHint)); cannam@132: } cannam@132: template cannam@132: inline kj::Promise CallContext::tailCall( cannam@132: Request&& tailRequest) { cannam@132: return hook->tailCall(kj::mv(tailRequest.hook)); cannam@132: } cannam@132: inline void CallContext::allowCancellation() { cannam@132: hook->allowCancellation(); cannam@132: } cannam@132: cannam@132: template <> cannam@132: inline DynamicCapability::Client Capability::Client::castAs( cannam@132: InterfaceSchema schema) { cannam@132: return DynamicCapability::Client(schema, hook->addRef()); cannam@132: } cannam@132: cannam@132: // ------------------------------------------------------------------- cannam@132: cannam@132: template cannam@132: ReaderFor ConstSchema::as() const { cannam@132: return DynamicValue::Reader(*this).as(); cannam@132: } cannam@132: cannam@132: } // namespace capnp cannam@132: cannam@132: #endif // CAPNP_DYNAMIC_H_