annotate win64-msvc/include/capnp/generated-header-support.h @ 169:223a55898ab9 tip default

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