1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
// Copyright (c) 2017 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "third_party/blink/renderer/bindings/core/v8/idl_types.h"
#include <type_traits>
#include "third_party/blink/renderer/bindings/core/v8/native_value_traits_impl.h"
#include "third_party/blink/renderer/bindings/core/v8/string_or_string_sequence.h"
#include "third_party/blink/renderer/bindings/core/v8/v8_element.h"
#include "third_party/blink/renderer/bindings/core/v8/v8_internal_dictionary.h"
#include "third_party/blink/renderer/core/dom/element.h"
#include "third_party/blink/renderer/platform/heap/handle.h"
// No gtest tests; only static_assert checks.
namespace blink {
namespace {
static_assert(std::is_base_of<IDLBase, IDLBoolean>::value,
"IDLBoolean inherits from IDLBase");
static_assert(std::is_same<IDLBoolean::ImplType, bool>::value,
"IDLBoolean's ImplType is bool");
static_assert(std::is_base_of<IDLBase, IDLByte>::value,
"IDLByte inherits from IDLBase");
static_assert(std::is_same<IDLByte::ImplType, int8_t>::value,
"IDLByte's ImplType is int8_t");
static_assert(std::is_base_of<IDLBase, IDLOctet>::value,
"IDLOctet inherits from IDLBase");
static_assert(std::is_same<IDLOctet::ImplType, uint8_t>::value,
"IDLOctet's ImplType is int16_t");
static_assert(std::is_base_of<IDLBase, IDLShort>::value,
"IDLShort inherits from IDLBase");
static_assert(std::is_same<IDLShort::ImplType, int16_t>::value,
"IDLShort's ImplType is uint16_t");
static_assert(std::is_base_of<IDLBase, IDLUnsignedShort>::value,
"IDLUnsignedShort inherits from IDLBase");
static_assert(std::is_same<IDLUnsignedShort::ImplType, uint16_t>::value,
"IDLUnsignedShort's ImplType is uint16_t");
static_assert(std::is_base_of<IDLBase, IDLLong>::value,
"IDLLong inherits from IDLBase");
static_assert(std::is_same<IDLLong::ImplType, int32_t>::value,
"IDLLong's ImplType is int32_t");
static_assert(std::is_base_of<IDLBase, IDLUnsignedLong>::value,
"IDLUnsignedLong inherits from IDLBase");
static_assert(std::is_same<IDLUnsignedLong::ImplType, uint32_t>::value,
"IDLUnsignedLong's ImplType is uint32_t");
static_assert(std::is_base_of<IDLBase, IDLLongLong>::value,
"IDLLongLong inherits from IDLBase");
static_assert(std::is_same<IDLLongLong::ImplType, int64_t>::value,
"IDLLongLong's ImplType is int64_t");
static_assert(std::is_base_of<IDLBase, IDLUnsignedLongLong>::value,
"IDLUnsignedLongLong inherits from IDLBase");
static_assert(std::is_same<IDLUnsignedLongLong::ImplType, uint64_t>::value,
"IDLUnsignedLongLong's ImplType is uint64_t");
static_assert(std::is_base_of<IDLBase, IDLByteString>::value,
"IDLByteString inherits from IDLBase");
static_assert(std::is_same<IDLByteString::ImplType, String>::value,
"IDLByteString's ImplType is String");
static_assert(std::is_base_of<IDLBase, IDLString>::value,
"IDLString inherits from IDLBase");
static_assert(std::is_same<IDLString::ImplType, String>::value,
"IDLString's ImplType is String");
static_assert(std::is_base_of<IDLBase, IDLUSVString>::value,
"IDLUSVString inherits from IDLBase");
static_assert(std::is_same<IDLUSVString::ImplType, String>::value,
"IDLUSVString's ImplType is String");
static_assert(std::is_base_of<IDLBase, IDLDouble>::value,
"IDLDouble inherits from IDLBase");
static_assert(std::is_same<IDLDouble::ImplType, double>::value,
"IDLDouble's ImplType is double");
static_assert(std::is_base_of<IDLBase, IDLUnrestrictedDouble>::value,
"IDLUnrestrictedDouble inherits from IDLBase");
static_assert(std::is_same<IDLUnrestrictedDouble::ImplType, double>::value,
"IDLUnrestrictedDouble's ImplType is double");
static_assert(std::is_base_of<IDLBase, IDLFloat>::value,
"IDLFloat inherits from IDLBase");
static_assert(std::is_same<IDLFloat::ImplType, float>::value,
"IDLFloat's ImplType is float");
static_assert(std::is_base_of<IDLBase, IDLUnrestrictedFloat>::value,
"IDLUnrestrictedFloat inherits from IDLBase");
static_assert(std::is_same<IDLUnrestrictedFloat::ImplType, float>::value,
"IDLUnrestrictedFloat's ImplType is float");
static_assert(std::is_base_of<IDLBase, IDLPromise>::value,
"IDLPromise inherits from IDLBase");
static_assert(std::is_same<IDLPromise::ImplType, ScriptPromise>::value,
"IDLPromise's ImplType is ScriptPromise");
static_assert(std::is_base_of<IDLBase, IDLSequence<IDLByte>>::value,
"IDLSequence inherits from IDLBase");
static_assert(
std::is_same<IDLSequence<IDLByte>::ImplType, Vector<int8_t>>::value,
"IDLSequence<IDLByte> produces a Vector");
static_assert(std::is_same<IDLSequence<Element>::ImplType,
HeapVector<Member<Element>>>::value,
"IDLSequence<GC-type>> produces a HeapVector<Member<>>");
static_assert(std::is_same<IDLSequence<InternalDictionary>::ImplType,
HeapVector<Member<InternalDictionary>>>::value,
"IDLSequence<dictionary type> produces a HeapVector<Member<>>");
static_assert(std::is_same<IDLSequence<StringOrStringSequence>::ImplType,
HeapVector<StringOrStringSequence>>::value,
"IDLSequence<union type> produces a HeapVector");
static_assert(std::is_base_of<IDLBase, IDLRecord<IDLString, IDLShort>>::value,
"IDLRecord inherits from IDLBase");
static_assert(std::is_base_of<IDLBase, IDLRecord<IDLString, Element>>::value,
"IDLRecord inherits from IDLBase");
static_assert(std::is_same<IDLRecord<IDLByteString, IDLLong>::ImplType,
Vector<std::pair<String, int32_t>>>::value,
"IDLRecord<IDLByteString, IDLLong> produces a Vector");
static_assert(
std::is_same<IDLRecord<IDLByteString, Element>::ImplType,
HeapVector<std::pair<String, Member<Element>>>>::value,
"IDLRecord<IDLByteString, GC-type>> produces a HeapVector with Member<>");
static_assert(
std::is_same<
IDLRecord<IDLUSVString, InternalDictionary>::ImplType,
HeapVector<std::pair<String, Member<InternalDictionary>>>>::value,
"IDLRecord<IDLUSVString, dictionary type> produces a HeapVector with "
"Member<>");
static_assert(
std::is_same<IDLRecord<IDLString, StringOrStringSequence>::ImplType,
HeapVector<std::pair<String, StringOrStringSequence>>>::value,
"IDLRecord<IDLString, union type> produces a HeapVector with no Member<>");
static_assert(std::is_base_of<IDLBase, IDLNullable<IDLDouble>>::value,
"IDLNullable should have IDLBase as a base class");
static_assert(std::is_same<IDLNullable<IDLDouble>::ImplType,
base::Optional<double>>::value,
"double? corresponds to base::Optional<double>");
static_assert(std::is_same<IDLNullable<Element>::ImplType, Element*>::value,
"Element? doesn't require a base::Optional<> wrapper");
static_assert(std::is_same<IDLNullable<IDLString>::ImplType, String>::value,
"DOMString? doesn't require a base::Optional<> wrapper");
static_assert(std::is_same<IDLNullable<StringOrStringSequence>::ImplType,
StringOrStringSequence>::value,
"(union type)? doesn't require a base::Optional<> wrapper");
} // namespace
} // namespace blink
|
