Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2018, 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 | * limitations under the License. |
| 13 | */ |
| 14 | |
| 15 | #include "aidl_to_ndk.h" |
| 16 | #include "aidl_language.h" |
Steven Moreland | aada342 | 2018-09-20 15:55:33 -0700 | [diff] [blame] | 17 | #include "aidl_to_cpp_common.h" |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 18 | #include "logging.h" |
Steven Moreland | 7c93337 | 2018-10-11 15:20:04 -0700 | [diff] [blame] | 19 | #include "os.h" |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 20 | |
Devin Moore | 53fc99c | 2020-08-12 08:07:52 -0700 | [diff] [blame] | 21 | #include <android-base/stringprintf.h> |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 22 | #include <android-base/strings.h> |
| 23 | |
| 24 | #include <functional> |
| 25 | |
| 26 | using ::android::base::Join; |
Jooyung Han | 4b83252 | 2021-10-06 16:08:30 +0900 | [diff] [blame] | 27 | using ::android::base::Split; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 28 | |
| 29 | namespace android { |
| 30 | namespace aidl { |
| 31 | namespace ndk { |
| 32 | |
Steven Moreland | 7c93337 | 2018-10-11 15:20:04 -0700 | [diff] [blame] | 33 | std::string NdkHeaderFile(const AidlDefinedType& defined_type, cpp::ClassNames name, |
| 34 | bool use_os_sep) { |
| 35 | char seperator = (use_os_sep) ? OS_PATH_SEPARATOR : '/'; |
| 36 | return std::string("aidl") + seperator + cpp::HeaderFile(defined_type, name, use_os_sep); |
| 37 | } |
| 38 | |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 39 | // This represents a type in AIDL (e.g. 'String' which can be referenced in multiple ways) |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 40 | struct TypeInfo { |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 41 | struct Aspect { |
| 42 | // name of the type in C++ output |
| 43 | std::string cpp_name; |
| 44 | // whether to prefer 'value type' over 'const&' |
| 45 | bool value_is_cheap; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 46 | |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 47 | std::function<void(const CodeGeneratorContext& c)> read_func; |
| 48 | std::function<void(const CodeGeneratorContext& c)> write_func; |
| 49 | }; |
Steven Moreland | eb38ee7 | 2018-10-15 14:20:04 -0700 | [diff] [blame] | 50 | |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 51 | // e.g. 'String' |
| 52 | Aspect raw; |
| 53 | |
| 54 | // e.g. 'String[]' |
| 55 | std::shared_ptr<Aspect> array; |
| 56 | |
| 57 | // note: Nullable types do not exist in Java. For most Java types, the type is split into a |
| 58 | // nullable and non-nullable variant. This is because C++ types are more usually non-nullable, but |
| 59 | // everything in Java is non-nullable. This does mean that some Java interfaces may have to have |
| 60 | // '@nullable' added to them in order to function as expected w/ the NDK. It also means that some |
| 61 | // transactions will be allowed in Java which are not allowed in C++. However, in Java, if a null |
| 62 | // is ignored, it will just result in a NullPointerException and be delivered to the other side. |
| 63 | // C++ does not have this same capacity (in Android), and so instead, we distinguish nullability |
| 64 | // in the type system. |
| 65 | |
| 66 | // e.g. '@nullable String' |
| 67 | std::shared_ptr<Aspect> nullable; |
| 68 | |
| 69 | // e.g. '@nullable String[]' |
| 70 | std::shared_ptr<Aspect> nullable_array; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 71 | }; |
| 72 | |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 73 | std::string ConstantValueDecorator(const AidlTypeSpecifier& type, const std::string& raw_value) { |
Jooyung Han | 690f584 | 2020-12-04 13:02:04 +0900 | [diff] [blame] | 74 | if (type.IsArray()) { |
| 75 | return raw_value; |
| 76 | } |
| 77 | |
Will McVicker | d7d18df | 2019-09-12 13:40:50 -0700 | [diff] [blame] | 78 | if (type.GetName() == "long" && !type.IsArray()) { |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 79 | return raw_value + "L"; |
| 80 | } |
| 81 | |
Jooyung Han | 690f584 | 2020-12-04 13:02:04 +0900 | [diff] [blame] | 82 | if (auto defined_type = type.GetDefinedType(); defined_type) { |
| 83 | auto enum_type = defined_type->AsEnumDeclaration(); |
| 84 | AIDL_FATAL_IF(!enum_type, type) << "Invalid type for \"" << raw_value << "\""; |
| 85 | return NdkFullClassName(*enum_type, cpp::ClassNames::RAW) + |
| 86 | "::" + raw_value.substr(raw_value.find_last_of('.') + 1); |
| 87 | } |
| 88 | |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 89 | return raw_value; |
| 90 | }; |
| 91 | |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 92 | static std::function<void(const CodeGeneratorContext& c)> StandardRead(const std::string& name) { |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 93 | return [name](const CodeGeneratorContext& c) { |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 94 | c.writer << name << "(" << c.parcel << ", " << c.var << ")"; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 95 | }; |
| 96 | } |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 97 | static std::function<void(const CodeGeneratorContext& c)> StandardWrite(const std::string& name) { |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 98 | return [name](const CodeGeneratorContext& c) { |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 99 | c.writer << name << "(" << c.parcel << ", " << c.var << ")"; |
| 100 | }; |
| 101 | } |
| 102 | |
Jooyung Han | 241fdda | 2020-02-21 21:17:44 +0900 | [diff] [blame] | 103 | TypeInfo PrimitiveType(const std::string& cpp_name, const std::string& pretty_name, |
| 104 | const std::optional<std::string>& cpp_name_for_array_opt = std::nullopt) { |
| 105 | std::string cpp_name_for_array = cpp_name_for_array_opt.value_or(cpp_name); |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 106 | return TypeInfo{ |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 107 | .raw = |
| 108 | TypeInfo::Aspect{ |
| 109 | .cpp_name = cpp_name, |
| 110 | .value_is_cheap = true, |
| 111 | .read_func = StandardRead("AParcel_read" + pretty_name), |
| 112 | .write_func = StandardWrite("AParcel_write" + pretty_name), |
| 113 | }, |
| 114 | .array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
Jooyung Han | 241fdda | 2020-02-21 21:17:44 +0900 | [diff] [blame] | 115 | .cpp_name = "std::vector<" + cpp_name_for_array + ">", |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 116 | .value_is_cheap = false, |
| 117 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 118 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 119 | }), |
| 120 | .nullable = nullptr, |
Steven Moreland | c10ed46 | 2018-11-15 14:50:28 -0800 | [diff] [blame] | 121 | .nullable_array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
Jooyung Han | 241fdda | 2020-02-21 21:17:44 +0900 | [diff] [blame] | 122 | .cpp_name = "std::optional<std::vector<" + cpp_name_for_array + ">>", |
Steven Moreland | c10ed46 | 2018-11-15 14:50:28 -0800 | [diff] [blame] | 123 | .value_is_cheap = false, |
| 124 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 125 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 126 | }), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 127 | }; |
| 128 | } |
| 129 | |
| 130 | TypeInfo InterfaceTypeInfo(const AidlInterface& type) { |
| 131 | const std::string clazz = NdkFullClassName(type, cpp::ClassNames::INTERFACE); |
| 132 | |
| 133 | return TypeInfo{ |
| 134 | .raw = |
| 135 | TypeInfo::Aspect{ |
| 136 | .cpp_name = "std::shared_ptr<" + clazz + ">", |
| 137 | .value_is_cheap = false, |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 138 | .read_func = StandardRead(clazz + "::readFromParcel"), |
| 139 | .write_func = StandardWrite(clazz + "::writeToParcel"), |
| 140 | }, |
| 141 | .array = nullptr, |
| 142 | .nullable = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 143 | .cpp_name = "std::shared_ptr<" + clazz + ">", |
| 144 | .value_is_cheap = false, |
| 145 | .read_func = StandardRead(clazz + "::readFromParcel"), |
| 146 | .write_func = StandardWrite(clazz + "::writeToParcel"), |
| 147 | }), |
| 148 | .nullable_array = nullptr, |
| 149 | }; |
| 150 | } |
| 151 | |
Devin Moore | 53fc99c | 2020-08-12 08:07:52 -0700 | [diff] [blame] | 152 | TypeInfo ParcelableTypeInfo(const AidlParcelable& type, const AidlTypeSpecifier& typeSpec, |
| 153 | const AidlTypenames& types) { |
| 154 | std::string clazz = NdkFullClassName(type, cpp::ClassNames::RAW); |
| 155 | std::string template_params = ""; |
| 156 | if (typeSpec.IsGeneric()) { |
| 157 | std::vector<std::string> type_params; |
| 158 | for (const auto& parameter : typeSpec.GetTypeParameters()) { |
| 159 | type_params.push_back(NdkNameOf(types, *parameter, StorageMode::STACK)); |
| 160 | } |
| 161 | clazz += base::StringPrintf("<%s>", base::Join(type_params, ", ").c_str()); |
| 162 | } |
Jooyung Han | 01720ed | 2021-08-13 07:46:07 +0900 | [diff] [blame] | 163 | const std::string nullable = typeSpec.IsHeapNullable() ? "std::unique_ptr" : "std::optional"; |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 164 | return TypeInfo{ |
| 165 | .raw = |
| 166 | TypeInfo::Aspect{ |
| 167 | .cpp_name = clazz, |
| 168 | .value_is_cheap = false, |
Steven Moreland | 4348f9a | 2019-12-16 16:33:01 -0800 | [diff] [blame] | 169 | .read_func = StandardRead("::ndk::AParcel_readParcelable"), |
| 170 | .write_func = StandardWrite("::ndk::AParcel_writeParcelable"), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 171 | }, |
Steven Moreland | 5ecec6b | 2018-12-11 18:56:41 -0800 | [diff] [blame] | 172 | .array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 173 | .cpp_name = "std::vector<" + clazz + ">", |
| 174 | .value_is_cheap = false, |
| 175 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 176 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 177 | }), |
Steven Moreland | 18f7526 | 2019-12-19 16:58:55 -0800 | [diff] [blame] | 178 | .nullable = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
Jooyung Han | 01720ed | 2021-08-13 07:46:07 +0900 | [diff] [blame] | 179 | .cpp_name = nullable + "<" + clazz + ">", |
Steven Moreland | 18f7526 | 2019-12-19 16:58:55 -0800 | [diff] [blame] | 180 | .value_is_cheap = false, |
| 181 | .read_func = StandardRead("::ndk::AParcel_readNullableParcelable"), |
| 182 | .write_func = StandardWrite("::ndk::AParcel_writeNullableParcelable"), |
| 183 | }), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 184 | .nullable_array = nullptr, |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 185 | }; |
| 186 | } |
| 187 | |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 188 | TypeInfo EnumDeclarationTypeInfo(const AidlEnumDeclaration& enum_decl) { |
Steven Moreland | b8df37d | 2019-11-21 12:33:24 -0800 | [diff] [blame] | 189 | const std::string clazz = NdkFullClassName(enum_decl, cpp::ClassNames::RAW); |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 190 | |
| 191 | static map<std::string, std::string> kAParcelTypeNameMap = { |
| 192 | {"byte", "Byte"}, |
| 193 | {"int", "Int32"}, |
| 194 | {"long", "Int64"}, |
| 195 | }; |
| 196 | auto aparcel_name_it = kAParcelTypeNameMap.find(enum_decl.GetBackingType().GetName()); |
Steven Moreland | 2178081 | 2020-09-11 01:29:45 +0000 | [diff] [blame] | 197 | AIDL_FATAL_IF(aparcel_name_it == kAParcelTypeNameMap.end(), enum_decl); |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 198 | const std::string aparcel_name = aparcel_name_it->second; |
| 199 | |
| 200 | const std::string backing_type_name = |
| 201 | NdkNameOf(AidlTypenames(), enum_decl.GetBackingType(), StorageMode::STACK); |
| 202 | |
| 203 | return TypeInfo{ |
| 204 | .raw = TypeInfo::Aspect{ |
| 205 | .cpp_name = clazz, |
| 206 | .value_is_cheap = true, |
| 207 | .read_func = |
| 208 | [aparcel_name, backing_type_name](const CodeGeneratorContext& c) { |
| 209 | c.writer << "AParcel_read" << aparcel_name << "(" << c.parcel |
| 210 | << ", reinterpret_cast<" << backing_type_name << "*>(" << c.var << "))"; |
| 211 | }, |
| 212 | .write_func = |
| 213 | [aparcel_name, backing_type_name](const CodeGeneratorContext& c) { |
| 214 | c.writer << "AParcel_write" << aparcel_name << "(" << c.parcel << ", static_cast<" |
| 215 | << backing_type_name << ">(" << c.var << "))"; |
| 216 | }, |
| 217 | }, |
Daniel Norman | ee8674f | 2019-09-20 16:07:00 -0700 | [diff] [blame] | 218 | .array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 219 | .cpp_name = "std::vector<" + clazz + ">", |
| 220 | .value_is_cheap = false, |
| 221 | .read_func = |
| 222 | [aparcel_name, backing_type_name](const CodeGeneratorContext& c) { |
| 223 | c.writer << "AParcel_read" << aparcel_name << "Array(" << c.parcel |
| 224 | << ", static_cast<void*>(" << c.var |
| 225 | << "), ndk::AParcel_stdVectorAllocator<" << backing_type_name << ">)"; |
| 226 | }, |
| 227 | .write_func = |
| 228 | [aparcel_name, backing_type_name](const CodeGeneratorContext& c) { |
| 229 | c.writer << "AParcel_write" << aparcel_name << "Array(" << c.parcel |
| 230 | << ", reinterpret_cast<const " << backing_type_name << "*>(" << c.var |
| 231 | << ".data()), " << c.var << ".size())"; |
| 232 | }, |
| 233 | }), |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 234 | .nullable = nullptr, |
Daniel Norman | ee8674f | 2019-09-20 16:07:00 -0700 | [diff] [blame] | 235 | .nullable_array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 236 | .cpp_name = "std::optional<std::vector<" + clazz + ">>", |
| 237 | .value_is_cheap = false, |
| 238 | .read_func = |
| 239 | [aparcel_name, backing_type_name](const CodeGeneratorContext& c) { |
| 240 | c.writer << "AParcel_read" << aparcel_name << "Array(" << c.parcel |
| 241 | << ", static_cast<void*>(" << c.var |
| 242 | << "), ndk::AParcel_nullableStdVectorAllocator<" << backing_type_name |
| 243 | << ">)"; |
| 244 | }, |
| 245 | .write_func = |
| 246 | [aparcel_name, backing_type_name](const CodeGeneratorContext& c) { |
| 247 | // If the var exists, use writeArray with data() and size(). |
| 248 | // Otherwise, use nullptr and -1. |
| 249 | c.writer << "AParcel_write" << aparcel_name << "Array(" << c.parcel << ", (" |
| 250 | << c.var << " ? reinterpret_cast<const " << backing_type_name << "*>(" |
| 251 | << c.var << "->data()) : nullptr)" |
| 252 | << ", (" << c.var << " ? " << c.var << "->size() : -1))"; |
| 253 | }, |
| 254 | }), |
Daniel Norman | 37d43dd | 2019-09-09 17:22:34 -0700 | [diff] [blame] | 255 | }; |
| 256 | } |
| 257 | |
| 258 | // map from AIDL built-in type name to the corresponding Ndk type info |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 259 | static map<std::string, TypeInfo> kNdkTypeInfoMap = { |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 260 | {"void", TypeInfo{{"void", true, nullptr, nullptr}, nullptr, nullptr, nullptr}}, |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 261 | {"boolean", PrimitiveType("bool", "Bool")}, |
Jooyung Han | 241fdda | 2020-02-21 21:17:44 +0900 | [diff] [blame] | 262 | {"byte", PrimitiveType("int8_t", "Byte", "uint8_t")}, |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 263 | {"char", PrimitiveType("char16_t", "Char")}, |
| 264 | {"int", PrimitiveType("int32_t", "Int32")}, |
| 265 | {"long", PrimitiveType("int64_t", "Int64")}, |
| 266 | {"float", PrimitiveType("float", "Float")}, |
| 267 | {"double", PrimitiveType("double", "Double")}, |
Steven Moreland | 6340453 | 2018-10-08 14:31:00 -0700 | [diff] [blame] | 268 | {"String", |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 269 | TypeInfo{ |
| 270 | .raw = |
| 271 | TypeInfo::Aspect{ |
| 272 | .cpp_name = "std::string", |
| 273 | .value_is_cheap = false, |
| 274 | .read_func = StandardRead("::ndk::AParcel_readString"), |
| 275 | .write_func = StandardWrite("::ndk::AParcel_writeString"), |
| 276 | }, |
| 277 | .array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 278 | .cpp_name = "std::vector<std::string>", |
| 279 | .value_is_cheap = false, |
| 280 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 281 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 282 | }), |
Steven Moreland | 18ed978 | 2018-11-14 17:08:09 -0800 | [diff] [blame] | 283 | .nullable = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 284 | .cpp_name = "std::optional<std::string>", |
| 285 | .value_is_cheap = false, |
| 286 | .read_func = StandardRead("::ndk::AParcel_readString"), |
| 287 | .write_func = StandardWrite("::ndk::AParcel_writeString"), |
| 288 | }), |
| 289 | .nullable_array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 290 | .cpp_name = "std::optional<std::vector<std::optional<std::string>>>", |
| 291 | .value_is_cheap = false, |
| 292 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 293 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 294 | }), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 295 | }}, |
Jeongik Cha | 1a0f22d | 2019-11-18 23:22:23 +0900 | [diff] [blame] | 296 | // TODO(b/136048684) {"Map", ""}, |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 297 | {"IBinder", |
| 298 | TypeInfo{ |
| 299 | .raw = |
| 300 | TypeInfo::Aspect{ |
| 301 | .cpp_name = "::ndk::SpAIBinder", |
| 302 | .value_is_cheap = false, |
Steven Moreland | e1048a3 | 2018-11-16 12:52:17 -0800 | [diff] [blame] | 303 | .read_func = StandardRead("::ndk::AParcel_readRequiredStrongBinder"), |
| 304 | .write_func = StandardRead("::ndk::AParcel_writeRequiredStrongBinder"), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 305 | }, |
Jooyung Han | bc7ab90 | 2021-10-14 07:09:49 +0900 | [diff] [blame] | 306 | .array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 307 | .cpp_name = "std::vector<::ndk::SpAIBinder>", |
| 308 | .value_is_cheap = false, |
| 309 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 310 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 311 | }), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 312 | .nullable = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 313 | .cpp_name = "::ndk::SpAIBinder", |
| 314 | .value_is_cheap = false, |
Steven Moreland | e1048a3 | 2018-11-16 12:52:17 -0800 | [diff] [blame] | 315 | .read_func = StandardRead("::ndk::AParcel_readNullableStrongBinder"), |
| 316 | .write_func = StandardRead("::ndk::AParcel_writeNullableStrongBinder"), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 317 | }), |
Jooyung Han | bc7ab90 | 2021-10-14 07:09:49 +0900 | [diff] [blame] | 318 | .nullable_array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 319 | .cpp_name = "std::optional<std::vector<::ndk::SpAIBinder>>", |
| 320 | .value_is_cheap = false, |
| 321 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 322 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 323 | }), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 324 | }}, |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 325 | {"ParcelFileDescriptor", |
| 326 | TypeInfo{ |
| 327 | .raw = |
| 328 | TypeInfo::Aspect{ |
| 329 | .cpp_name = "::ndk::ScopedFileDescriptor", |
| 330 | .value_is_cheap = false, |
Steven Moreland | 962c60d | 2018-11-16 15:19:27 -0800 | [diff] [blame] | 331 | .read_func = StandardRead("::ndk::AParcel_readRequiredParcelFileDescriptor"), |
| 332 | .write_func = StandardRead("::ndk::AParcel_writeRequiredParcelFileDescriptor"), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 333 | }, |
Jeongik Cha | cc8dd1d | 2019-11-14 10:22:57 +0900 | [diff] [blame] | 334 | .array = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 335 | .cpp_name = "std::vector<::ndk::ScopedFileDescriptor>", |
| 336 | .value_is_cheap = false, |
| 337 | .read_func = StandardRead("::ndk::AParcel_readVector"), |
| 338 | .write_func = StandardWrite("::ndk::AParcel_writeVector"), |
| 339 | }), |
Steven Moreland | 962c60d | 2018-11-16 15:19:27 -0800 | [diff] [blame] | 340 | .nullable = std::shared_ptr<TypeInfo::Aspect>(new TypeInfo::Aspect{ |
| 341 | .cpp_name = "::ndk::ScopedFileDescriptor", |
| 342 | .value_is_cheap = false, |
| 343 | .read_func = StandardRead("::ndk::AParcel_readNullableParcelFileDescriptor"), |
| 344 | .write_func = StandardRead("::ndk::AParcel_writeNullableParcelFileDescriptor"), |
| 345 | }), |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 346 | .nullable_array = nullptr, |
| 347 | }}, |
Jeongik Cha | 8f02a53 | 2020-10-14 00:16:28 +0900 | [diff] [blame] | 348 | {"ParcelableHolder", |
| 349 | TypeInfo{ |
| 350 | .raw = |
| 351 | TypeInfo::Aspect{ |
| 352 | .cpp_name = "::ndk::AParcelableHolder", |
| 353 | .value_is_cheap = false, |
| 354 | .read_func = StandardRead("::ndk::AParcel_readParcelable"), |
| 355 | .write_func = StandardWrite("::ndk::AParcel_writeParcelable"), |
| 356 | }, |
| 357 | .array = nullptr, |
| 358 | .nullable = nullptr, |
| 359 | .nullable_array = nullptr, |
| 360 | }}, |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 361 | }; |
| 362 | |
Jooyung Han | 5014b3e | 2021-10-15 09:58:20 +0900 | [diff] [blame^] | 363 | static TypeInfo GetTypeInfo(const AidlTypenames& types, const AidlTypeSpecifier& aidl) { |
| 364 | auto& aidl_name = aidl.GetName(); |
| 365 | |
| 366 | if (AidlTypenames::IsBuiltinTypename(aidl_name)) { |
| 367 | auto it = kNdkTypeInfoMap.find(aidl_name); |
| 368 | AIDL_FATAL_IF(it == kNdkTypeInfoMap.end(), aidl_name); |
| 369 | return it->second; |
| 370 | } |
| 371 | const AidlDefinedType* type = types.TryGetDefinedType(aidl_name); |
| 372 | AIDL_FATAL_IF(type == nullptr, aidl_name) << "Unrecognized type."; |
| 373 | |
| 374 | if (const AidlInterface* intf = type->AsInterface(); intf != nullptr) { |
| 375 | return InterfaceTypeInfo(*intf); |
| 376 | } else if (const AidlParcelable* parcelable = type->AsParcelable(); parcelable != nullptr) { |
| 377 | return ParcelableTypeInfo(*parcelable, aidl, types); |
| 378 | } else if (const AidlEnumDeclaration* enum_decl = type->AsEnumDeclaration(); |
| 379 | enum_decl != nullptr) { |
| 380 | return EnumDeclarationTypeInfo(*enum_decl); |
| 381 | } else { |
| 382 | AIDL_FATAL(aidl_name) << "Unrecognized type"; |
| 383 | } |
| 384 | } |
| 385 | |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 386 | static TypeInfo::Aspect GetTypeAspect(const AidlTypenames& types, const AidlTypeSpecifier& aidl) { |
Steven Moreland | 2178081 | 2020-09-11 01:29:45 +0000 | [diff] [blame] | 387 | AIDL_FATAL_IF(!aidl.IsResolved(), aidl) << aidl.ToString(); |
Jeongik Cha | 1a0f22d | 2019-11-18 23:22:23 +0900 | [diff] [blame] | 388 | auto& aidl_name = aidl.GetName(); |
Steven Moreland | 1cb099e | 2018-10-17 16:31:08 -0700 | [diff] [blame] | 389 | |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 390 | TypeInfo info; |
Jeongik Cha | 1a0f22d | 2019-11-18 23:22:23 +0900 | [diff] [blame] | 391 | |
| 392 | // TODO(b/136048684): For now, List<T> is converted to T[].(Both are using vector<T>) |
| 393 | if (aidl_name == "List") { |
Steven Moreland | fe52c9f | 2019-11-27 19:04:48 -0800 | [diff] [blame] | 394 | AIDL_FATAL_IF(!aidl.IsGeneric(), aidl) << "List must be generic type."; |
| 395 | AIDL_FATAL_IF(aidl.GetTypeParameters().size() != 1, aidl) |
Jeongik Cha | 1a0f22d | 2019-11-18 23:22:23 +0900 | [diff] [blame] | 396 | << "List can accept only one type parameter."; |
Jooyung Han | 5014b3e | 2021-10-15 09:58:20 +0900 | [diff] [blame^] | 397 | const auto& type_param = *aidl.GetTypeParameters()[0]; |
Jeongik Cha | 1a0f22d | 2019-11-18 23:22:23 +0900 | [diff] [blame] | 398 | // TODO(b/136048684) AIDL doesn't support nested type parameter yet. |
Jooyung Han | 5014b3e | 2021-10-15 09:58:20 +0900 | [diff] [blame^] | 399 | AIDL_FATAL_IF(type_param.IsGeneric(), aidl) << "AIDL doesn't support nested type parameter"; |
Jeongik Cha | 1a0f22d | 2019-11-18 23:22:23 +0900 | [diff] [blame] | 400 | |
Jooyung Han | 5014b3e | 2021-10-15 09:58:20 +0900 | [diff] [blame^] | 401 | info = GetTypeInfo(types, type_param); |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 402 | } else { |
Jooyung Han | 5014b3e | 2021-10-15 09:58:20 +0900 | [diff] [blame^] | 403 | info = GetTypeInfo(types, aidl); |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 404 | } |
| 405 | |
Jooyung Han | 5014b3e | 2021-10-15 09:58:20 +0900 | [diff] [blame^] | 406 | if (aidl.IsArray() || aidl_name == "List") { |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 407 | if (aidl.IsNullable()) { |
Steven Moreland | d59e317 | 2020-05-11 16:42:09 -0700 | [diff] [blame] | 408 | AIDL_FATAL_IF(info.nullable_array == nullptr, aidl) |
| 409 | << "Unsupported type in NDK Backend: " << aidl.ToString(); |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 410 | return *info.nullable_array; |
| 411 | } |
Steven Moreland | d59e317 | 2020-05-11 16:42:09 -0700 | [diff] [blame] | 412 | AIDL_FATAL_IF(info.array == nullptr, aidl) |
| 413 | << "Unsupported type in NDK Backend: " << aidl.ToString(); |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 414 | return *info.array; |
| 415 | } |
Steven Moreland | 1cb099e | 2018-10-17 16:31:08 -0700 | [diff] [blame] | 416 | |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 417 | if (aidl.IsNullable()) { |
Steven Moreland | d59e317 | 2020-05-11 16:42:09 -0700 | [diff] [blame] | 418 | AIDL_FATAL_IF(info.nullable == nullptr, aidl) |
| 419 | << "Unsupported type in NDK Backend: " << aidl.ToString(); |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 420 | return *info.nullable; |
| 421 | } |
| 422 | |
| 423 | return info.raw; |
Steven Moreland | 67caf42 | 2018-10-15 12:39:12 -0700 | [diff] [blame] | 424 | } |
| 425 | |
Steven Moreland | 2bea13b | 2018-10-03 15:12:33 -0700 | [diff] [blame] | 426 | std::string NdkFullClassName(const AidlDefinedType& type, cpp::ClassNames name) { |
Steven Moreland | 6340453 | 2018-10-08 14:31:00 -0700 | [diff] [blame] | 427 | std::vector<std::string> pieces = {"::aidl"}; |
Jooyung Han | 4b83252 | 2021-10-06 16:08:30 +0900 | [diff] [blame] | 428 | std::vector<std::string> split_name = Split(type.GetCanonicalName(), "."); |
| 429 | pieces.insert(pieces.end(), split_name.begin(), split_name.end()); |
| 430 | // Override name part with cpp::ClassName(type, name) |
| 431 | pieces.back() = cpp::ClassName(type, name); |
Steven Moreland | 2bea13b | 2018-10-03 15:12:33 -0700 | [diff] [blame] | 432 | return Join(pieces, "::"); |
| 433 | } |
| 434 | |
| 435 | std::string NdkNameOf(const AidlTypenames& types, const AidlTypeSpecifier& aidl, StorageMode mode) { |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 436 | TypeInfo::Aspect aspect = GetTypeAspect(types, aidl); |
Steven Moreland | eb38ee7 | 2018-10-15 14:20:04 -0700 | [diff] [blame] | 437 | |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 438 | switch (mode) { |
| 439 | case StorageMode::STACK: |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 440 | return aspect.cpp_name; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 441 | case StorageMode::ARGUMENT: |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 442 | if (aspect.value_is_cheap) { |
| 443 | return aspect.cpp_name; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 444 | } else { |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 445 | return "const " + aspect.cpp_name + "&"; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 446 | } |
| 447 | case StorageMode::OUT_ARGUMENT: |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 448 | return aspect.cpp_name + "*"; |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 449 | default: |
| 450 | AIDL_FATAL(aidl.GetName()) << "Unrecognized mode type: " << static_cast<int>(mode); |
| 451 | } |
| 452 | } |
| 453 | |
Devin Moore | 83e7698 | 2020-09-30 09:32:35 -0700 | [diff] [blame] | 454 | size_t NdkAlignmentOf(const AidlTypenames& types, const AidlTypeSpecifier& aidl) { |
| 455 | // map from NDK type name to the corresponding alignment size |
| 456 | static map<string, int> alignment = { |
| 457 | {"bool", 1}, {"int8_t", 1}, {"char16_t", 2}, {"double", 8}, |
| 458 | {"float", 4}, {"int32_t", 4}, {"int64_t", 8}, |
| 459 | }; |
| 460 | |
| 461 | const string& name = NdkNameOf(types, aidl, StorageMode::STACK); |
| 462 | if (alignment.find(name) != alignment.end()) { |
| 463 | return alignment[name]; |
| 464 | } else { |
| 465 | const auto& definedType = types.TryGetDefinedType(aidl.GetName()); |
| 466 | AIDL_FATAL_IF(definedType == nullptr, aidl) << "Failed to resolve type."; |
| 467 | if (const auto& enumType = definedType->AsEnumDeclaration(); enumType != nullptr) { |
| 468 | return NdkAlignmentOf(types, enumType->GetBackingType()); |
| 469 | } |
| 470 | } |
| 471 | return 0; |
| 472 | } |
| 473 | |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 474 | void WriteToParcelFor(const CodeGeneratorContext& c) { |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 475 | TypeInfo::Aspect aspect = GetTypeAspect(c.types, c.type); |
| 476 | aspect.write_func(c); |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 477 | } |
| 478 | |
| 479 | void ReadFromParcelFor(const CodeGeneratorContext& c) { |
Steven Moreland | 055d879 | 2018-11-14 12:48:42 -0800 | [diff] [blame] | 480 | TypeInfo::Aspect aspect = GetTypeAspect(c.types, c.type); |
| 481 | aspect.read_func(c); |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 482 | } |
| 483 | |
Jiyong Park | 965c5b9 | 2018-11-21 13:37:15 +0900 | [diff] [blame] | 484 | std::string NdkArgList( |
| 485 | const AidlTypenames& types, const AidlMethod& method, |
| 486 | std::function<std::string(const std::string& type, const std::string& name, bool isOut)> |
| 487 | formatter) { |
Steven Moreland | aada342 | 2018-09-20 15:55:33 -0700 | [diff] [blame] | 488 | std::vector<std::string> method_arguments; |
| 489 | for (const auto& a : method.GetArguments()) { |
| 490 | StorageMode mode = a->IsOut() ? StorageMode::OUT_ARGUMENT : StorageMode::ARGUMENT; |
Steven Moreland | 2bea13b | 2018-10-03 15:12:33 -0700 | [diff] [blame] | 491 | std::string type = NdkNameOf(types, a->GetType(), mode); |
Steven Moreland | aada342 | 2018-09-20 15:55:33 -0700 | [diff] [blame] | 492 | std::string name = cpp::BuildVarName(*a); |
Jiyong Park | 965c5b9 | 2018-11-21 13:37:15 +0900 | [diff] [blame] | 493 | method_arguments.emplace_back(formatter(type, name, a->IsOut())); |
Steven Moreland | aada342 | 2018-09-20 15:55:33 -0700 | [diff] [blame] | 494 | } |
| 495 | |
| 496 | if (method.GetType().GetName() != "void") { |
Jiyong Park | 965c5b9 | 2018-11-21 13:37:15 +0900 | [diff] [blame] | 497 | std::string type = NdkNameOf(types, method.GetType(), StorageMode::OUT_ARGUMENT); |
| 498 | std::string name = "_aidl_return"; |
| 499 | method_arguments.emplace_back(formatter(type, name, true)); |
Steven Moreland | aada342 | 2018-09-20 15:55:33 -0700 | [diff] [blame] | 500 | } |
| 501 | |
| 502 | return Join(method_arguments, ", "); |
| 503 | } |
| 504 | |
Steven Moreland | 2bea13b | 2018-10-03 15:12:33 -0700 | [diff] [blame] | 505 | std::string NdkMethodDecl(const AidlTypenames& types, const AidlMethod& method, |
| 506 | const std::string& clazz) { |
Steven Moreland | aada342 | 2018-09-20 15:55:33 -0700 | [diff] [blame] | 507 | std::string class_prefix = clazz.empty() ? "" : (clazz + "::"); |
Steven Moreland | 6340453 | 2018-10-08 14:31:00 -0700 | [diff] [blame] | 508 | return "::ndk::ScopedAStatus " + class_prefix + method.GetName() + "(" + |
Jiyong Park | 965c5b9 | 2018-11-21 13:37:15 +0900 | [diff] [blame] | 509 | NdkArgList(types, method, FormatArgForDecl) + ")"; |
Steven Moreland | aada342 | 2018-09-20 15:55:33 -0700 | [diff] [blame] | 510 | } |
| 511 | |
Steven Moreland | e8a3a19 | 2018-09-20 14:14:28 -0700 | [diff] [blame] | 512 | } // namespace ndk |
| 513 | } // namespace aidl |
| 514 | } // namespace android |