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: // This file is included from all generated headers. cannam@62: cannam@62: #ifndef CAPNP_GENERATED_HEADER_SUPPORT_H_ cannam@62: #define CAPNP_GENERATED_HEADER_SUPPORT_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 "raw-schema.h" cannam@62: #include "layout.h" cannam@62: #include "list.h" cannam@62: #include "orphan.h" cannam@62: #include "pointer-helpers.h" cannam@62: #include "any.h" cannam@62: #include cannam@62: #include cannam@62: cannam@62: namespace capnp { cannam@62: cannam@62: class MessageBuilder; // So that it can be declared a friend. cannam@62: cannam@62: template cannam@62: struct ToDynamic_; // Defined in dynamic.h, needs to be declared as everyone's friend. cannam@62: cannam@62: struct DynamicStruct; // So that it can be declared a friend. cannam@62: cannam@62: struct Capability; // To declare brandBindingFor() cannam@62: cannam@62: namespace _ { // private cannam@62: cannam@62: #if !CAPNP_LITE cannam@62: cannam@62: template cannam@62: inline const RawSchema& rawSchema() { cannam@62: return *CapnpPrivate::schema; cannam@62: } cannam@62: template ::typeId> cannam@62: inline const RawSchema& rawSchema() { cannam@62: return *schemas::EnumInfo::schema; cannam@62: } cannam@62: cannam@62: template cannam@62: inline const RawBrandedSchema& rawBrandedSchema() { cannam@62: return *CapnpPrivate::brand(); cannam@62: } cannam@62: template ::typeId> cannam@62: inline const RawBrandedSchema& rawBrandedSchema() { cannam@62: return schemas::EnumInfo::schema->defaultBrand; cannam@62: } cannam@62: cannam@62: template cannam@62: struct ChooseBrand; cannam@62: // If all of `Params` are `AnyPointer`, return the type's default brand. Otherwise, return a cannam@62: // specific brand instance. TypeTag is the _capnpPrivate struct for the type in question. cannam@62: cannam@62: template cannam@62: struct ChooseBrand { cannam@62: // All params were AnyPointer. No specific brand needed. cannam@62: static constexpr _::RawBrandedSchema const* brand() { return &TypeTag::schema->defaultBrand; } cannam@62: }; cannam@62: cannam@62: template cannam@62: struct ChooseBrand: public ChooseBrand {}; cannam@62: // The first parameter is AnyPointer, so recurse to check the rest. cannam@62: cannam@62: template cannam@62: struct ChooseBrand { cannam@62: // At least one parameter is not AnyPointer, so use the specificBrand constant. cannam@62: static constexpr _::RawBrandedSchema const* brand() { return &TypeTag::specificBrand; } cannam@62: }; cannam@62: cannam@62: template ()> cannam@62: struct BrandBindingFor_; cannam@62: cannam@62: #define HANDLE_TYPE(Type, which) \ cannam@62: template <> \ cannam@62: struct BrandBindingFor_ { \ cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { \ cannam@62: return { which, listDepth, nullptr }; \ cannam@62: } \ cannam@62: } cannam@62: HANDLE_TYPE(Void, 0); cannam@62: HANDLE_TYPE(bool, 1); cannam@62: HANDLE_TYPE(int8_t, 2); cannam@62: HANDLE_TYPE(int16_t, 3); cannam@62: HANDLE_TYPE(int32_t, 4); cannam@62: HANDLE_TYPE(int64_t, 5); cannam@62: HANDLE_TYPE(uint8_t, 6); cannam@62: HANDLE_TYPE(uint16_t, 7); cannam@62: HANDLE_TYPE(uint32_t, 8); cannam@62: HANDLE_TYPE(uint64_t, 9); cannam@62: HANDLE_TYPE(float, 10); cannam@62: HANDLE_TYPE(double, 11); cannam@62: #undef HANDLE_TYPE cannam@62: cannam@62: template <> cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 12, listDepth, nullptr }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template <> cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 13, listDepth, nullptr }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template cannam@62: struct BrandBindingFor_, Kind::LIST> { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return BrandBindingFor_::get(listDepth + 1); cannam@62: } cannam@62: }; cannam@62: cannam@62: template cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 15, listDepth, nullptr }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 16, listDepth, T::_capnpPrivate::brand() }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 17, listDepth, T::_capnpPrivate::brand() }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template <> cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 18, listDepth, 0, 0 }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template <> cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 18, listDepth, 0, 1 }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template <> cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 18, listDepth, 0, 2 }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template <> cannam@62: struct BrandBindingFor_ { cannam@62: static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { cannam@62: return { 18, listDepth, 0, 3 }; cannam@62: } cannam@62: }; cannam@62: cannam@62: template cannam@62: constexpr RawBrandedSchema::Binding brandBindingFor() { cannam@62: return BrandBindingFor_::get(0); cannam@62: } cannam@62: cannam@62: kj::StringTree structString(StructReader reader, const RawBrandedSchema& schema); cannam@62: kj::String enumString(uint16_t value, const RawBrandedSchema& schema); cannam@62: // Declared here so that we can declare inline stringify methods on generated types. cannam@62: // Defined in stringify.c++, which depends on dynamic.c++, which is allowed not to be linked in. cannam@62: cannam@62: template cannam@62: inline kj::StringTree structString(StructReader reader) { cannam@62: return structString(reader, rawBrandedSchema()); cannam@62: } cannam@62: template cannam@62: inline kj::String enumString(T value) { cannam@62: return enumString(static_cast(value), rawBrandedSchema()); cannam@62: } cannam@62: cannam@62: #endif // !CAPNP_LITE cannam@62: cannam@62: // TODO(cleanup): Unify ConstStruct and ConstList. cannam@62: template cannam@62: class ConstStruct { cannam@62: public: cannam@62: ConstStruct() = delete; cannam@62: KJ_DISALLOW_COPY(ConstStruct); cannam@62: inline explicit constexpr ConstStruct(const word* ptr): ptr(ptr) {} cannam@62: cannam@62: inline typename T::Reader get() const { cannam@62: return AnyPointer::Reader(PointerReader::getRootUnchecked(ptr)).getAs(); cannam@62: } cannam@62: cannam@62: inline operator typename T::Reader() const { return get(); } cannam@62: inline typename T::Reader operator*() const { return get(); } cannam@62: inline TemporaryPointer operator->() const { return get(); } cannam@62: cannam@62: private: cannam@62: const word* ptr; cannam@62: }; cannam@62: cannam@62: template cannam@62: class ConstList { cannam@62: public: cannam@62: ConstList() = delete; cannam@62: KJ_DISALLOW_COPY(ConstList); cannam@62: inline explicit constexpr ConstList(const word* ptr): ptr(ptr) {} cannam@62: cannam@62: inline typename List::Reader get() const { cannam@62: return AnyPointer::Reader(PointerReader::getRootUnchecked(ptr)).getAs>(); cannam@62: } cannam@62: cannam@62: inline operator typename List::Reader() const { return get(); } cannam@62: inline typename List::Reader operator*() const { return get(); } cannam@62: inline TemporaryPointer::Reader> operator->() const { return get(); } cannam@62: cannam@62: private: cannam@62: const word* ptr; cannam@62: }; cannam@62: cannam@62: template cannam@62: class ConstText { cannam@62: public: cannam@62: ConstText() = delete; cannam@62: KJ_DISALLOW_COPY(ConstText); cannam@62: inline explicit constexpr ConstText(const word* ptr): ptr(ptr) {} cannam@62: cannam@62: inline Text::Reader get() const { cannam@62: return Text::Reader(reinterpret_cast(ptr), size); cannam@62: } cannam@62: cannam@62: inline operator Text::Reader() const { return get(); } cannam@62: inline Text::Reader operator*() const { return get(); } cannam@62: inline TemporaryPointer operator->() const { return get(); } cannam@62: cannam@62: inline kj::StringPtr toString() const { cannam@62: return get(); cannam@62: } cannam@62: cannam@62: private: cannam@62: const word* ptr; cannam@62: }; cannam@62: cannam@62: template cannam@62: inline kj::StringPtr KJ_STRINGIFY(const ConstText& s) { cannam@62: return s.get(); cannam@62: } cannam@62: cannam@62: template cannam@62: class ConstData { cannam@62: public: cannam@62: ConstData() = delete; cannam@62: KJ_DISALLOW_COPY(ConstData); cannam@62: inline explicit constexpr ConstData(const word* ptr): ptr(ptr) {} cannam@62: cannam@62: inline Data::Reader get() const { cannam@62: return Data::Reader(reinterpret_cast(ptr), size); cannam@62: } cannam@62: cannam@62: inline operator Data::Reader() const { return get(); } cannam@62: inline Data::Reader operator*() const { return get(); } cannam@62: inline TemporaryPointer operator->() const { return get(); } cannam@62: cannam@62: private: cannam@62: const word* ptr; cannam@62: }; cannam@62: cannam@62: template cannam@62: inline auto KJ_STRINGIFY(const ConstData& s) -> decltype(kj::toCharSequence(s.get())) { cannam@62: return kj::toCharSequence(s.get()); cannam@62: } cannam@62: cannam@62: } // namespace _ (private) cannam@62: cannam@62: template cannam@62: inline constexpr uint64_t typeId() { return CapnpPrivate::typeId; } cannam@62: template ::typeId> cannam@62: inline constexpr uint64_t typeId() { return id; } cannam@62: // typeId() returns the type ID as defined in the schema. Works with structs, enums, and cannam@62: // interfaces. cannam@62: cannam@62: template cannam@62: inline constexpr uint sizeInWords() { cannam@62: // Return the size, in words, of a Struct type, if allocated free-standing (not in a list). cannam@62: // May be useful for pre-computing space needed in order to precisely allocate messages. cannam@62: cannam@62: return unbound((upgradeBound(_::structSize().data) + cannam@62: _::structSize().pointers * WORDS_PER_POINTER) / WORDS); cannam@62: } cannam@62: cannam@62: } // namespace capnp cannam@62: cannam@62: #if _MSC_VER cannam@62: // MSVC doesn't understand floating-point constexpr yet. cannam@62: // cannam@62: // TODO(msvc): Remove this hack when MSVC is fixed. cannam@62: #define CAPNP_NON_INT_CONSTEXPR_DECL_INIT(value) cannam@62: #define CAPNP_NON_INT_CONSTEXPR_DEF_INIT(value) = value cannam@62: #else cannam@62: #define CAPNP_NON_INT_CONSTEXPR_DECL_INIT(value) = value cannam@62: #define CAPNP_NON_INT_CONSTEXPR_DEF_INIT(value) cannam@62: #endif cannam@62: cannam@62: #if _MSC_VER cannam@62: // TODO(msvc): A little hack to allow MSVC to use C++14 return type deduction in cases where the cannam@62: // explicit type exposes bugs in the compiler. cannam@62: #define CAPNP_AUTO_IF_MSVC(...) auto cannam@62: #else cannam@62: #define CAPNP_AUTO_IF_MSVC(...) __VA_ARGS__ cannam@62: #endif cannam@62: cannam@62: #if CAPNP_LITE cannam@62: cannam@62: #define CAPNP_DECLARE_SCHEMA(id) \ cannam@62: extern ::capnp::word const* const bp_##id cannam@62: cannam@62: #define CAPNP_DECLARE_ENUM(type, id) \ cannam@62: inline ::kj::String KJ_STRINGIFY(type##_##id value) { \ cannam@62: return ::kj::str(static_cast(value)); \ cannam@62: } \ cannam@62: template <> struct EnumInfo { \ cannam@62: struct IsEnum; \ cannam@62: static constexpr uint64_t typeId = 0x##id; \ cannam@62: static inline ::capnp::word const* encodedSchema() { return bp_##id; } \ cannam@62: } cannam@62: cannam@62: #if _MSC_VER cannam@62: // TODO(msvc): MSVC dosen't expect constexprs to have definitions. cannam@62: #define CAPNP_DEFINE_ENUM(type, id) cannam@62: #else cannam@62: #define CAPNP_DEFINE_ENUM(type, id) \ cannam@62: constexpr uint64_t EnumInfo::typeId cannam@62: #endif cannam@62: cannam@62: #define CAPNP_DECLARE_STRUCT_HEADER(id, dataWordSize_, pointerCount_) \ cannam@62: struct IsStruct; \ cannam@62: static constexpr uint64_t typeId = 0x##id; \ cannam@62: static constexpr uint16_t dataWordSize = dataWordSize_; \ cannam@62: static constexpr uint16_t pointerCount = pointerCount_; \ cannam@62: static inline ::capnp::word const* encodedSchema() { return ::capnp::schemas::bp_##id; } cannam@62: cannam@62: #else // CAPNP_LITE cannam@62: cannam@62: #define CAPNP_DECLARE_SCHEMA(id) \ cannam@62: extern ::capnp::word const* const bp_##id; \ cannam@62: extern const ::capnp::_::RawSchema s_##id cannam@62: cannam@62: #define CAPNP_DECLARE_ENUM(type, id) \ cannam@62: inline ::kj::String KJ_STRINGIFY(type##_##id value) { \ cannam@62: return ::capnp::_::enumString(value); \ cannam@62: } \ cannam@62: template <> struct EnumInfo { \ cannam@62: struct IsEnum; \ cannam@62: static constexpr uint64_t typeId = 0x##id; \ cannam@62: static inline ::capnp::word const* encodedSchema() { return bp_##id; } \ cannam@62: static constexpr ::capnp::_::RawSchema const* schema = &s_##id; \ cannam@62: } cannam@62: #define CAPNP_DEFINE_ENUM(type, id) \ cannam@62: constexpr uint64_t EnumInfo::typeId; \ cannam@62: constexpr ::capnp::_::RawSchema const* EnumInfo::schema cannam@62: cannam@62: #define CAPNP_DECLARE_STRUCT_HEADER(id, dataWordSize_, pointerCount_) \ cannam@62: struct IsStruct; \ cannam@62: static constexpr uint64_t typeId = 0x##id; \ cannam@62: static constexpr ::capnp::Kind kind = ::capnp::Kind::STRUCT; \ cannam@62: static constexpr uint16_t dataWordSize = dataWordSize_; \ cannam@62: static constexpr uint16_t pointerCount = pointerCount_; \ cannam@62: static inline ::capnp::word const* encodedSchema() { return ::capnp::schemas::bp_##id; } \ cannam@62: static constexpr ::capnp::_::RawSchema const* schema = &::capnp::schemas::s_##id; cannam@62: cannam@62: #define CAPNP_DECLARE_INTERFACE_HEADER(id) \ cannam@62: struct IsInterface; \ cannam@62: static constexpr uint64_t typeId = 0x##id; \ cannam@62: static constexpr ::capnp::Kind kind = ::capnp::Kind::INTERFACE; \ cannam@62: static inline ::capnp::word const* encodedSchema() { return ::capnp::schemas::bp_##id; } \ cannam@62: static constexpr ::capnp::_::RawSchema const* schema = &::capnp::schemas::s_##id; cannam@62: cannam@62: #endif // CAPNP_LITE, else cannam@62: cannam@62: #endif // CAPNP_GENERATED_HEADER_SUPPORT_H_