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 "EnumType.h" |
| 18 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 19 | #include <hidl-util/Formatter.h> |
| 20 | #include <inttypes.h> |
Timur Iskhakov | e8ee6a0 | 2017-09-06 11:42:10 -0700 | [diff] [blame] | 21 | #include <iostream> |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 22 | #include <unordered_map> |
| 23 | |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 24 | #include "Annotation.h" |
Timur Iskhakov | 505316c | 2017-08-05 03:38:59 +0000 | [diff] [blame] | 25 | #include "Location.h" |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 26 | #include "ScalarType.h" |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 27 | |
| 28 | namespace android { |
| 29 | |
Timur Iskhakov | 565b013 | 2017-09-06 18:07:11 -0700 | [diff] [blame] | 30 | EnumType::EnumType(const char* localName, const FQName& fullName, const Location& location, |
Timur Iskhakov | 505316c | 2017-08-05 03:38:59 +0000 | [diff] [blame] | 31 | const Reference<Type>& storageType, Scope* parent) |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 32 | : Scope(localName, fullName, location, parent), mValues(), mStorageType(storageType) {} |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 33 | |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 34 | const Type *EnumType::storageType() const { |
Timur Iskhakov | b3f8bcb | 2017-08-30 15:33:29 -0700 | [diff] [blame] | 35 | return mStorageType.get(); |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 36 | } |
| 37 | |
| 38 | const std::vector<EnumValue *> &EnumType::values() const { |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 39 | return mValues; |
| 40 | } |
| 41 | |
Yifan Hong | 0a9cc86 | 2017-10-06 16:21:55 -0700 | [diff] [blame] | 42 | void EnumType::forEachValueFromRoot(const std::function<void(EnumValue*)> f) const { |
| 43 | std::vector<const EnumType*> chain = typeChain(); |
| 44 | for (auto it = chain.rbegin(); it != chain.rend(); ++it) { |
| 45 | const auto& type = *it; |
| 46 | for (EnumValue* v : type->values()) { |
| 47 | f(v); |
| 48 | } |
| 49 | } |
| 50 | } |
| 51 | |
Steven Moreland | 12f0ab1 | 2018-11-02 17:27:37 -0700 | [diff] [blame] | 52 | size_t EnumType::numValueNames() const { |
| 53 | size_t count = 0; |
| 54 | for (const auto it : typeChain()) { |
| 55 | count += it->values().size(); |
| 56 | } |
| 57 | return count; |
| 58 | } |
| 59 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 60 | void EnumType::addValue(EnumValue* value) { |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 61 | CHECK(value != nullptr); |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 62 | mValues.push_back(value); |
| 63 | } |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 64 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 65 | status_t EnumType::resolveInheritance() { |
| 66 | const EnumType* prevType = nullptr; |
| 67 | EnumValue* prevValue = nullptr; |
| 68 | |
| 69 | for (const auto* type : superTypeChain()) { |
| 70 | if (!type->values().empty()) { |
| 71 | prevType = type; |
| 72 | prevValue = type->values().back(); |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 73 | break; |
| 74 | } |
| 75 | } |
| 76 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 77 | for (auto* value : mValues) { |
| 78 | value->autofill(prevType, prevValue, mStorageType->resolveToScalarType()); |
| 79 | prevType = this; |
| 80 | prevValue = value; |
| 81 | } |
| 82 | |
| 83 | return Scope::resolveInheritance(); |
| 84 | } |
| 85 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 86 | std::vector<const Reference<Type>*> EnumType::getReferences() const { |
| 87 | return {&mStorageType}; |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 88 | } |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 89 | |
Timur Iskhakov | b58f418 | 2017-08-29 15:19:24 -0700 | [diff] [blame] | 90 | std::vector<const ConstantExpression*> EnumType::getConstantExpressions() const { |
| 91 | std::vector<const ConstantExpression*> ret; |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 92 | for (const auto* value : mValues) { |
| 93 | ret.push_back(value->constExpr()); |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 94 | } |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 95 | return ret; |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 96 | } |
| 97 | |
| 98 | status_t EnumType::validate() const { |
Timur Iskhakov | a15f809 | 2017-08-18 16:31:21 -0700 | [diff] [blame] | 99 | CHECK(getSubTypes().empty()); |
| 100 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 101 | if (!isElidableType() || !mStorageType->isValidEnumStorageType()) { |
| 102 | std::cerr << "ERROR: Invalid enum storage type (" << (mStorageType)->typeName() |
| 103 | << ") specified at " << mStorageType.location() << "\n"; |
| 104 | return UNKNOWN_ERROR; |
| 105 | } |
| 106 | |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 107 | status_t err = validateUniqueNames(); |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 108 | if (err != OK) return err; |
| 109 | |
| 110 | return Scope::validate(); |
| 111 | } |
| 112 | |
| 113 | status_t EnumType::validateUniqueNames() const { |
| 114 | std::unordered_map<std::string, const EnumType*> registeredValueNames; |
| 115 | for (const auto* type : superTypeChain()) { |
| 116 | for (const auto* enumValue : type->mValues) { |
| 117 | // No need to check super value uniqueness |
| 118 | registeredValueNames[enumValue->name()] = type; |
| 119 | } |
| 120 | } |
| 121 | |
| 122 | for (const auto* value : mValues) { |
| 123 | auto registered = registeredValueNames.find(value->name()); |
| 124 | |
| 125 | if (registered != registeredValueNames.end()) { |
| 126 | const EnumType* definedInType = registered->second; |
| 127 | |
| 128 | if (definedInType == this) { |
| 129 | // Defined in this enum |
| 130 | std::cerr << "ERROR: Redefinition of value '" << value->name() << "'"; |
| 131 | } else { |
| 132 | // Defined in super enum |
Timur Iskhakov | ec123f3 | 2017-08-21 18:00:10 -0700 | [diff] [blame] | 133 | std::cerr << "ERROR: Redefinition of value '" << value->name() |
| 134 | << "' defined in enum '" << definedInType->fullName() << "'"; |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 135 | } |
| 136 | std::cerr << " at " << value->location() << "\n"; |
| 137 | return UNKNOWN_ERROR; |
| 138 | } |
| 139 | |
| 140 | registeredValueNames[value->name()] = this; |
| 141 | } |
| 142 | |
| 143 | return OK; |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 144 | } |
| 145 | |
Steven Moreland | 9df5244 | 2016-12-12 08:51:14 -0800 | [diff] [blame] | 146 | bool EnumType::isElidableType() const { |
| 147 | return mStorageType->isElidableType(); |
| 148 | } |
| 149 | |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 150 | const ScalarType *EnumType::resolveToScalarType() const { |
| 151 | return mStorageType->resolveToScalarType(); |
| 152 | } |
| 153 | |
Steven Moreland | 30bb6a8 | 2016-11-30 09:18:34 -0800 | [diff] [blame] | 154 | std::string EnumType::typeName() const { |
| 155 | return "enum " + localName(); |
| 156 | } |
| 157 | |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 158 | bool EnumType::isEnum() const { |
| 159 | return true; |
| 160 | } |
| 161 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 162 | bool EnumType::deepCanCheckEquality(std::unordered_set<const Type*>* /* visited */) const { |
Yifan Hong | c6752dc | 2016-12-20 14:00:14 -0800 | [diff] [blame] | 163 | return true; |
| 164 | } |
| 165 | |
Steven Moreland | 979e099 | 2016-09-07 09:18:08 -0700 | [diff] [blame] | 166 | std::string EnumType::getCppType(StorageMode, |
Steven Moreland | e30ee9b | 2017-05-09 13:31:01 -0700 | [diff] [blame] | 167 | bool /* specifyNamespaces */) const { |
| 168 | return fullName(); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 169 | } |
| 170 | |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 171 | std::string EnumType::getJavaType(bool forInitializer) const { |
| 172 | return mStorageType->resolveToScalarType()->getJavaType(forInitializer); |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 173 | } |
| 174 | |
| 175 | std::string EnumType::getJavaSuffix() const { |
| 176 | return mStorageType->resolveToScalarType()->getJavaSuffix(); |
| 177 | } |
| 178 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 179 | std::string EnumType::getJavaTypeClass() const { |
| 180 | return mStorageType->resolveToScalarType()->getJavaTypeClass(); |
Andreas Huber | a3558b3 | 2016-09-14 09:12:42 -0700 | [diff] [blame] | 181 | } |
| 182 | |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 183 | std::string EnumType::getVtsType() const { |
| 184 | return "TYPE_ENUM"; |
| 185 | } |
| 186 | |
Steven Moreland | 38a4fa1 | 2017-12-28 13:36:15 -0800 | [diff] [blame] | 187 | std::string EnumType::getBitfieldCppType(StorageMode /* mode */, bool specifyNamespaces) const { |
| 188 | const std::string space = specifyNamespaces ? "::android::hardware::" : ""; |
| 189 | return space + "hidl_bitfield<" + (specifyNamespaces ? fullName() : localName()) + ">"; |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 190 | } |
Timur Iskhakov | 63f3990 | 2017-08-29 15:47:29 -0700 | [diff] [blame] | 191 | |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 192 | std::string EnumType::getBitfieldJavaType(bool forInitializer) const { |
| 193 | return resolveToScalarType()->getJavaType(forInitializer); |
| 194 | } |
| 195 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 196 | std::string EnumType::getBitfieldJavaTypeClass() const { |
| 197 | return resolveToScalarType()->getJavaTypeClass(); |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 198 | } |
| 199 | |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 200 | LocalIdentifier *EnumType::lookupIdentifier(const std::string &name) const { |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 201 | std::vector<const EnumType*> chain = typeChain(); |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 202 | for (auto it = chain.begin(); it != chain.end(); ++it) { |
| 203 | const auto &type = *it; |
| 204 | for(EnumValue *v : type->values()) { |
| 205 | if(v->name() == name) { |
| 206 | return v; |
| 207 | } |
| 208 | } |
| 209 | } |
| 210 | return nullptr; |
| 211 | } |
| 212 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 213 | void EnumType::emitReaderWriter( |
| 214 | Formatter &out, |
| 215 | const std::string &name, |
| 216 | const std::string &parcelObj, |
| 217 | bool parcelObjIsPointer, |
| 218 | bool isReader, |
| 219 | ErrorMode mode) const { |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 220 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
Yi Kong | 56758da | 2018-07-24 16:21:37 -0700 | [diff] [blame] | 221 | CHECK(scalarType != nullptr); |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 222 | |
| 223 | scalarType->emitReaderWriterWithCast( |
| 224 | out, |
| 225 | name, |
| 226 | parcelObj, |
| 227 | parcelObjIsPointer, |
| 228 | isReader, |
| 229 | mode, |
| 230 | true /* needsCast */); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 231 | } |
| 232 | |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 233 | void EnumType::emitJavaFieldReaderWriter( |
| 234 | Formatter &out, |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 235 | size_t depth, |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 236 | const std::string &parcelName, |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 237 | const std::string &blobName, |
| 238 | const std::string &fieldName, |
| 239 | const std::string &offset, |
| 240 | bool isReader) const { |
| 241 | return mStorageType->emitJavaFieldReaderWriter( |
Andreas Huber | 709b62d | 2016-09-19 11:21:18 -0700 | [diff] [blame] | 242 | out, depth, parcelName, blobName, fieldName, offset, isReader); |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 243 | } |
| 244 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 245 | void EnumType::emitTypeDeclarations(Formatter& out) const { |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 246 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 247 | CHECK(scalarType != nullptr); |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 248 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 249 | const std::string storageType = scalarType->getCppStackType(); |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 250 | |
| 251 | out << "enum class " |
Andreas Huber | 0e00de4 | 2016-08-03 09:56:02 -0700 | [diff] [blame] | 252 | << localName() |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 253 | << " : " |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 254 | << storageType |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 255 | << " {\n"; |
| 256 | |
| 257 | out.indent(); |
| 258 | |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 259 | std::vector<const EnumType*> chain = typeChain(); |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 260 | |
| 261 | for (auto it = chain.rbegin(); it != chain.rend(); ++it) { |
| 262 | const auto &type = *it; |
| 263 | |
| 264 | for (const auto &entry : type->values()) { |
Steven Moreland | 49bad8d | 2018-05-17 15:45:26 -0700 | [diff] [blame] | 265 | entry->emitDocComment(out); |
| 266 | |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 267 | out << entry->name(); |
| 268 | |
Yifan Hong | fc610cd | 2016-09-22 13:34:45 -0700 | [diff] [blame] | 269 | std::string value = entry->cppValue(scalarType->getKind()); |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 270 | CHECK(!value.empty()); // use autofilled values for c++. |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 271 | out << " = " << value << ",\n"; |
Andreas Huber | 8d3ac0c | 2016-08-04 14:49:23 -0700 | [diff] [blame] | 272 | } |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 273 | } |
| 274 | |
| 275 | out.unindent(); |
| 276 | out << "};\n\n"; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 277 | } |
| 278 | |
Timur Iskhakov | fd3f250 | 2017-09-05 16:25:02 -0700 | [diff] [blame] | 279 | void EnumType::emitTypeForwardDeclaration(Formatter& out) const { |
| 280 | const ScalarType* scalarType = mStorageType->resolveToScalarType(); |
| 281 | const std::string storageType = scalarType->getCppStackType(); |
| 282 | |
| 283 | out << "enum class " << localName() << " : " << storageType << ";\n"; |
| 284 | } |
| 285 | |
Steven Moreland | 6961d3f | 2017-11-17 14:23:39 -0800 | [diff] [blame] | 286 | void EnumType::emitIteratorDeclaration(Formatter& out) const { |
| 287 | size_t elementCount = 0; |
| 288 | for (const auto* type : typeChain()) { |
| 289 | elementCount += type->mValues.size(); |
| 290 | } |
| 291 | |
Steven Moreland | dab3ff1 | 2018-10-26 14:09:00 -0700 | [diff] [blame] | 292 | out << "template<> constexpr std::array<" << getCppStackType() << ", " << elementCount |
| 293 | << "> hidl_enum_values<" << getCppStackType() << "> = "; |
Steven Moreland | 6961d3f | 2017-11-17 14:23:39 -0800 | [diff] [blame] | 294 | out.block([&] { |
Steven Moreland | dab3ff1 | 2018-10-26 14:09:00 -0700 | [diff] [blame] | 295 | auto enumerators = typeChain(); |
| 296 | std::reverse(enumerators.begin(), enumerators.end()); |
| 297 | for (const auto* type : enumerators) { |
| 298 | for (const auto* enumValue : type->mValues) { |
| 299 | out << fullName() << "::" << enumValue->name() << ",\n"; |
| 300 | } |
| 301 | } |
Steven Moreland | 09c6ebe | 2018-10-09 10:15:48 -0700 | [diff] [blame] | 302 | }) << ";\n"; |
Steven Moreland | 6961d3f | 2017-11-17 14:23:39 -0800 | [diff] [blame] | 303 | } |
| 304 | |
Jayant Chowdhary | 2820f8a | 2016-11-10 12:29:09 -0800 | [diff] [blame] | 305 | void EnumType::emitEnumBitwiseOperator( |
| 306 | Formatter &out, |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 307 | bool lhsIsEnum, |
| 308 | bool rhsIsEnum, |
Jayant Chowdhary | 2820f8a | 2016-11-10 12:29:09 -0800 | [diff] [blame] | 309 | const std::string &op) const { |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 310 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
| 311 | CHECK(scalarType != nullptr); |
| 312 | |
Yifan Hong | 3b320f8 | 2016-11-01 15:15:54 -0700 | [diff] [blame] | 313 | const std::string storageType = scalarType->getCppStackType(); |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 314 | |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 315 | out << "constexpr " |
| 316 | << storageType |
Jayant Chowdhary | 2820f8a | 2016-11-10 12:29:09 -0800 | [diff] [blame] | 317 | << " operator" |
| 318 | << op |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 319 | << "(const " |
| 320 | << (lhsIsEnum ? fullName() : storageType) |
| 321 | << " lhs, const " |
| 322 | << (rhsIsEnum ? fullName() : storageType) |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 323 | << " rhs) {\n"; |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 324 | |
Yifan Hong | 33223ca | 2016-12-13 15:07:35 -0800 | [diff] [blame] | 325 | out.indent([&] { |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 326 | out << "return static_cast<" |
| 327 | << storageType |
| 328 | << ">("; |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 329 | |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 330 | if (lhsIsEnum) { |
| 331 | out << "static_cast<" |
| 332 | << storageType |
| 333 | << ">(lhs)"; |
| 334 | } else { |
| 335 | out << "lhs"; |
| 336 | } |
| 337 | out << " " << op << " "; |
| 338 | if (rhsIsEnum) { |
| 339 | out << "static_cast<" |
| 340 | << storageType |
| 341 | << ">(rhs)"; |
| 342 | } else { |
| 343 | out << "rhs"; |
| 344 | } |
| 345 | out << ");\n"; |
| 346 | }); |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 347 | |
Steven Moreland | 09c6ebe | 2018-10-09 10:15:48 -0700 | [diff] [blame] | 348 | out << "}\n"; |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 349 | } |
| 350 | |
| 351 | void EnumType::emitBitFieldBitwiseAssignmentOperator( |
| 352 | Formatter &out, |
| 353 | const std::string &op) const { |
| 354 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
| 355 | CHECK(scalarType != nullptr); |
| 356 | |
| 357 | const std::string storageType = scalarType->getCppStackType(); |
| 358 | |
| 359 | out << "constexpr " << storageType << " &operator" << op << "=(" |
| 360 | << storageType << "& v, const " << fullName() << " e) {\n"; |
| 361 | |
Yifan Hong | 33223ca | 2016-12-13 15:07:35 -0800 | [diff] [blame] | 362 | out.indent([&] { |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 363 | out << "v " << op << "= static_cast<" << storageType << ">(e);\n"; |
| 364 | out << "return v;\n"; |
| 365 | }); |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 366 | |
Steven Moreland | 09c6ebe | 2018-10-09 10:15:48 -0700 | [diff] [blame] | 367 | out << "}\n"; |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 368 | } |
| 369 | |
Steven Moreland | 6961d3f | 2017-11-17 14:23:39 -0800 | [diff] [blame] | 370 | void EnumType::emitGlobalTypeDeclarations(Formatter& out) const { |
| 371 | out << "namespace android {\n"; |
| 372 | out << "namespace hardware {\n"; |
Steven Moreland | dab3ff1 | 2018-10-26 14:09:00 -0700 | [diff] [blame] | 373 | out << "namespace details {\n"; |
Steven Moreland | 6961d3f | 2017-11-17 14:23:39 -0800 | [diff] [blame] | 374 | |
| 375 | emitIteratorDeclaration(out); |
| 376 | |
Steven Moreland | dab3ff1 | 2018-10-26 14:09:00 -0700 | [diff] [blame] | 377 | out << "} // namespace details\n"; |
Steven Moreland | 6961d3f | 2017-11-17 14:23:39 -0800 | [diff] [blame] | 378 | out << "} // namespace hardware\n"; |
Steven Moreland | 09c6ebe | 2018-10-09 10:15:48 -0700 | [diff] [blame] | 379 | out << "} // namespace android\n\n"; |
Steven Moreland | 6961d3f | 2017-11-17 14:23:39 -0800 | [diff] [blame] | 380 | } |
| 381 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 382 | void EnumType::emitPackageTypeDeclarations(Formatter& out) const { |
Steven Moreland | 09c6ebe | 2018-10-09 10:15:48 -0700 | [diff] [blame] | 383 | out << "template<typename>\n" |
| 384 | << "static inline std::string toString(" << resolveToScalarType()->getCppArgumentType() |
| 385 | << " o);\n"; |
| 386 | out << "static inline std::string toString(" << getCppArgumentType() << " o);\n\n"; |
| 387 | |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 388 | emitEnumBitwiseOperator(out, true /* lhsIsEnum */, true /* rhsIsEnum */, "|"); |
| 389 | emitEnumBitwiseOperator(out, false /* lhsIsEnum */, true /* rhsIsEnum */, "|"); |
| 390 | emitEnumBitwiseOperator(out, true /* lhsIsEnum */, false /* rhsIsEnum */, "|"); |
| 391 | emitEnumBitwiseOperator(out, true /* lhsIsEnum */, true /* rhsIsEnum */, "&"); |
| 392 | emitEnumBitwiseOperator(out, false /* lhsIsEnum */, true /* rhsIsEnum */, "&"); |
| 393 | emitEnumBitwiseOperator(out, true /* lhsIsEnum */, false /* rhsIsEnum */, "&"); |
| 394 | |
| 395 | emitBitFieldBitwiseAssignmentOperator(out, "|"); |
| 396 | emitBitFieldBitwiseAssignmentOperator(out, "&"); |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 397 | |
Steven Moreland | 09c6ebe | 2018-10-09 10:15:48 -0700 | [diff] [blame] | 398 | out.endl(); |
| 399 | } |
| 400 | |
| 401 | void EnumType::emitPackageTypeHeaderDefinitions(Formatter& out) const { |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 402 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
Yi Kong | 56758da | 2018-07-24 16:21:37 -0700 | [diff] [blame] | 403 | CHECK(scalarType != nullptr); |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 404 | |
Yifan Hong | f5cc2f7 | 2017-01-04 18:02:34 -0800 | [diff] [blame] | 405 | out << "template<>\n" |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 406 | << "inline std::string toString<" << getCppStackType() << ">(" |
| 407 | << scalarType->getCppArgumentType() << " o) "; |
| 408 | out.block([&] { |
| 409 | // include toHexString for scalar types |
| 410 | out << "using ::android::hardware::details::toHexString;\n" |
| 411 | << "std::string os;\n" |
| 412 | << getBitfieldCppType(StorageMode_Stack) << " flipped = 0;\n" |
| 413 | << "bool first = true;\n"; |
Steven Moreland | 5f93004 | 2018-03-21 17:09:12 -0700 | [diff] [blame] | 414 | forEachValueFromRoot([&](EnumValue* value) { |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 415 | std::string valueName = fullName() + "::" + value->name(); |
| 416 | out.sIf("(o & " + valueName + ")" + |
| 417 | " == static_cast<" + scalarType->getCppStackType() + |
| 418 | ">(" + valueName + ")", [&] { |
| 419 | out << "os += (first ? \"\" : \" | \");\n" |
| 420 | << "os += \"" << value->name() << "\";\n" |
| 421 | << "first = false;\n" |
| 422 | << "flipped |= " << valueName << ";\n"; |
| 423 | }).endl(); |
Steven Moreland | 5f93004 | 2018-03-21 17:09:12 -0700 | [diff] [blame] | 424 | }); |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 425 | // put remaining bits |
| 426 | out.sIf("o != flipped", [&] { |
| 427 | out << "os += (first ? \"\" : \" | \");\n"; |
| 428 | scalarType->emitHexDump(out, "os", "o & (~flipped)"); |
| 429 | }); |
| 430 | out << "os += \" (\";\n"; |
| 431 | scalarType->emitHexDump(out, "os", "o"); |
| 432 | out << "os += \")\";\n"; |
Yifan Hong | f5cc2f7 | 2017-01-04 18:02:34 -0800 | [diff] [blame] | 433 | |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 434 | out << "return os;\n"; |
| 435 | }).endl().endl(); |
| 436 | |
| 437 | out << "static inline std::string toString(" << getCppArgumentType() << " o) "; |
| 438 | |
| 439 | out.block([&] { |
| 440 | out << "using ::android::hardware::details::toHexString;\n"; |
Steven Moreland | 5f93004 | 2018-03-21 17:09:12 -0700 | [diff] [blame] | 441 | forEachValueFromRoot([&](EnumValue* value) { |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 442 | out.sIf("o == " + fullName() + "::" + value->name(), [&] { |
| 443 | out << "return \"" << value->name() << "\";\n"; |
| 444 | }).endl(); |
Steven Moreland | 5f93004 | 2018-03-21 17:09:12 -0700 | [diff] [blame] | 445 | }); |
Steven Moreland | bf71421 | 2017-10-27 18:29:01 -0700 | [diff] [blame] | 446 | out << "std::string os;\n"; |
| 447 | scalarType->emitHexDump(out, "os", |
| 448 | "static_cast<" + scalarType->getCppStackType() + ">(o)"); |
| 449 | out << "return os;\n"; |
| 450 | }).endl().endl(); |
Andreas Huber | e3f769a | 2016-10-10 10:54:44 -0700 | [diff] [blame] | 451 | } |
| 452 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 453 | void EnumType::emitJavaTypeDeclarations(Formatter& out, bool atTopLevel) const { |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 454 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
Yi Kong | 56758da | 2018-07-24 16:21:37 -0700 | [diff] [blame] | 455 | CHECK(scalarType != nullptr); |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 456 | |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 457 | out << "public " |
| 458 | << (atTopLevel ? "" : "static ") |
| 459 | << "final class " |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 460 | << localName() |
| 461 | << " {\n"; |
| 462 | |
| 463 | out.indent(); |
| 464 | |
Andreas Huber | 4c865b7 | 2016-09-14 15:26:27 -0700 | [diff] [blame] | 465 | const std::string typeName = |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 466 | scalarType->getJavaType(false /* forInitializer */); |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 467 | |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 468 | std::vector<const EnumType*> chain = typeChain(); |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 469 | |
| 470 | for (auto it = chain.rbegin(); it != chain.rend(); ++it) { |
| 471 | const auto &type = *it; |
| 472 | |
| 473 | for (const auto &entry : type->values()) { |
Steven Moreland | 49bad8d | 2018-05-17 15:45:26 -0700 | [diff] [blame] | 474 | entry->emitDocComment(out); |
| 475 | |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 476 | out << "public static final " |
| 477 | << typeName |
| 478 | << " " |
Andreas Huber | ab647c0 | 2016-09-14 09:44:00 -0700 | [diff] [blame] | 479 | << entry->name() |
| 480 | << " = "; |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 481 | |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 482 | // javaValue will make the number signed. |
Yifan Hong | fc610cd | 2016-09-22 13:34:45 -0700 | [diff] [blame] | 483 | std::string value = entry->javaValue(scalarType->getKind()); |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 484 | CHECK(!value.empty()); // use autofilled values for java. |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 485 | out << value << ";\n"; |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 486 | } |
| 487 | } |
| 488 | |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 489 | out << "public static final String toString(" |
| 490 | << typeName << " o) "; |
| 491 | out.block([&] { |
Yifan Hong | 0a9cc86 | 2017-10-06 16:21:55 -0700 | [diff] [blame] | 492 | forEachValueFromRoot([&](EnumValue* value) { |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 493 | out.sIf("o == " + value->name(), [&] { |
| 494 | out << "return \"" << value->name() << "\";\n"; |
| 495 | }).endl(); |
Yifan Hong | 0a9cc86 | 2017-10-06 16:21:55 -0700 | [diff] [blame] | 496 | }); |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 497 | out << "return \"0x\" + "; |
| 498 | scalarType->emitConvertToJavaHexString(out, "o"); |
| 499 | out << ";\n"; |
| 500 | }).endl(); |
| 501 | |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 502 | auto bitfieldType = getBitfieldJavaType(false /* forInitializer */); |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 503 | out << "\n" |
| 504 | << "public static final String dumpBitfield(" |
| 505 | << bitfieldType << " o) "; |
| 506 | out.block([&] { |
| 507 | out << "java.util.ArrayList<String> list = new java.util.ArrayList<>();\n"; |
| 508 | out << bitfieldType << " flipped = 0;\n"; |
Yifan Hong | 0a9cc86 | 2017-10-06 16:21:55 -0700 | [diff] [blame] | 509 | forEachValueFromRoot([&](EnumValue* value) { |
Yifan Hong | dd7c574 | 2017-07-06 13:16:30 -0700 | [diff] [blame] | 510 | if (value->constExpr()->castSizeT() == 0) { |
| 511 | out << "list.add(\"" << value->name() << "\"); // " << value->name() << " == 0\n"; |
Yifan Hong | 0a9cc86 | 2017-10-06 16:21:55 -0700 | [diff] [blame] | 512 | return; // continue to next value |
Yifan Hong | dd7c574 | 2017-07-06 13:16:30 -0700 | [diff] [blame] | 513 | } |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 514 | out.sIf("(o & " + value->name() + ") == " + value->name(), [&] { |
| 515 | out << "list.add(\"" << value->name() << "\");\n"; |
| 516 | out << "flipped |= " << value->name() << ";\n"; |
| 517 | }).endl(); |
Yifan Hong | 0a9cc86 | 2017-10-06 16:21:55 -0700 | [diff] [blame] | 518 | }); |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 519 | // put remaining bits |
| 520 | out.sIf("o != flipped", [&] { |
| 521 | out << "list.add(\"0x\" + "; |
| 522 | scalarType->emitConvertToJavaHexString(out, "o & (~flipped)"); |
| 523 | out << ");\n"; |
| 524 | }).endl(); |
| 525 | out << "return String.join(\" | \", list);\n"; |
| 526 | }).endl().endl(); |
| 527 | |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 528 | out.unindent(); |
| 529 | out << "};\n\n"; |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 530 | } |
| 531 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 532 | void EnumType::emitVtsTypeDeclarations(Formatter& out) const { |
Yifan Hong | c07b202 | 2016-11-08 12:44:24 -0800 | [diff] [blame] | 533 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
| 534 | |
Zhuoyao Zhang | bf828c8 | 2016-10-26 14:15:10 -0700 | [diff] [blame] | 535 | out << "name: \"" << fullName() << "\"\n"; |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 536 | out << "type: " << getVtsType() << "\n"; |
| 537 | out << "enum_value: {\n"; |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 538 | out.indent(); |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 539 | |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 540 | out << "scalar_type: \"" |
Yifan Hong | c07b202 | 2016-11-08 12:44:24 -0800 | [diff] [blame] | 541 | << scalarType->getVtsScalarType() |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 542 | << "\"\n\n"; |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 543 | std::vector<const EnumType*> chain = typeChain(); |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 544 | |
| 545 | for (auto it = chain.rbegin(); it != chain.rend(); ++it) { |
| 546 | const auto &type = *it; |
| 547 | |
| 548 | for (const auto &entry : type->values()) { |
| 549 | out << "enumerator: \"" << entry->name() << "\"\n"; |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 550 | out << "scalar_value: {\n"; |
| 551 | out.indent(); |
Yifan Hong | c07b202 | 2016-11-08 12:44:24 -0800 | [diff] [blame] | 552 | // use autofilled values for vts. |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 553 | std::string value = entry->rawValue(scalarType->getKind()); |
Yifan Hong | c07b202 | 2016-11-08 12:44:24 -0800 | [diff] [blame] | 554 | CHECK(!value.empty()); |
| 555 | out << mStorageType->resolveToScalarType()->getVtsScalarType() |
| 556 | << ": " |
| 557 | << value |
| 558 | << "\n"; |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 559 | out.unindent(); |
| 560 | out << "}\n"; |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 561 | } |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 562 | } |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 563 | |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 564 | out.unindent(); |
| 565 | out << "}\n"; |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 566 | } |
| 567 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 568 | void EnumType::emitVtsAttributeType(Formatter& out) const { |
Zhuoyao Zhang | c5ea9f5 | 2016-10-06 15:05:39 -0700 | [diff] [blame] | 569 | out << "type: " << getVtsType() << "\n"; |
Zhuoyao Zhang | bf828c8 | 2016-10-26 14:15:10 -0700 | [diff] [blame] | 570 | out << "predefined_type: \"" << fullName() << "\"\n"; |
Zhuoyao Zhang | 5158db4 | 2016-08-10 10:25:20 -0700 | [diff] [blame] | 571 | } |
| 572 | |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 573 | void EnumType::emitJavaDump( |
| 574 | Formatter &out, |
| 575 | const std::string &streamName, |
| 576 | const std::string &name) const { |
| 577 | out << streamName << ".append(" << fqName().javaName() << ".toString(" |
| 578 | << name << "));\n"; |
| 579 | } |
| 580 | |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 581 | std::vector<const EnumType*> EnumType::typeChain() const { |
| 582 | std::vector<const EnumType*> types; |
| 583 | for (const EnumType* type = this; type != nullptr;) { |
| 584 | types.push_back(type); |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 585 | |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 586 | const Type* superType = type->storageType(); |
| 587 | if (superType != nullptr && superType->isEnum()) { |
| 588 | type = static_cast<const EnumType*>(superType); |
| 589 | } else { |
| 590 | type = nullptr; |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 591 | } |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 592 | } |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 593 | |
| 594 | return types; |
| 595 | } |
| 596 | |
| 597 | std::vector<const EnumType*> EnumType::superTypeChain() const { |
| 598 | const Type* superType = storageType(); |
| 599 | if (superType == nullptr || !superType->isEnum()) { |
| 600 | return {}; |
| 601 | } |
| 602 | return static_cast<const EnumType*>(superType)->typeChain(); |
Zhuoyao Zhang | 864c771 | 2016-08-16 15:35:28 -0700 | [diff] [blame] | 603 | } |
| 604 | |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 605 | void EnumType::getAlignmentAndSize(size_t *align, size_t *size) const { |
| 606 | mStorageType->getAlignmentAndSize(align, size); |
| 607 | } |
| 608 | |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 609 | const Annotation *EnumType::findExportAnnotation() const { |
| 610 | for (const auto &annotation : annotations()) { |
| 611 | if (annotation->name() == "export") { |
| 612 | return annotation; |
| 613 | } |
| 614 | } |
| 615 | |
| 616 | return nullptr; |
| 617 | } |
| 618 | |
| 619 | void EnumType::appendToExportedTypesVector( |
| 620 | std::vector<const Type *> *exportedTypes) const { |
| 621 | if (findExportAnnotation() != nullptr) { |
| 622 | exportedTypes->push_back(this); |
| 623 | } |
| 624 | } |
| 625 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 626 | void EnumType::emitExportedHeader(Formatter& out, bool forJava) const { |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 627 | const Annotation *annotation = findExportAnnotation(); |
| 628 | CHECK(annotation != nullptr); |
| 629 | |
| 630 | std::string name = localName(); |
| 631 | |
| 632 | const AnnotationParam *nameParam = annotation->getParam("name"); |
| 633 | if (nameParam != nullptr) { |
Steven Moreland | db1b1b6 | 2017-01-10 09:50:55 -0800 | [diff] [blame] | 634 | name = nameParam->getSingleString(); |
| 635 | } |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 636 | |
Steven Moreland | db1b1b6 | 2017-01-10 09:50:55 -0800 | [diff] [blame] | 637 | bool exportParent = true; |
| 638 | const AnnotationParam *exportParentParam = annotation->getParam("export_parent"); |
| 639 | if (exportParentParam != nullptr) { |
| 640 | exportParent = exportParentParam->getSingleBool(); |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 641 | } |
| 642 | |
Andreas Huber | b0627fb | 2016-10-10 09:39:28 -0700 | [diff] [blame] | 643 | std::string valuePrefix; |
Andreas Huber | b0627fb | 2016-10-10 09:39:28 -0700 | [diff] [blame] | 644 | const AnnotationParam *prefixParam = annotation->getParam("value_prefix"); |
| 645 | if (prefixParam != nullptr) { |
Steven Moreland | db1b1b6 | 2017-01-10 09:50:55 -0800 | [diff] [blame] | 646 | valuePrefix = prefixParam->getSingleString(); |
Andreas Huber | b0627fb | 2016-10-10 09:39:28 -0700 | [diff] [blame] | 647 | } |
| 648 | |
Steven Moreland | 73cdc88 | 2016-11-21 16:43:50 -0800 | [diff] [blame] | 649 | std::string valueSuffix; |
| 650 | const AnnotationParam *suffixParam = annotation->getParam("value_suffix"); |
| 651 | if (suffixParam != nullptr) { |
Steven Moreland | db1b1b6 | 2017-01-10 09:50:55 -0800 | [diff] [blame] | 652 | valueSuffix = suffixParam->getSingleString(); |
Steven Moreland | 73cdc88 | 2016-11-21 16:43:50 -0800 | [diff] [blame] | 653 | } |
| 654 | |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 655 | const ScalarType *scalarType = mStorageType->resolveToScalarType(); |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 656 | CHECK(scalarType != nullptr); |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 657 | |
Steven Moreland | db1b1b6 | 2017-01-10 09:50:55 -0800 | [diff] [blame] | 658 | std::vector<const EnumType *> chain; |
| 659 | if (exportParent) { |
Timur Iskhakov | f1b902d | 2017-08-13 20:14:31 -0700 | [diff] [blame] | 660 | chain = typeChain(); |
Steven Moreland | db1b1b6 | 2017-01-10 09:50:55 -0800 | [diff] [blame] | 661 | } else { |
| 662 | chain = { this }; |
| 663 | } |
| 664 | |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 665 | if (forJava) { |
| 666 | if (!name.empty()) { |
| 667 | out << "public final class " |
| 668 | << name |
| 669 | << " {\n"; |
| 670 | |
| 671 | out.indent(); |
| 672 | } else { |
| 673 | out << "// Values declared in " << localName() << " follow.\n"; |
| 674 | } |
| 675 | |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 676 | const std::string typeName = |
Yifan Hong | 4ed1347 | 2016-11-02 10:44:11 -0700 | [diff] [blame] | 677 | scalarType->getJavaType(false /* forInitializer */); |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 678 | |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 679 | for (auto it = chain.rbegin(); it != chain.rend(); ++it) { |
| 680 | const auto &type = *it; |
| 681 | |
| 682 | for (const auto &entry : type->values()) { |
| 683 | out << "public static final " |
| 684 | << typeName |
| 685 | << " " |
| 686 | << valuePrefix |
| 687 | << entry->name() |
Steven Moreland | 73cdc88 | 2016-11-21 16:43:50 -0800 | [diff] [blame] | 688 | << valueSuffix |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 689 | << " = "; |
| 690 | |
| 691 | // javaValue will make the number signed. |
| 692 | std::string value = entry->javaValue(scalarType->getKind()); |
| 693 | CHECK(!value.empty()); // use autofilled values for java. |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 694 | out << value << ";\n"; |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 695 | } |
| 696 | } |
| 697 | |
| 698 | if (!name.empty()) { |
| 699 | out.unindent(); |
| 700 | out << "};\n"; |
| 701 | } |
| 702 | out << "\n"; |
| 703 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 704 | return; |
Andreas Huber | 1c50727 | 2016-10-05 14:33:21 -0700 | [diff] [blame] | 705 | } |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 706 | |
| 707 | if (!name.empty()) { |
| 708 | out << "typedef "; |
| 709 | } |
| 710 | |
| 711 | out << "enum {\n"; |
| 712 | |
| 713 | out.indent(); |
| 714 | |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 715 | for (auto it = chain.rbegin(); it != chain.rend(); ++it) { |
| 716 | const auto &type = *it; |
| 717 | |
| 718 | for (const auto &entry : type->values()) { |
Steven Moreland | 73cdc88 | 2016-11-21 16:43:50 -0800 | [diff] [blame] | 719 | out << valuePrefix << entry->name() << valueSuffix; |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 720 | |
| 721 | std::string value = entry->cppValue(scalarType->getKind()); |
| 722 | CHECK(!value.empty()); // use autofilled values for c++. |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 723 | out << " = " << value << ",\n"; |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 724 | } |
| 725 | } |
| 726 | |
| 727 | out.unindent(); |
| 728 | out << "}"; |
| 729 | |
| 730 | if (!name.empty()) { |
| 731 | out << " " << name; |
| 732 | } |
| 733 | |
| 734 | out << ";\n\n"; |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 735 | } |
| 736 | |
Andreas Huber | 31629bc | 2016-08-03 09:06:40 -0700 | [diff] [blame] | 737 | //////////////////////////////////////////////////////////////////////////////// |
| 738 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 739 | EnumValue::EnumValue(const char* name, ConstantExpression* value, const Location& location) |
| 740 | : mName(name), mValue(value), mLocation(location), mIsAutoFill(false) {} |
Andreas Huber | 31629bc | 2016-08-03 09:06:40 -0700 | [diff] [blame] | 741 | |
| 742 | std::string EnumValue::name() const { |
| 743 | return mName; |
| 744 | } |
| 745 | |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 746 | std::string EnumValue::rawValue(ScalarType::Kind castKind) const { |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 747 | CHECK(mValue != nullptr); |
Steven Moreland | f21962d | 2018-08-09 12:44:40 -0700 | [diff] [blame] | 748 | return mValue->rawValue(castKind); |
Yifan Hong | 5788697 | 2016-08-17 10:42:15 -0700 | [diff] [blame] | 749 | } |
| 750 | |
Yifan Hong | fc610cd | 2016-09-22 13:34:45 -0700 | [diff] [blame] | 751 | std::string EnumValue::cppValue(ScalarType::Kind castKind) const { |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 752 | CHECK(mValue != nullptr); |
| 753 | return mValue->cppValue(castKind); |
Yifan Hong | 5788697 | 2016-08-17 10:42:15 -0700 | [diff] [blame] | 754 | } |
Yifan Hong | fc610cd | 2016-09-22 13:34:45 -0700 | [diff] [blame] | 755 | std::string EnumValue::javaValue(ScalarType::Kind castKind) const { |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 756 | CHECK(mValue != nullptr); |
| 757 | return mValue->javaValue(castKind); |
Yifan Hong | 19ca75a | 2016-08-31 10:20:03 -0700 | [diff] [blame] | 758 | } |
Yifan Hong | 5788697 | 2016-08-17 10:42:15 -0700 | [diff] [blame] | 759 | |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 760 | ConstantExpression *EnumValue::constExpr() const { |
| 761 | CHECK(mValue != nullptr); |
| 762 | return mValue; |
| 763 | } |
| 764 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 765 | void EnumValue::autofill(const EnumType* prevType, EnumValue* prevValue, const ScalarType* type) { |
| 766 | // Value is defined explicitly |
Timur Iskhakov | 7296af1 | 2017-08-09 21:52:48 +0000 | [diff] [blame] | 767 | if (mValue != nullptr) return; |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 768 | |
| 769 | CHECK((prevType == nullptr) == (prevValue == nullptr)); |
| 770 | |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 771 | mIsAutoFill = true; |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 772 | if (prevValue == nullptr) { |
Timur Iskhakov | 7296af1 | 2017-08-09 21:52:48 +0000 | [diff] [blame] | 773 | mValue = ConstantExpression::Zero(type->getKind()).release(); |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 774 | } else { |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 775 | std::string description = prevType->fullName() + "." + prevValue->name() + " implicitly"; |
| 776 | auto* prevReference = new ReferenceConstantExpression( |
| 777 | Reference<LocalIdentifier>(prevValue, mLocation), description); |
| 778 | mValue = prevReference->addOne(type->getKind()).release(); |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 779 | } |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 780 | } |
| 781 | |
| 782 | bool EnumValue::isAutoFill() const { |
| 783 | return mIsAutoFill; |
| 784 | } |
| 785 | |
| 786 | bool EnumValue::isEnumValue() const { |
| 787 | return true; |
Andreas Huber | 31629bc | 2016-08-03 09:06:40 -0700 | [diff] [blame] | 788 | } |
| 789 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 790 | const Location& EnumValue::location() const { |
| 791 | return mLocation; |
| 792 | } |
| 793 | |
Yifan Hong | abf73ee | 2016-12-05 18:47:00 -0800 | [diff] [blame] | 794 | //////////////////////////////////////////////////////////////////////////////// |
| 795 | |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 796 | BitFieldType::BitFieldType(Scope* parent) : TemplatedType(parent) {} |
| 797 | |
Yifan Hong | abf73ee | 2016-12-05 18:47:00 -0800 | [diff] [blame] | 798 | bool BitFieldType::isBitField() const { |
| 799 | return true; |
| 800 | } |
| 801 | |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 802 | const EnumType* BitFieldType::getElementEnumType() const { |
| 803 | CHECK(mElementType.get() != nullptr && mElementType->isEnum()); |
| 804 | return static_cast<const EnumType*>(mElementType.get()); |
| 805 | } |
| 806 | |
Timur Iskhakov | 3f1d26e | 2017-08-30 15:35:53 -0700 | [diff] [blame] | 807 | std::string BitFieldType::templatedTypeName() const { |
| 808 | return "mask"; |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 809 | } |
| 810 | |
Timur Iskhakov | 24e605b | 2017-08-30 14:02:55 -0700 | [diff] [blame] | 811 | bool BitFieldType::isCompatibleElementType(const Type* elementType) const { |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 812 | return elementType->isEnum(); |
| 813 | } |
| 814 | |
| 815 | const ScalarType *BitFieldType::resolveToScalarType() const { |
| 816 | return mElementType->resolveToScalarType(); |
| 817 | } |
| 818 | |
| 819 | std::string BitFieldType::getCppType(StorageMode mode, |
| 820 | bool specifyNamespaces) const { |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 821 | return getElementEnumType()->getBitfieldCppType(mode, specifyNamespaces); |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 822 | } |
| 823 | |
| 824 | std::string BitFieldType::getJavaType(bool forInitializer) const { |
Yifan Hong | c14dd6e | 2017-09-15 13:39:58 -0700 | [diff] [blame] | 825 | return getElementEnumType()->getBitfieldJavaType(forInitializer); |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 826 | } |
| 827 | |
| 828 | std::string BitFieldType::getJavaSuffix() const { |
| 829 | return resolveToScalarType()->getJavaSuffix(); |
| 830 | } |
| 831 | |
Nirav Atre | 66842a9 | 2018-06-28 18:14:13 -0700 | [diff] [blame] | 832 | std::string BitFieldType::getJavaTypeClass() const { |
| 833 | return getElementEnumType()->getBitfieldJavaTypeClass(); |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 834 | } |
| 835 | |
| 836 | std::string BitFieldType::getVtsType() const { |
| 837 | return "TYPE_MASK"; |
| 838 | } |
| 839 | |
Yifan Hong | 8c56cbe | 2016-12-12 15:30:12 -0800 | [diff] [blame] | 840 | bool BitFieldType::isElidableType() const { |
| 841 | return resolveToScalarType()->isElidableType(); |
| 842 | } |
| 843 | |
Timur Iskhakov | 5dc72fe | 2017-09-07 23:13:44 -0700 | [diff] [blame] | 844 | bool BitFieldType::deepCanCheckEquality(std::unordered_set<const Type*>* visited) const { |
| 845 | return resolveToScalarType()->canCheckEquality(visited); |
Yifan Hong | 7d1839f | 2017-02-22 13:24:29 -0800 | [diff] [blame] | 846 | } |
| 847 | |
Steven Moreland | 368e460 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 848 | void BitFieldType::emitVtsAttributeType(Formatter& out) const { |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 849 | out << "type: " << getVtsType() << "\n"; |
Zhuoyao Zhang | 1323623 | 2017-01-24 14:27:55 -0800 | [diff] [blame] | 850 | out << "scalar_type: \"" |
| 851 | << mElementType->resolveToScalarType()->getVtsScalarType() |
| 852 | << "\"\n"; |
Timur Iskhakov | 24e605b | 2017-08-30 14:02:55 -0700 | [diff] [blame] | 853 | out << "predefined_type: \"" << static_cast<const NamedType*>(mElementType.get())->fullName() |
Timur Iskhakov | 505316c | 2017-08-05 03:38:59 +0000 | [diff] [blame] | 854 | << "\"\n"; |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 855 | } |
| 856 | |
| 857 | void BitFieldType::getAlignmentAndSize(size_t *align, size_t *size) const { |
| 858 | resolveToScalarType()->getAlignmentAndSize(align, size); |
| 859 | } |
| 860 | |
| 861 | void BitFieldType::emitReaderWriter( |
| 862 | Formatter &out, |
| 863 | const std::string &name, |
| 864 | const std::string &parcelObj, |
| 865 | bool parcelObjIsPointer, |
| 866 | bool isReader, |
| 867 | ErrorMode mode) const { |
| 868 | resolveToScalarType()->emitReaderWriterWithCast( |
| 869 | out, |
| 870 | name, |
| 871 | parcelObj, |
| 872 | parcelObjIsPointer, |
| 873 | isReader, |
| 874 | mode, |
| 875 | true /* needsCast */); |
| 876 | } |
| 877 | |
Timur Iskhakov | 24e605b | 2017-08-30 14:02:55 -0700 | [diff] [blame] | 878 | const EnumType* BitFieldType::getEnumType() const { |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 879 | CHECK(mElementType->isEnum()); |
Timur Iskhakov | 24e605b | 2017-08-30 14:02:55 -0700 | [diff] [blame] | 880 | return static_cast<const EnumType*>(mElementType.get()); |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 881 | } |
| 882 | |
Yifan Hong | f5cc2f7 | 2017-01-04 18:02:34 -0800 | [diff] [blame] | 883 | // a bitfield maps to the underlying scalar type in C++, so operator<< is |
| 884 | // already defined. We can still emit useful information if the bitfield is |
| 885 | // in a struct / union by overriding emitDump as below. |
| 886 | void BitFieldType::emitDump( |
| 887 | Formatter &out, |
| 888 | const std::string &streamName, |
| 889 | const std::string &name) const { |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 890 | out << streamName << " += "<< getEnumType()->fqName().cppNamespace() |
| 891 | << "::toString<" << getEnumType()->getCppStackType() |
Yifan Hong | f5cc2f7 | 2017-01-04 18:02:34 -0800 | [diff] [blame] | 892 | << ">(" << name << ");\n"; |
| 893 | } |
| 894 | |
Yifan Hong | e45b530 | 2017-02-22 10:49:07 -0800 | [diff] [blame] | 895 | void BitFieldType::emitJavaDump( |
| 896 | Formatter &out, |
| 897 | const std::string &streamName, |
| 898 | const std::string &name) const { |
| 899 | out << streamName << ".append(" << getEnumType()->fqName().javaName() << ".dumpBitfield(" |
| 900 | << name << "));\n"; |
| 901 | } |
| 902 | |
Yifan Hong | c57c8bb | 2016-12-01 11:37:18 -0800 | [diff] [blame] | 903 | void BitFieldType::emitJavaFieldReaderWriter( |
| 904 | Formatter &out, |
| 905 | size_t depth, |
| 906 | const std::string &parcelName, |
| 907 | const std::string &blobName, |
| 908 | const std::string &fieldName, |
| 909 | const std::string &offset, |
| 910 | bool isReader) const { |
| 911 | return resolveToScalarType()->emitJavaFieldReaderWriter( |
| 912 | out, depth, parcelName, blobName, fieldName, offset, isReader); |
| 913 | } |
| 914 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 915 | } // namespace android |
| 916 | |