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