annotate win64-msvc/include/capnp/generated-header-support.h @ 63:0f2d93caa50c

Update Win64 capnp builds to v0.6
author Chris Cannam
date Mon, 22 May 2017 18:56:49 +0100
parents d93140aac40b
children
rev   line source
Chris@63 1 // Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors
Chris@63 2 // Licensed under the MIT License:
Chris@63 3 //
Chris@63 4 // Permission is hereby granted, free of charge, to any person obtaining a copy
Chris@63 5 // of this software and associated documentation files (the "Software"), to deal
Chris@63 6 // in the Software without restriction, including without limitation the rights
Chris@63 7 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
Chris@63 8 // copies of the Software, and to permit persons to whom the Software is
Chris@63 9 // furnished to do so, subject to the following conditions:
Chris@63 10 //
Chris@63 11 // The above copyright notice and this permission notice shall be included in
Chris@63 12 // all copies or substantial portions of the Software.
Chris@63 13 //
Chris@63 14 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
Chris@63 15 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
Chris@63 16 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
Chris@63 17 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
Chris@63 18 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
Chris@63 19 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
Chris@63 20 // THE SOFTWARE.
Chris@63 21
Chris@63 22 // This file is included from all generated headers.
Chris@63 23
Chris@63 24 #ifndef CAPNP_GENERATED_HEADER_SUPPORT_H_
Chris@63 25 #define CAPNP_GENERATED_HEADER_SUPPORT_H_
Chris@63 26
Chris@63 27 #if defined(__GNUC__) && !defined(CAPNP_HEADER_WARNINGS)
Chris@63 28 #pragma GCC system_header
Chris@63 29 #endif
Chris@63 30
Chris@63 31 #include "raw-schema.h"
Chris@63 32 #include "layout.h"
Chris@63 33 #include "list.h"
Chris@63 34 #include "orphan.h"
Chris@63 35 #include "pointer-helpers.h"
Chris@63 36 #include "any.h"
Chris@63 37 #include <kj/string.h>
Chris@63 38 #include <kj/string-tree.h>
Chris@63 39
Chris@63 40 namespace capnp {
Chris@63 41
Chris@63 42 class MessageBuilder; // So that it can be declared a friend.
Chris@63 43
Chris@63 44 template <typename T, Kind k = CAPNP_KIND(T)>
Chris@63 45 struct ToDynamic_; // Defined in dynamic.h, needs to be declared as everyone's friend.
Chris@63 46
Chris@63 47 struct DynamicStruct; // So that it can be declared a friend.
Chris@63 48
Chris@63 49 struct Capability; // To declare brandBindingFor<Capability>()
Chris@63 50
Chris@63 51 namespace _ { // private
Chris@63 52
Chris@63 53 #if !CAPNP_LITE
Chris@63 54
Chris@63 55 template <typename T, typename CapnpPrivate = typename T::_capnpPrivate, bool = false>
Chris@63 56 inline const RawSchema& rawSchema() {
Chris@63 57 return *CapnpPrivate::schema;
Chris@63 58 }
Chris@63 59 template <typename T, uint64_t id = schemas::EnumInfo<T>::typeId>
Chris@63 60 inline const RawSchema& rawSchema() {
Chris@63 61 return *schemas::EnumInfo<T>::schema;
Chris@63 62 }
Chris@63 63
Chris@63 64 template <typename T, typename CapnpPrivate = typename T::_capnpPrivate>
Chris@63 65 inline const RawBrandedSchema& rawBrandedSchema() {
Chris@63 66 return *CapnpPrivate::brand();
Chris@63 67 }
Chris@63 68 template <typename T, uint64_t id = schemas::EnumInfo<T>::typeId>
Chris@63 69 inline const RawBrandedSchema& rawBrandedSchema() {
Chris@63 70 return schemas::EnumInfo<T>::schema->defaultBrand;
Chris@63 71 }
Chris@63 72
Chris@63 73 template <typename TypeTag, typename... Params>
Chris@63 74 struct ChooseBrand;
Chris@63 75 // If all of `Params` are `AnyPointer`, return the type's default brand. Otherwise, return a
Chris@63 76 // specific brand instance. TypeTag is the _capnpPrivate struct for the type in question.
Chris@63 77
Chris@63 78 template <typename TypeTag>
Chris@63 79 struct ChooseBrand<TypeTag> {
Chris@63 80 // All params were AnyPointer. No specific brand needed.
Chris@63 81 static constexpr _::RawBrandedSchema const* brand() { return &TypeTag::schema->defaultBrand; }
Chris@63 82 };
Chris@63 83
Chris@63 84 template <typename TypeTag, typename... Rest>
Chris@63 85 struct ChooseBrand<TypeTag, AnyPointer, Rest...>: public ChooseBrand<TypeTag, Rest...> {};
Chris@63 86 // The first parameter is AnyPointer, so recurse to check the rest.
Chris@63 87
Chris@63 88 template <typename TypeTag, typename First, typename... Rest>
Chris@63 89 struct ChooseBrand<TypeTag, First, Rest...> {
Chris@63 90 // At least one parameter is not AnyPointer, so use the specificBrand constant.
Chris@63 91 static constexpr _::RawBrandedSchema const* brand() { return &TypeTag::specificBrand; }
Chris@63 92 };
Chris@63 93
Chris@63 94 template <typename T, Kind k = kind<T>()>
Chris@63 95 struct BrandBindingFor_;
Chris@63 96
Chris@63 97 #define HANDLE_TYPE(Type, which) \
Chris@63 98 template <> \
Chris@63 99 struct BrandBindingFor_<Type, Kind::PRIMITIVE> { \
Chris@63 100 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) { \
Chris@63 101 return { which, listDepth, nullptr }; \
Chris@63 102 } \
Chris@63 103 }
Chris@63 104 HANDLE_TYPE(Void, 0);
Chris@63 105 HANDLE_TYPE(bool, 1);
Chris@63 106 HANDLE_TYPE(int8_t, 2);
Chris@63 107 HANDLE_TYPE(int16_t, 3);
Chris@63 108 HANDLE_TYPE(int32_t, 4);
Chris@63 109 HANDLE_TYPE(int64_t, 5);
Chris@63 110 HANDLE_TYPE(uint8_t, 6);
Chris@63 111 HANDLE_TYPE(uint16_t, 7);
Chris@63 112 HANDLE_TYPE(uint32_t, 8);
Chris@63 113 HANDLE_TYPE(uint64_t, 9);
Chris@63 114 HANDLE_TYPE(float, 10);
Chris@63 115 HANDLE_TYPE(double, 11);
Chris@63 116 #undef HANDLE_TYPE
Chris@63 117
Chris@63 118 template <>
Chris@63 119 struct BrandBindingFor_<Text, Kind::BLOB> {
Chris@63 120 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 121 return { 12, listDepth, nullptr };
Chris@63 122 }
Chris@63 123 };
Chris@63 124
Chris@63 125 template <>
Chris@63 126 struct BrandBindingFor_<Data, Kind::BLOB> {
Chris@63 127 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 128 return { 13, listDepth, nullptr };
Chris@63 129 }
Chris@63 130 };
Chris@63 131
Chris@63 132 template <typename T>
Chris@63 133 struct BrandBindingFor_<List<T>, Kind::LIST> {
Chris@63 134 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 135 return BrandBindingFor_<T>::get(listDepth + 1);
Chris@63 136 }
Chris@63 137 };
Chris@63 138
Chris@63 139 template <typename T>
Chris@63 140 struct BrandBindingFor_<T, Kind::ENUM> {
Chris@63 141 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 142 return { 15, listDepth, nullptr };
Chris@63 143 }
Chris@63 144 };
Chris@63 145
Chris@63 146 template <typename T>
Chris@63 147 struct BrandBindingFor_<T, Kind::STRUCT> {
Chris@63 148 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 149 return { 16, listDepth, T::_capnpPrivate::brand() };
Chris@63 150 }
Chris@63 151 };
Chris@63 152
Chris@63 153 template <typename T>
Chris@63 154 struct BrandBindingFor_<T, Kind::INTERFACE> {
Chris@63 155 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 156 return { 17, listDepth, T::_capnpPrivate::brand() };
Chris@63 157 }
Chris@63 158 };
Chris@63 159
Chris@63 160 template <>
Chris@63 161 struct BrandBindingFor_<AnyPointer, Kind::OTHER> {
Chris@63 162 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 163 return { 18, listDepth, 0, 0 };
Chris@63 164 }
Chris@63 165 };
Chris@63 166
Chris@63 167 template <>
Chris@63 168 struct BrandBindingFor_<AnyStruct, Kind::OTHER> {
Chris@63 169 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 170 return { 18, listDepth, 0, 1 };
Chris@63 171 }
Chris@63 172 };
Chris@63 173
Chris@63 174 template <>
Chris@63 175 struct BrandBindingFor_<AnyList, Kind::OTHER> {
Chris@63 176 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 177 return { 18, listDepth, 0, 2 };
Chris@63 178 }
Chris@63 179 };
Chris@63 180
Chris@63 181 template <>
Chris@63 182 struct BrandBindingFor_<Capability, Kind::OTHER> {
Chris@63 183 static constexpr RawBrandedSchema::Binding get(uint16_t listDepth) {
Chris@63 184 return { 18, listDepth, 0, 3 };
Chris@63 185 }
Chris@63 186 };
Chris@63 187
Chris@63 188 template <typename T>
Chris@63 189 constexpr RawBrandedSchema::Binding brandBindingFor() {
Chris@63 190 return BrandBindingFor_<T>::get(0);
Chris@63 191 }
Chris@63 192
Chris@63 193 kj::StringTree structString(StructReader reader, const RawBrandedSchema& schema);
Chris@63 194 kj::String enumString(uint16_t value, const RawBrandedSchema& schema);
Chris@63 195 // Declared here so that we can declare inline stringify methods on generated types.
Chris@63 196 // Defined in stringify.c++, which depends on dynamic.c++, which is allowed not to be linked in.
Chris@63 197
Chris@63 198 template <typename T>
Chris@63 199 inline kj::StringTree structString(StructReader reader) {
Chris@63 200 return structString(reader, rawBrandedSchema<T>());
Chris@63 201 }
Chris@63 202 template <typename T>
Chris@63 203 inline kj::String enumString(T value) {
Chris@63 204 return enumString(static_cast<uint16_t>(value), rawBrandedSchema<T>());
Chris@63 205 }
Chris@63 206
Chris@63 207 #endif // !CAPNP_LITE
Chris@63 208
Chris@63 209 // TODO(cleanup): Unify ConstStruct and ConstList.
Chris@63 210 template <typename T>
Chris@63 211 class ConstStruct {
Chris@63 212 public:
Chris@63 213 ConstStruct() = delete;
Chris@63 214 KJ_DISALLOW_COPY(ConstStruct);
Chris@63 215 inline explicit constexpr ConstStruct(const word* ptr): ptr(ptr) {}
Chris@63 216
Chris@63 217 inline typename T::Reader get() const {
Chris@63 218 return AnyPointer::Reader(PointerReader::getRootUnchecked(ptr)).getAs<T>();
Chris@63 219 }
Chris@63 220
Chris@63 221 inline operator typename T::Reader() const { return get(); }
Chris@63 222 inline typename T::Reader operator*() const { return get(); }
Chris@63 223 inline TemporaryPointer<typename T::Reader> operator->() const { return get(); }
Chris@63 224
Chris@63 225 private:
Chris@63 226 const word* ptr;
Chris@63 227 };
Chris@63 228
Chris@63 229 template <typename T>
Chris@63 230 class ConstList {
Chris@63 231 public:
Chris@63 232 ConstList() = delete;
Chris@63 233 KJ_DISALLOW_COPY(ConstList);
Chris@63 234 inline explicit constexpr ConstList(const word* ptr): ptr(ptr) {}
Chris@63 235
Chris@63 236 inline typename List<T>::Reader get() const {
Chris@63 237 return AnyPointer::Reader(PointerReader::getRootUnchecked(ptr)).getAs<List<T>>();
Chris@63 238 }
Chris@63 239
Chris@63 240 inline operator typename List<T>::Reader() const { return get(); }
Chris@63 241 inline typename List<T>::Reader operator*() const { return get(); }
Chris@63 242 inline TemporaryPointer<typename List<T>::Reader> operator->() const { return get(); }
Chris@63 243
Chris@63 244 private:
Chris@63 245 const word* ptr;
Chris@63 246 };
Chris@63 247
Chris@63 248 template <size_t size>
Chris@63 249 class ConstText {
Chris@63 250 public:
Chris@63 251 ConstText() = delete;
Chris@63 252 KJ_DISALLOW_COPY(ConstText);
Chris@63 253 inline explicit constexpr ConstText(const word* ptr): ptr(ptr) {}
Chris@63 254
Chris@63 255 inline Text::Reader get() const {
Chris@63 256 return Text::Reader(reinterpret_cast<const char*>(ptr), size);
Chris@63 257 }
Chris@63 258
Chris@63 259 inline operator Text::Reader() const { return get(); }
Chris@63 260 inline Text::Reader operator*() const { return get(); }
Chris@63 261 inline TemporaryPointer<Text::Reader> operator->() const { return get(); }
Chris@63 262
Chris@63 263 inline kj::StringPtr toString() const {
Chris@63 264 return get();
Chris@63 265 }
Chris@63 266
Chris@63 267 private:
Chris@63 268 const word* ptr;
Chris@63 269 };
Chris@63 270
Chris@63 271 template <size_t size>
Chris@63 272 inline kj::StringPtr KJ_STRINGIFY(const ConstText<size>& s) {
Chris@63 273 return s.get();
Chris@63 274 }
Chris@63 275
Chris@63 276 template <size_t size>
Chris@63 277 class ConstData {
Chris@63 278 public:
Chris@63 279 ConstData() = delete;
Chris@63 280 KJ_DISALLOW_COPY(ConstData);
Chris@63 281 inline explicit constexpr ConstData(const word* ptr): ptr(ptr) {}
Chris@63 282
Chris@63 283 inline Data::Reader get() const {
Chris@63 284 return Data::Reader(reinterpret_cast<const byte*>(ptr), size);
Chris@63 285 }
Chris@63 286
Chris@63 287 inline operator Data::Reader() const { return get(); }
Chris@63 288 inline Data::Reader operator*() const { return get(); }
Chris@63 289 inline TemporaryPointer<Data::Reader> operator->() const { return get(); }
Chris@63 290
Chris@63 291 private:
Chris@63 292 const word* ptr;
Chris@63 293 };
Chris@63 294
Chris@63 295 template <size_t size>
Chris@63 296 inline auto KJ_STRINGIFY(const ConstData<size>& s) -> decltype(kj::toCharSequence(s.get())) {
Chris@63 297 return kj::toCharSequence(s.get());
Chris@63 298 }
Chris@63 299
Chris@63 300 } // namespace _ (private)
Chris@63 301
Chris@63 302 template <typename T, typename CapnpPrivate = typename T::_capnpPrivate>
Chris@63 303 inline constexpr uint64_t typeId() { return CapnpPrivate::typeId; }
Chris@63 304 template <typename T, uint64_t id = schemas::EnumInfo<T>::typeId>
Chris@63 305 inline constexpr uint64_t typeId() { return id; }
Chris@63 306 // typeId<MyType>() returns the type ID as defined in the schema. Works with structs, enums, and
Chris@63 307 // interfaces.
Chris@63 308
Chris@63 309 template <typename T>
Chris@63 310 inline constexpr uint sizeInWords() {
Chris@63 311 // Return the size, in words, of a Struct type, if allocated free-standing (not in a list).
Chris@63 312 // May be useful for pre-computing space needed in order to precisely allocate messages.
Chris@63 313
Chris@63 314 return unbound((upgradeBound<uint>(_::structSize<T>().data) +
Chris@63 315 _::structSize<T>().pointers * WORDS_PER_POINTER) / WORDS);
Chris@63 316 }
Chris@63 317
Chris@63 318 } // namespace capnp
Chris@63 319
Chris@63 320 #if _MSC_VER
Chris@63 321 // MSVC doesn't understand floating-point constexpr yet.
Chris@63 322 //
Chris@63 323 // TODO(msvc): Remove this hack when MSVC is fixed.
Chris@63 324 #define CAPNP_NON_INT_CONSTEXPR_DECL_INIT(value)
Chris@63 325 #define CAPNP_NON_INT_CONSTEXPR_DEF_INIT(value) = value
Chris@63 326 #else
Chris@63 327 #define CAPNP_NON_INT_CONSTEXPR_DECL_INIT(value) = value
Chris@63 328 #define CAPNP_NON_INT_CONSTEXPR_DEF_INIT(value)
Chris@63 329 #endif
Chris@63 330
Chris@63 331 #if _MSC_VER
Chris@63 332 // TODO(msvc): A little hack to allow MSVC to use C++14 return type deduction in cases where the
Chris@63 333 // explicit type exposes bugs in the compiler.
Chris@63 334 #define CAPNP_AUTO_IF_MSVC(...) auto
Chris@63 335 #else
Chris@63 336 #define CAPNP_AUTO_IF_MSVC(...) __VA_ARGS__
Chris@63 337 #endif
Chris@63 338
Chris@63 339 #if CAPNP_LITE
Chris@63 340
Chris@63 341 #define CAPNP_DECLARE_SCHEMA(id) \
Chris@63 342 extern ::capnp::word const* const bp_##id
Chris@63 343
Chris@63 344 #define CAPNP_DECLARE_ENUM(type, id) \
Chris@63 345 inline ::kj::String KJ_STRINGIFY(type##_##id value) { \
Chris@63 346 return ::kj::str(static_cast<uint16_t>(value)); \
Chris@63 347 } \
Chris@63 348 template <> struct EnumInfo<type##_##id> { \
Chris@63 349 struct IsEnum; \
Chris@63 350 static constexpr uint64_t typeId = 0x##id; \
Chris@63 351 static inline ::capnp::word const* encodedSchema() { return bp_##id; } \
Chris@63 352 }
Chris@63 353
Chris@63 354 #if _MSC_VER
Chris@63 355 // TODO(msvc): MSVC dosen't expect constexprs to have definitions.
Chris@63 356 #define CAPNP_DEFINE_ENUM(type, id)
Chris@63 357 #else
Chris@63 358 #define CAPNP_DEFINE_ENUM(type, id) \
Chris@63 359 constexpr uint64_t EnumInfo<type>::typeId
Chris@63 360 #endif
Chris@63 361
Chris@63 362 #define CAPNP_DECLARE_STRUCT_HEADER(id, dataWordSize_, pointerCount_) \
Chris@63 363 struct IsStruct; \
Chris@63 364 static constexpr uint64_t typeId = 0x##id; \
Chris@63 365 static constexpr uint16_t dataWordSize = dataWordSize_; \
Chris@63 366 static constexpr uint16_t pointerCount = pointerCount_; \
Chris@63 367 static inline ::capnp::word const* encodedSchema() { return ::capnp::schemas::bp_##id; }
Chris@63 368
Chris@63 369 #else // CAPNP_LITE
Chris@63 370
Chris@63 371 #define CAPNP_DECLARE_SCHEMA(id) \
Chris@63 372 extern ::capnp::word const* const bp_##id; \
Chris@63 373 extern const ::capnp::_::RawSchema s_##id
Chris@63 374
Chris@63 375 #define CAPNP_DECLARE_ENUM(type, id) \
Chris@63 376 inline ::kj::String KJ_STRINGIFY(type##_##id value) { \
Chris@63 377 return ::capnp::_::enumString(value); \
Chris@63 378 } \
Chris@63 379 template <> struct EnumInfo<type##_##id> { \
Chris@63 380 struct IsEnum; \
Chris@63 381 static constexpr uint64_t typeId = 0x##id; \
Chris@63 382 static inline ::capnp::word const* encodedSchema() { return bp_##id; } \
Chris@63 383 static constexpr ::capnp::_::RawSchema const* schema = &s_##id; \
Chris@63 384 }
Chris@63 385 #define CAPNP_DEFINE_ENUM(type, id) \
Chris@63 386 constexpr uint64_t EnumInfo<type>::typeId; \
Chris@63 387 constexpr ::capnp::_::RawSchema const* EnumInfo<type>::schema
Chris@63 388
Chris@63 389 #define CAPNP_DECLARE_STRUCT_HEADER(id, dataWordSize_, pointerCount_) \
Chris@63 390 struct IsStruct; \
Chris@63 391 static constexpr uint64_t typeId = 0x##id; \
Chris@63 392 static constexpr ::capnp::Kind kind = ::capnp::Kind::STRUCT; \
Chris@63 393 static constexpr uint16_t dataWordSize = dataWordSize_; \
Chris@63 394 static constexpr uint16_t pointerCount = pointerCount_; \
Chris@63 395 static inline ::capnp::word const* encodedSchema() { return ::capnp::schemas::bp_##id; } \
Chris@63 396 static constexpr ::capnp::_::RawSchema const* schema = &::capnp::schemas::s_##id;
Chris@63 397
Chris@63 398 #define CAPNP_DECLARE_INTERFACE_HEADER(id) \
Chris@63 399 struct IsInterface; \
Chris@63 400 static constexpr uint64_t typeId = 0x##id; \
Chris@63 401 static constexpr ::capnp::Kind kind = ::capnp::Kind::INTERFACE; \
Chris@63 402 static inline ::capnp::word const* encodedSchema() { return ::capnp::schemas::bp_##id; } \
Chris@63 403 static constexpr ::capnp::_::RawSchema const* schema = &::capnp::schemas::s_##id;
Chris@63 404
Chris@63 405 #endif // CAPNP_LITE, else
Chris@63 406
Chris@63 407 #endif // CAPNP_GENERATED_HEADER_SUPPORT_H_