Andreas Huber | 1aec397 | 2016-08-26 09:26:32 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2016 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 17 | #include "Type.h" |
| 18 | |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 19 | #include "ConstantExpression.h" |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 20 | #include "NamedType.h" |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 21 | #include "ScalarType.h" |
Timur Iskhakov | 63f3990 | 2017-08-29 15:47:29 -0700 | [diff] [blame] | 22 | #include "Scope.h" |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 23 | |
| 24 | #include <android-base/logging.h> |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 25 | #include <hidl-util/Formatter.h> |
| 26 | #include <algorithm> |
Timur Iskhakov | e8ee6a0 | 2017-09-06 11:42:10 -0700 | [diff] [blame] | 27 | #include <iostream> |
Neel Mehta | 3b414a8 | 2019-07-02 15:47:48 -0700 | [diff] [blame] | 28 | #include <string> |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 29 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 30 | namespace android { |
| 31 | |
Neel Mehta | 3b414a8 | 2019-07-02 15:47:48 -0700 | [diff] [blame] | 32 | Type::Type(Scope* parent, const std::string& definedName) |
| 33 | : mDefinedName(definedName), mParent(parent) {} |
Andreas Huber | 7c5ddfb | 2016-09-29 13:45:22 -0700 | [diff] [blame] | 34 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 35 | Type::~Type() {} |
| 36 | |
Andreas Huber | 5345ec2 | 2016-07-29 13:33:27 -0700 | [diff] [blame] | 37 | bool Type::isScope() const { |
| 38 | return false; |
| 39 | } |
| 40 | |
Andreas Huber | a2723d2 | 2016-07-29 15:36:07 -0700 | [diff] [blame] | 41 | bool Type::isInterface() const { |
| 42 | return false; |
| 43 | } |
| 44 | |
Yifan Hong | abf73ee | 2016-12-05 18:47:00 -0800 | [diff] [blame] | 45 | bool Type::isScalar() const { |
| 46 | return false; |
| 47 | } |
| 48 | |
| 49 | bool Type::isString() const { |
| 50 | return false; |
| 51 | } |
| 52 | |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 53 | bool Type::isEnum() const { |
| 54 | return false; |
| 55 | } |
| 56 | |
Yifan Hong | abf73ee | 2016-12-05 18:47:00 -0800 | [diff] [blame] | 57 | bool Type::isBitField() const { |
| 58 | return false; |
| 59 | } |
| 60 | |
| 61 | bool Type::isHandle() const { |
| 62 | return false; |
| 63 | } |
| 64 | |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 65 | bool Type::isTypeDef() const { |
| 66 | return false; |
| 67 | } |
| 68 | |
Andreas Huber | 39fa718 | 2016-08-19 14:27:33 -0700 | [diff] [blame] | 69 | bool Type::isNamedType() const { |
| 70 | return false; |
| 71 | } |
| 72 | |
Steven Moreland | 397b5e1 | 2017-06-08 14:02:26 -0700 | [diff] [blame] | 73 | bool Type::isMemory() const { |
| 74 | return false; |
| 75 | } |
| 76 | |
Andreas Huber | f630bc8 | 2016-09-09 14:52:25 -0700 | [diff] [blame] | 77 | bool Type::isCompoundType() const { |
| 78 | return false; |
| 79 | } |
| 80 | |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 81 | bool Type::isArray() const { |
| 82 | return false; |
| 83 | } |
| 84 | |
| 85 | bool Type::isVector() const { |
| 86 | return false; |
| 87 | } |
| 88 | |
Yifan Hong | abf73ee | 2016-12-05 18:47:00 -0800 | [diff] [blame] | 89 | bool Type::isTemplatedType() const { |
| 90 | return false; |
| 91 | } |
| 92 | |
Martijn Coenen | 99e6beb | 2016-12-01 15:48:42 +0100 | [diff] [blame] | 93 | bool Type::isPointer() const { |
| 94 | return false; |
| 95 | } |
| 96 | |
Neel Mehta | d3375f1 | 2019-08-19 09:58:46 -0700 | [diff] [blame] | 97 | bool Type::isFmq() const { |
| 98 | return false; |
| 99 | } |
| 100 | |
Timur Iskhakov | dbaed33 | 2017-08-31 16:33:41 -0700 | [diff] [blame] | 101 | Type* Type::resolve() { |
| 102 | return const_cast<Type*>(static_cast<const Type*>(this)->resolve()); |
| 103 | } |
| 104 | |
| 105 | const Type* Type::resolve() const { |
| 106 | return this; |
| 107 | } |
| 108 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 109 | std::vector<Type*> Type::getDefinedTypes() { |
| 110 | const auto& constRet = static_cast<const Type*>(this)->getDefinedTypes(); |
| 111 | std::vector<Type*> ret(constRet.size()); |
| 112 | std::transform(constRet.begin(), constRet.end(), ret.begin(), |
| 113 | [](const auto* type) { return const_cast<Type*>(type); }); |
| 114 | return ret; |
| 115 | } |
| 116 | |
| 117 | std::vector<const Type*> Type::getDefinedTypes() const { |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 118 | return {}; |
| 119 | } |
| 120 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 121 | std::vector<Reference<Type>*> Type::getReferences() { |
| 122 | const auto& constRet = static_cast<const Type*>(this)->getReferences(); |
| 123 | std::vector<Reference<Type>*> ret(constRet.size()); |
| 124 | std::transform(constRet.begin(), constRet.end(), ret.begin(), |
| 125 | [](const auto* ref) { return const_cast<Reference<Type>*>(ref); }); |
| 126 | return ret; |
| 127 | } |
| 128 | |
| 129 | std::vector<const Reference<Type>*> Type::getReferences() const { |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 130 | return {}; |
| 131 | } |
| 132 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 133 | std::vector<ConstantExpression*> Type::getConstantExpressions() { |
| 134 | const auto& constRet = static_cast<const Type*>(this)->getConstantExpressions(); |
| 135 | std::vector<ConstantExpression*> ret(constRet.size()); |
| 136 | std::transform(constRet.begin(), constRet.end(), ret.begin(), |
| 137 | [](const auto* ce) { return const_cast<ConstantExpression*>(ce); }); |
| 138 | return ret; |
| 139 | } |
| 140 | |
| 141 | std::vector<const ConstantExpression*> Type::getConstantExpressions() const { |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 142 | return {}; |
| 143 | } |
| 144 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 145 | std::vector<Reference<Type>*> Type::getStrongReferences() { |
| 146 | const auto& constRet = static_cast<const Type*>(this)->getStrongReferences(); |
| 147 | std::vector<Reference<Type>*> ret(constRet.size()); |
| 148 | std::transform(constRet.begin(), constRet.end(), ret.begin(), |
| 149 | [](const auto* ref) { return const_cast<Reference<Type>*>(ref); }); |
| 150 | return ret; |
| 151 | } |
| 152 | |
| 153 | std::vector<const Reference<Type>*> Type::getStrongReferences() const { |
Timur Iskhakov | ff5e64a | 2017-09-11 14:56:18 -0700 | [diff] [blame] | 154 | std::vector<const Reference<Type>*> ret; |
| 155 | for (const auto* ref : getReferences()) { |
| 156 | if (!ref->shallowGet()->isNeverStrongReference()) { |
| 157 | ret.push_back(ref); |
| 158 | } |
| 159 | } |
| 160 | return ret; |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 161 | } |
| 162 | |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 163 | status_t Type::recursivePass(ParseStage stage, const std::function<status_t(Type*)>& func, |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 164 | std::unordered_set<const Type*>* visited) { |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 165 | if (mParseStage > stage) return OK; |
| 166 | if (mParseStage < stage) return UNKNOWN_ERROR; |
Timur Iskhakov | 35930c4 | 2017-08-28 18:49:54 -0700 | [diff] [blame] | 167 | |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 168 | if (visited->find(this) != visited->end()) return OK; |
| 169 | visited->insert(this); |
| 170 | |
| 171 | status_t err = func(this); |
| 172 | if (err != OK) return err; |
| 173 | |
| 174 | for (auto* nextType : getDefinedTypes()) { |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 175 | err = nextType->recursivePass(stage, func, visited); |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 176 | if (err != OK) return err; |
| 177 | } |
| 178 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 179 | for (auto* nextRef : getReferences()) { |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 180 | err = nextRef->shallowGet()->recursivePass(stage, func, visited); |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 181 | if (err != OK) return err; |
| 182 | } |
| 183 | |
| 184 | return OK; |
| 185 | } |
| 186 | |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 187 | status_t Type::recursivePass(ParseStage stage, const std::function<status_t(const Type*)>& func, |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 188 | std::unordered_set<const Type*>* visited) const { |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 189 | if (mParseStage > stage) return OK; |
| 190 | if (mParseStage < stage) return UNKNOWN_ERROR; |
Timur Iskhakov | 35930c4 | 2017-08-28 18:49:54 -0700 | [diff] [blame] | 191 | |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 192 | if (visited->find(this) != visited->end()) return OK; |
| 193 | visited->insert(this); |
| 194 | |
| 195 | status_t err = func(this); |
| 196 | if (err != OK) return err; |
| 197 | |
| 198 | for (const auto* nextType : getDefinedTypes()) { |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 199 | err = nextType->recursivePass(stage, func, visited); |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 200 | if (err != OK) return err; |
| 201 | } |
| 202 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 203 | for (const auto* nextRef : getReferences()) { |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 204 | err = nextRef->shallowGet()->recursivePass(stage, func, visited); |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 205 | if (err != OK) return err; |
| 206 | } |
| 207 | |
| 208 | return OK; |
| 209 | } |
| 210 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 211 | status_t Type::resolveInheritance() { |
| 212 | return OK; |
| 213 | } |
| 214 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 215 | status_t Type::validate() const { |
| 216 | return OK; |
| 217 | } |
| 218 | |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 219 | Type::CheckAcyclicStatus::CheckAcyclicStatus(status_t status, const Type* cycleEnd) |
| 220 | : status(status), cycleEnd(cycleEnd) { |
| 221 | CHECK(cycleEnd == nullptr || status != OK); |
| 222 | } |
| 223 | |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 224 | Type::CheckAcyclicStatus Type::topologicalOrder( |
| 225 | std::unordered_map<const Type*, size_t>* reversedOrder, |
| 226 | std::unordered_set<const Type*>* stack) const { |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 227 | if (stack->find(this) != stack->end()) { |
| 228 | std::cerr << "ERROR: Cyclic declaration:\n"; |
| 229 | return CheckAcyclicStatus(UNKNOWN_ERROR, this); |
| 230 | } |
| 231 | |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 232 | if (reversedOrder->find(this) != reversedOrder->end()) return CheckAcyclicStatus(OK); |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 233 | stack->insert(this); |
| 234 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 235 | for (const auto* nextType : getDefinedTypes()) { |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 236 | auto err = nextType->topologicalOrder(reversedOrder, stack); |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 237 | |
| 238 | if (err.status != OK) { |
| 239 | if (err.cycleEnd == nullptr) return err; |
| 240 | |
Timur Iskhakov | 308d0f5 | 2017-08-31 14:18:46 -0700 | [diff] [blame] | 241 | std::cerr << " '" << nextType->typeName() << "' in '" << typeName() << "'"; |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 242 | if (nextType->isNamedType()) { |
| 243 | std::cerr << " at " << static_cast<const NamedType*>(nextType)->location(); |
| 244 | } |
| 245 | std::cerr << "\n"; |
| 246 | |
Timur Iskhakov | 308d0f5 | 2017-08-31 14:18:46 -0700 | [diff] [blame] | 247 | if (err.cycleEnd == this) { |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 248 | return CheckAcyclicStatus(err.status); |
| 249 | } |
| 250 | return err; |
| 251 | } |
| 252 | } |
| 253 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 254 | for (const auto* nextRef : getStrongReferences()) { |
Timur Iskhakov | dbaed33 | 2017-08-31 16:33:41 -0700 | [diff] [blame] | 255 | const auto* nextType = nextRef->shallowGet(); |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 256 | auto err = nextType->topologicalOrder(reversedOrder, stack); |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 257 | |
| 258 | if (err.status != OK) { |
| 259 | if (err.cycleEnd == nullptr) return err; |
| 260 | |
Timur Iskhakov | 308d0f5 | 2017-08-31 14:18:46 -0700 | [diff] [blame] | 261 | std::cerr << " '" << nextType->typeName() << "' in '" << typeName() << "' at " |
| 262 | << nextRef->location() << "\n"; |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 263 | |
Timur Iskhakov | 308d0f5 | 2017-08-31 14:18:46 -0700 | [diff] [blame] | 264 | if (err.cycleEnd == this) { |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 265 | return CheckAcyclicStatus(err.status); |
| 266 | } |
| 267 | return err; |
| 268 | } |
| 269 | } |
| 270 | |
| 271 | CHECK(stack->find(this) != stack->end()); |
| 272 | stack->erase(this); |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 273 | |
| 274 | CHECK(reversedOrder->find(this) == reversedOrder->end()); |
| 275 | // Do not call insert and size in one statement to not rely on |
| 276 | // evaluation order. |
| 277 | size_t index = reversedOrder->size(); |
| 278 | reversedOrder->insert({this, index}); |
| 279 | |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 280 | return CheckAcyclicStatus(OK); |
| 281 | } |
| 282 | |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 283 | status_t Type::checkForwardReferenceRestrictions(const Reference<Type>& ref) const { |
Timur Iskhakov | 041fdfe | 2017-09-06 15:56:01 -0700 | [diff] [blame] | 284 | const Location& refLoc = ref.location(); |
| 285 | const Type* refType = ref.shallowGet(); |
| 286 | |
| 287 | // Not NamedTypes are avaiable everywhere. |
Timur Iskhakov | 78821ed | 2017-09-09 23:40:13 -0700 | [diff] [blame] | 288 | // Only ArrayType and TemplatedType contain additional types in |
Timur Iskhakov | 041fdfe | 2017-09-06 15:56:01 -0700 | [diff] [blame] | 289 | // their reference (which is actually a part of type definition), |
| 290 | // so they are proceeded in this case. |
| 291 | // |
| 292 | // If we support named templated types one day, we will need to change |
| 293 | // this logic. |
| 294 | if (!refType->isNamedType()) { |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 295 | for (const Reference<Type>* innerRef : refType->getReferences()) { |
| 296 | status_t err = checkForwardReferenceRestrictions(*innerRef); |
| 297 | if (err != OK) return err; |
Timur Iskhakov | 041fdfe | 2017-09-06 15:56:01 -0700 | [diff] [blame] | 298 | } |
| 299 | return OK; |
| 300 | } |
| 301 | |
| 302 | const Location& typeLoc = static_cast<const NamedType*>(refType)->location(); |
| 303 | |
| 304 | // If referenced type is declared in another file or before reference, |
| 305 | // there is no forward reference here. |
| 306 | if (!Location::inSameFile(refLoc, typeLoc) || |
| 307 | (!Location::intersect(refLoc, typeLoc) && typeLoc < refLoc)) { |
| 308 | return OK; |
| 309 | } |
| 310 | |
| 311 | // Type must be declared somewhere in the current stack to make it |
| 312 | // available for forward referencing. |
| 313 | const Type* refTypeParent = refType->parent(); |
| 314 | for (const Type* ancestor = this; ancestor != nullptr; ancestor = ancestor->parent()) { |
| 315 | if (ancestor == refTypeParent) return OK; |
| 316 | } |
| 317 | |
| 318 | std::cerr << "ERROR: Forward reference of '" << refType->typeName() << "' at " << ref.location() |
| 319 | << " is not supported.\n" |
| 320 | << "C++ forward declaration doesn't support inner types.\n"; |
| 321 | |
| 322 | return UNKNOWN_ERROR; |
| 323 | } |
| 324 | |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 325 | const ScalarType *Type::resolveToScalarType() const { |
Yi Kong | 56758da | 2018-07-24 16:21:37 -0700 | [diff] [blame] | 326 | return nullptr; |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 327 | } |
| 328 | |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 329 | bool Type::isValidEnumStorageType() const { |
| 330 | const ScalarType *scalarType = resolveToScalarType(); |
| 331 | |
Yi Kong | 56758da | 2018-07-24 16:21:37 -0700 | [diff] [blame] | 332 | if (scalarType == nullptr) { |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 333 | return false; |
| 334 | } |
| 335 | |
| 336 | return scalarType->isValidEnumStorageType(); |
| 337 | } |
| 338 | |
Steven Moreland | 9df5244 | 2016-12-12 08:51:14 -0800 | [diff] [blame] | 339 | bool Type::isElidableType() const { |
| 340 | return false; |
| 341 | } |
| 342 | |
Yifan Hong | c6752dc | 2016-12-20 14:00:14 -0800 | [diff] [blame] | 343 | bool Type::canCheckEquality() const { |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 344 | std::unordered_set<const Type*> visited; |
| 345 | return canCheckEquality(&visited); |
| 346 | } |
| 347 | |
| 348 | bool Type::canCheckEquality(std::unordered_set<const Type*>* visited) const { |
| 349 | // See isJavaCompatible for similar structure. |
| 350 | if (visited->find(this) != visited->end()) { |
| 351 | return true; |
| 352 | } |
| 353 | visited->insert(this); |
| 354 | return deepCanCheckEquality(visited); |
| 355 | } |
| 356 | |
| 357 | bool Type::deepCanCheckEquality(std::unordered_set<const Type*>* /* visited */) const { |
Yifan Hong | c6752dc | 2016-12-20 14:00:14 -0800 | [diff] [blame] | 358 | return false; |
| 359 | } |
| 360 | |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 361 | Type::ParseStage Type::getParseStage() const { |
| 362 | return mParseStage; |
| 363 | } |
| 364 | |
| 365 | void Type::setParseStage(ParseStage stage) { |
| 366 | CHECK(mParseStage < stage); |
| 367 | mParseStage = stage; |
Timur Iskhakov | 35930c4 | 2017-08-28 18:49:54 -0700 | [diff] [blame] | 368 | } |
| 369 | |
Timur Iskhakov | 63f3990 | 2017-08-29 15:47:29 -0700 | [diff] [blame] | 370 | Scope* Type::parent() { |
| 371 | return mParent; |
| 372 | } |
| 373 | |
Timur Iskhakov | 041fdfe | 2017-09-06 15:56:01 -0700 | [diff] [blame] | 374 | const Scope* Type::parent() const { |
| 375 | return mParent; |
| 376 | } |
| 377 | |
Neel Mehta | 3b414a8 | 2019-07-02 15:47:48 -0700 | [diff] [blame] | 378 | const std::string& Type::definedName() const { |
| 379 | return mDefinedName; |
| 380 | } |
| 381 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 382 | std::string Type::getCppType(StorageMode, bool) const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 383 | CHECK(!"Should not be here") << typeName(); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 384 | return std::string(); |
| 385 | } |
| 386 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 387 | std::string Type::decorateCppName( |
| 388 | const std::string &name, StorageMode mode, bool specifyNamespaces) const { |
| 389 | return getCppType(mode, specifyNamespaces) + " " + name; |
| 390 | } |
| 391 | |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 392 | std::string Type::getJavaType(bool /* forInitializer */) const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 393 | CHECK(!"Should not be here") << typeName(); |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 394 | return std::string(); |
| 395 | } |
| 396 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 397 | std::string Type::getJavaTypeClass() const { |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 398 | return getJavaType(); |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 399 | } |
| 400 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 401 | std::string Type::getJavaTypeCast(const std::string& objName) const { |
| 402 | return "(" + getJavaType() + ") " + objName; |
| 403 | } |
| 404 | |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 405 | std::string Type::getJavaSuffix() const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 406 | CHECK(!"Should not be here") << typeName(); |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 407 | return std::string(); |
| 408 | } |
| 409 | |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 410 | std::string Type::getVtsType() const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 411 | CHECK(!"Should not be here") << typeName(); |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 412 | return std::string(); |
| 413 | } |
| 414 | |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 415 | std::string Type::getVtsValueName() const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 416 | CHECK(!"Should not be here") << typeName(); |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 417 | return std::string(); |
| 418 | } |
| 419 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 420 | void Type::emitReaderWriter( |
| 421 | Formatter &, |
| 422 | const std::string &, |
| 423 | const std::string &, |
| 424 | bool, |
| 425 | bool, |
| 426 | ErrorMode) const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 427 | CHECK(!"Should not be here") << typeName(); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 428 | } |
| 429 | |
Yifan Hong | f5cc2f7 | 2017-01-04 18:02:34 -0800 | [diff] [blame] | 430 | void Type::emitDump( |
| 431 | Formatter &out, |
| 432 | const std::string &streamName, |
| 433 | const std::string &name) const { |
Hridya Valsaraju | 9ab1e9e | 2017-03-10 07:52:23 -0800 | [diff] [blame] | 434 | emitDumpWithMethod(out, streamName, "::android::hardware::toString", name); |
Yifan Hong | f5cc2f7 | 2017-01-04 18:02:34 -0800 | [diff] [blame] | 435 | } |
| 436 | |
| 437 | void Type::emitDumpWithMethod( |
| 438 | Formatter &out, |
| 439 | const std::string &streamName, |
| 440 | const std::string &methodName, |
| 441 | const std::string &name) const { |
| 442 | out << streamName |
| 443 | << " += " |
| 444 | << methodName |
| 445 | << "(" |
| 446 | << name |
| 447 | << ");\n"; |
| 448 | } |
| 449 | |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 450 | void Type::emitJavaDump( |
| 451 | Formatter &out, |
| 452 | const std::string &streamName, |
| 453 | const std::string &name) const { |
| 454 | out << streamName << ".append(" << name << ");\n"; |
| 455 | } |
| 456 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 457 | void Type::emitReaderWriterEmbedded( |
| 458 | Formatter &, |
Andreas Huber | f9d49f1 | 2016-09-12 14:58:36 -0700 | [diff] [blame] | 459 | size_t, |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 460 | const std::string &, |
Yifan Hong | be2a373 | 2016-10-05 13:33:41 -0700 | [diff] [blame] | 461 | const std::string &, |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 462 | bool, |
| 463 | const std::string &, |
| 464 | bool, |
| 465 | bool, |
| 466 | ErrorMode, |
| 467 | const std::string &, |
| 468 | const std::string &) const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 469 | CHECK(!"Should not be here") << typeName(); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 470 | } |
| 471 | |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 472 | void Type::emitJavaReaderWriter( |
| 473 | Formatter &out, |
| 474 | const std::string &parcelObj, |
| 475 | const std::string &argName, |
| 476 | bool isReader) const { |
| 477 | emitJavaReaderWriterWithSuffix( |
| 478 | out, |
| 479 | parcelObj, |
| 480 | argName, |
| 481 | isReader, |
| 482 | getJavaSuffix(), |
| 483 | "" /* extra */); |
| 484 | } |
| 485 | |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 486 | void Type::emitJavaFieldInitializer( |
| 487 | Formatter &out, |
| 488 | const std::string &fieldName) const { |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 489 | out << getJavaType() |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 490 | << " " |
| 491 | << fieldName |
| 492 | << ";\n"; |
| 493 | } |
| 494 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 495 | void Type::emitJavaFieldDefaultInitialValue(Formatter &, const std::string &) const {} |
| 496 | |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 497 | void Type::emitJavaFieldReaderWriter( |
| 498 | Formatter &, |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 499 | size_t, |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 500 | const std::string &, |
| 501 | const std::string &, |
| 502 | const std::string &, |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 503 | const std::string &, |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 504 | bool) const { |
Steven Moreland | 4783448 | 2018-10-16 16:58:43 -0700 | [diff] [blame] | 505 | CHECK(!"Should not be here") << typeName(); |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 506 | } |
| 507 | |
Steven Moreland | 48cc604 | 2019-04-30 11:28:56 -0700 | [diff] [blame] | 508 | void Type::handleError(Formatter &out, ErrorMode mode) { |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 509 | switch (mode) { |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 510 | case ErrorMode_Goto: |
| 511 | { |
Iliyan Malchev | 549e259 | 2016-08-10 08:59:12 -0700 | [diff] [blame] | 512 | out << "if (_hidl_err != ::android::OK) { goto _hidl_error; }\n\n"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 513 | break; |
| 514 | } |
| 515 | |
| 516 | case ErrorMode_Break: |
| 517 | { |
Iliyan Malchev | 549e259 | 2016-08-10 08:59:12 -0700 | [diff] [blame] | 518 | out << "if (_hidl_err != ::android::OK) { break; }\n\n"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 519 | break; |
| 520 | } |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 521 | |
| 522 | case ErrorMode_Return: |
| 523 | { |
Iliyan Malchev | 549e259 | 2016-08-10 08:59:12 -0700 | [diff] [blame] | 524 | out << "if (_hidl_err != ::android::OK) { return _hidl_err; }\n\n"; |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 525 | break; |
| 526 | } |
Steven Moreland | 48cc604 | 2019-04-30 11:28:56 -0700 | [diff] [blame] | 527 | |
| 528 | case ErrorMode_ReturnNothing: |
| 529 | { |
| 530 | out << "if (_hidl_err != ::android::OK) { return; }\n\n"; |
| 531 | break; |
| 532 | } |
| 533 | default: |
| 534 | { |
| 535 | LOG(FATAL) << "Should not be here"; |
| 536 | } |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 537 | } |
| 538 | } |
| 539 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 540 | void Type::emitReaderWriterEmbeddedForTypeName( |
| 541 | Formatter &out, |
| 542 | const std::string &name, |
| 543 | bool nameIsPointer, |
| 544 | const std::string &parcelObj, |
| 545 | bool parcelObjIsPointer, |
| 546 | bool isReader, |
| 547 | ErrorMode mode, |
| 548 | const std::string &parentName, |
| 549 | const std::string &offsetText, |
| 550 | const std::string &typeName, |
Yifan Hong | 244e82d | 2016-11-11 11:13:57 -0800 | [diff] [blame] | 551 | const std::string &childName, |
| 552 | const std::string &funcNamespace) const { |
| 553 | |
| 554 | const std::string parcelObjDeref = |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 555 | parcelObjIsPointer ? ("*" + parcelObj) : parcelObj; |
| 556 | |
| 557 | const std::string parcelObjPointer = |
| 558 | parcelObjIsPointer ? parcelObj : ("&" + parcelObj); |
| 559 | |
Yifan Hong | 244e82d | 2016-11-11 11:13:57 -0800 | [diff] [blame] | 560 | const std::string nameDerefed = nameIsPointer ? ("*" + name) : name; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 561 | const std::string namePointer = nameIsPointer ? name : ("&" + name); |
| 562 | |
Iliyan Malchev | 549e259 | 2016-08-10 08:59:12 -0700 | [diff] [blame] | 563 | out << "_hidl_err = "; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 564 | |
Yifan Hong | 244e82d | 2016-11-11 11:13:57 -0800 | [diff] [blame] | 565 | if (!funcNamespace.empty()) { |
| 566 | out << funcNamespace << "::"; |
| 567 | } |
| 568 | |
| 569 | out << (isReader ? "readEmbeddedFromParcel(\n" : "writeEmbeddedToParcel(\n"); |
| 570 | |
| 571 | out.indent(); |
| 572 | out.indent(); |
| 573 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 574 | if (isReader) { |
| 575 | out << "const_cast<" |
| 576 | << typeName |
Martijn Coenen | b2a861c | 2017-04-18 15:54:25 -0700 | [diff] [blame] | 577 | << " &>(" |
| 578 | << nameDerefed |
Yifan Hong | 244e82d | 2016-11-11 11:13:57 -0800 | [diff] [blame] | 579 | << "),\n"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 580 | } else { |
Yifan Hong | 244e82d | 2016-11-11 11:13:57 -0800 | [diff] [blame] | 581 | out << nameDerefed |
| 582 | << ",\n"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 583 | } |
| 584 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 585 | out << (isReader ? parcelObjDeref : parcelObjPointer) |
| 586 | << ",\n" |
| 587 | << parentName |
| 588 | << ",\n" |
| 589 | << offsetText; |
| 590 | |
| 591 | if (!childName.empty()) { |
| 592 | out << ", &" |
| 593 | << childName; |
| 594 | } |
| 595 | |
| 596 | out << ");\n\n"; |
| 597 | |
| 598 | out.unindent(); |
| 599 | out.unindent(); |
| 600 | |
| 601 | handleError(out, mode); |
| 602 | } |
| 603 | |
Neel Mehta | 3b414a8 | 2019-07-02 15:47:48 -0700 | [diff] [blame] | 604 | void Type::emitHidlDefinition(Formatter&) const { |
| 605 | CHECK(!"Should not be here.") << typeName(); |
| 606 | } |
| 607 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 608 | void Type::emitTypeDeclarations(Formatter&) const {} |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 609 | |
Timur Iskhakov | fd3f250 | 2017-09-05 16:25:02 -0700 | [diff] [blame] | 610 | void Type::emitTypeForwardDeclaration(Formatter&) const {} |
| 611 | |
Steven Moreland | 8e61c5a | 2017-11-17 15:55:28 -0800 | [diff] [blame] | 612 | void Type::emitGlobalTypeDeclarations(Formatter&) const {} |
| 613 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 614 | void Type::emitPackageTypeDeclarations(Formatter&) const {} |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 615 | |
Steven Moreland | 09c6ebe | 2018-10-09 10:15:48 -0700 | [diff] [blame] | 616 | void Type::emitPackageTypeHeaderDefinitions(Formatter&) const {} |
| 617 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 618 | void Type::emitPackageHwDeclarations(Formatter&) const {} |
Yifan Hong | 244e82d | 2016-11-11 11:13:57 -0800 | [diff] [blame] | 619 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 620 | void Type::emitTypeDefinitions(Formatter&, const std::string&) const {} |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 621 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 622 | void Type::emitJavaTypeDeclarations(Formatter&, bool) const {} |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 623 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 624 | bool Type::needsEmbeddedReadWrite() const { |
| 625 | return false; |
| 626 | } |
| 627 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 628 | bool Type::resultNeedsDeref() const { |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 629 | return false; |
| 630 | } |
| 631 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 632 | std::string Type::getCppStackType(bool specifyNamespaces) const { |
| 633 | return getCppType(StorageMode_Stack, specifyNamespaces); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 634 | } |
| 635 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 636 | std::string Type::getCppResultType(bool specifyNamespaces) const { |
| 637 | return getCppType(StorageMode_Result, specifyNamespaces); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 638 | } |
| 639 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 640 | std::string Type::getCppArgumentType(bool specifyNamespaces) const { |
| 641 | return getCppType(StorageMode_Argument, specifyNamespaces); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 642 | } |
| 643 | |
Nirav Atre | ca7a502 | 2018-06-29 20:43:49 -0700 | [diff] [blame] | 644 | std::string Type::getCppTypeCast(const std::string& objName, bool specifyNamespaces) const { |
| 645 | return "(" + getCppStackType(specifyNamespaces) + ") " + objName; |
| 646 | } |
| 647 | |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 648 | void Type::emitJavaReaderWriterWithSuffix( |
| 649 | Formatter &out, |
| 650 | const std::string &parcelObj, |
| 651 | const std::string &argName, |
| 652 | bool isReader, |
| 653 | const std::string &suffix, |
| 654 | const std::string &extra) const { |
| 655 | out << parcelObj |
| 656 | << "." |
| 657 | << (isReader ? "read" : "write") |
| 658 | << suffix |
| 659 | << "("; |
| 660 | |
| 661 | if (isReader) { |
| 662 | out << extra; |
| 663 | } else { |
| 664 | out << (extra.empty() ? "" : (extra + ", ")); |
| 665 | out << argName; |
| 666 | } |
| 667 | |
| 668 | out << ");\n"; |
| 669 | } |
| 670 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 671 | void Type::emitVtsTypeDeclarations(Formatter&) const {} |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 672 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 673 | void Type::emitVtsAttributeType(Formatter& out) const { |
| 674 | emitVtsTypeDeclarations(out); |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 675 | } |
| 676 | |
Andreas Huber | 70a59e1 | 2016-08-16 12:57:01 -0700 | [diff] [blame] | 677 | bool Type::isJavaCompatible() const { |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 678 | std::unordered_set<const Type*> visited; |
| 679 | return isJavaCompatible(&visited); |
| 680 | } |
| 681 | |
| 682 | bool Type::containsPointer() const { |
| 683 | std::unordered_set<const Type*> visited; |
| 684 | return containsPointer(&visited); |
| 685 | } |
| 686 | |
| 687 | bool Type::isJavaCompatible(std::unordered_set<const Type*>* visited) const { |
| 688 | // We need to find al least one path from requested vertex |
| 689 | // to not java compatible. |
| 690 | // That means that if we have already visited some vertex, |
| 691 | // there is no need to determine whether it is java compatible |
| 692 | // (and we can assume that it is java compatible), |
| 693 | // as if not, the information about that would appear in the |
| 694 | // requested vertex through another path. |
| 695 | if (visited->find(this) != visited->end()) { |
| 696 | return true; |
| 697 | } |
| 698 | visited->insert(this); |
| 699 | return deepIsJavaCompatible(visited); |
| 700 | } |
| 701 | |
| 702 | bool Type::containsPointer(std::unordered_set<const Type*>* visited) const { |
| 703 | // See isJavaCompatible for similar structure. |
| 704 | if (visited->find(this) != visited->end()) { |
| 705 | return false; |
| 706 | } |
| 707 | visited->insert(this); |
| 708 | return deepContainsPointer(visited); |
| 709 | } |
| 710 | |
| 711 | bool Type::deepIsJavaCompatible(std::unordered_set<const Type*>* /* visited */) const { |
Andreas Huber | 70a59e1 | 2016-08-16 12:57:01 -0700 | [diff] [blame] | 712 | return true; |
| 713 | } |
| 714 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 715 | bool Type::deepContainsPointer(std::unordered_set<const Type*>* /* visited */) const { |
| 716 | return false; |
| 717 | } |
| 718 | |
Andreas Huber | 60d3b22 | 2017-03-30 09:10:56 -0700 | [diff] [blame] | 719 | void Type::getAlignmentAndSize( |
| 720 | size_t * /* align */, size_t * /* size */) const { |
Steven Moreland | 7ba5144 | 2019-04-23 15:31:31 -0700 | [diff] [blame] | 721 | CHECK(!"Should not be here.") << typeName(); |
Andreas Huber | 60d3b22 | 2017-03-30 09:10:56 -0700 | [diff] [blame] | 722 | } |
| 723 | |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 724 | void Type::appendToExportedTypesVector( |
| 725 | std::vector<const Type *> * /* exportedTypes */) const { |
| 726 | } |
| 727 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 728 | void Type::emitExportedHeader(Formatter& /* out */, bool /* forJava */) const {} |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 729 | |
Timur Iskhakov | ff5e64a | 2017-09-11 14:56:18 -0700 | [diff] [blame] | 730 | bool Type::isNeverStrongReference() const { |
| 731 | return false; |
| 732 | } |
| 733 | |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 734 | //////////////////////////////////////// |
| 735 | |
Neel Mehta | 3b414a8 | 2019-07-02 15:47:48 -0700 | [diff] [blame] | 736 | TemplatedType::TemplatedType(Scope* parent, const std::string& definedName) |
| 737 | : Type(parent, definedName) {} |
Steven Moreland | 30bb6a8 | 2016-11-30 09:18:34 -0800 | [diff] [blame] | 738 | |
Timur Iskhakov | 3f1d26e | 2017-08-30 15:35:53 -0700 | [diff] [blame] | 739 | std::string TemplatedType::typeName() const { |
| 740 | return templatedTypeName() + " of " + mElementType->typeName(); |
| 741 | } |
| 742 | |
Timur Iskhakov | 505316c | 2017-08-05 03:38:59 +0000 | [diff] [blame] | 743 | void TemplatedType::setElementType(const Reference<Type>& elementType) { |
| 744 | // can only be set once. |
| 745 | CHECK(mElementType.isEmptyReference()); |
| 746 | CHECK(!elementType.isEmptyReference()); |
| 747 | |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 748 | mElementType = elementType; |
Neel Mehta | 3b414a8 | 2019-07-02 15:47:48 -0700 | [diff] [blame] | 749 | mDefinedName = mDefinedName + "<" + mElementType.localName() + ">"; |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 750 | } |
| 751 | |
Timur Iskhakov | 24e605b | 2017-08-30 14:02:55 -0700 | [diff] [blame] | 752 | const Type* TemplatedType::getElementType() const { |
Timur Iskhakov | b3f8bcb | 2017-08-30 15:33:29 -0700 | [diff] [blame] | 753 | return mElementType.get(); |
Yifan Hong | abf73ee | 2016-12-05 18:47:00 -0800 | [diff] [blame] | 754 | } |
| 755 | |
| 756 | bool TemplatedType::isTemplatedType() const { |
| 757 | return true; |
| 758 | } |
| 759 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 760 | std::vector<const Reference<Type>*> TemplatedType::getReferences() const { |
| 761 | return {&mElementType}; |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 762 | } |
| 763 | |
| 764 | status_t TemplatedType::validate() const { |
Timur Iskhakov | b3f8bcb | 2017-08-30 15:33:29 -0700 | [diff] [blame] | 765 | if (!isCompatibleElementType(mElementType.get())) { |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 766 | std::cerr << "ERROR: " << typeName() /* contains element type */ |
| 767 | << " is not supported at " << mElementType.location() << "\n"; |
| 768 | return UNKNOWN_ERROR; |
| 769 | } |
| 770 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 771 | return Type::validate(); |
| 772 | } |
| 773 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 774 | void TemplatedType::emitVtsTypeDeclarations(Formatter& out) const { |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 775 | out << "type: " << getVtsType() << "\n"; |
| 776 | out << getVtsValueName() << ": {\n"; |
| 777 | out.indent(); |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 778 | mElementType->emitVtsTypeDeclarations(out); |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 779 | out.unindent(); |
| 780 | out << "}\n"; |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 781 | } |
| 782 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 783 | void TemplatedType::emitVtsAttributeType(Formatter& out) const { |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 784 | out << "type: " << getVtsType() << "\n"; |
| 785 | out << getVtsValueName() << ": {\n"; |
| 786 | out.indent(); |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 787 | mElementType->emitVtsAttributeType(out); |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 788 | out.unindent(); |
| 789 | out << "}\n"; |
Zhuoyao Zhang | e966784 | 2017-01-19 12:35:32 -0800 | [diff] [blame] | 790 | } |
Timur Iskhakov | 505316c | 2017-08-05 03:38:59 +0000 | [diff] [blame] | 791 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 792 | } // namespace android |
| 793 | |