blob: 09959ae9ab89c86e8ee18a8fc1cce49be5e61b1f [file] [log] [blame]
Andreas Huber1aec3972016-08-26 09:26:32 -07001/*
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 Huberc9410c72016-07-28 12:18:40 -070017#include "Interface.h"
18
Zhuoyao Zhangba7e6e92016-08-10 12:19:02 -070019#include "Annotation.h"
Andreas Huberc9410c72016-07-28 12:18:40 -070020#include "Method.h"
Yifan Hong10fe0b52016-10-19 14:20:17 -070021#include "StringType.h"
22#include "VectorType.h"
Andreas Huberc9410c72016-07-28 12:18:40 -070023
Steven Moreland14ee6742016-10-18 12:58:28 -070024#include <android-base/logging.h>
Iliyan Malcheva72e0d22016-09-09 11:03:08 -070025#include <hidl-util/Formatter.h>
Yifan Hong10fe0b52016-10-19 14:20:17 -070026#include <hidl-util/StringHelper.h>
Zhuoyao Zhang864c7712016-08-16 15:35:28 -070027#include <iostream>
Yifan Hong10fe0b52016-10-19 14:20:17 -070028#include <sstream>
Zhuoyao Zhang864c7712016-08-16 15:35:28 -070029
Andreas Huberc9410c72016-07-28 12:18:40 -070030namespace android {
31
Yifan Hong10fe0b52016-10-19 14:20:17 -070032/* It is very important that these values NEVER change. These values
33 * must remain unchanged over the lifetime of android. This is
34 * because the framework on a device will be updated independently of
35 * the hals on a device. If the hals are compiled with one set of
36 * transaction values, and the framework with another, then the
37 * interface between them will be destroyed, and the device will not
38 * work.
39 */
40enum {
41 // These values are defined in hardware::IBinder.
42 /////////////////// User defined transactions
43 FIRST_CALL_TRANSACTION = 0x00000001,
44 LAST_CALL_TRANSACTION = 0x00efffff,
45 /////////////////// HIDL reserved
46 FIRST_HIDL_TRANSACTION = 0x00f00000,
47 HIDL_DESCRIPTOR_CHAIN_TRANSACTION = FIRST_HIDL_TRANSACTION,
48 LAST_HIDL_TRANSACTION = 0x00ffffff,
49};
50
Andreas Huber7c5ddfb2016-09-29 13:45:22 -070051Interface::Interface(const char *localName, Interface *super)
Andreas Huber9ed827c2016-08-22 12:31:13 -070052 : Scope(localName),
53 mSuperType(super),
Andreas Huberea081b32016-08-17 15:57:47 -070054 mIsJavaCompatibleInProgress(false) {
Yifan Hong10fe0b52016-10-19 14:20:17 -070055 mReservedMethods.push_back(createDescriptorChainMethod());
Andreas Huberc9410c72016-07-28 12:18:40 -070056}
57
Yifan Hong10fe0b52016-10-19 14:20:17 -070058Method *Interface::createDescriptorChainMethod() const {
59 VectorType *vecType = new VectorType();
60 vecType->setElementType(new StringType());
61 std::vector<TypedVar *> *results = new std::vector<TypedVar *>();
62 results->push_back(new TypedVar("indicator", vecType));
63
64 return new Method("interfaceChain",
65 new std::vector<TypedVar *>() /* args */,
66 results,
67 false /* oneway */,
68 new std::vector<Annotation *>(),
69 HIDL_DESCRIPTOR_CHAIN_TRANSACTION,
70 [this](auto &out) { /* cppImpl */
71 std::vector<const Interface *> chain = typeChain();
72 out << "::android::hardware::hidl_vec<::android::hardware::hidl_string> _hidl_return;\n";
73 out << "_hidl_return.resize(" << chain.size() << ");\n";
74 for (size_t i = 0; i < chain.size(); ++i) {
75 out << "_hidl_return[" << i << "] = \"" << chain[i]->fqName().string() << "\";\n";
76 }
77 out << "_hidl_cb(_hidl_return);\n";
78 out << "return ::android::hardware::Void();";
79 },
80 [this](auto &out) { /* javaImpl */
81 std::vector<const Interface *> chain = typeChain();
82 out << "return new ArrayList<String>(Arrays.asList(\n";
83 out.indent(); out.indent();
84 for (size_t i = 0; i < chain.size(); ++i) {
85 if (i != 0)
86 out << ",\n";
87 out << "\"" << chain[i]->fqName().string() << "\"";
88 }
89 out << "));";
90 out.unindent(); out.unindent();
91 });
92}
93
94
Steven Moreland14ee6742016-10-18 12:58:28 -070095bool Interface::addMethod(Method *method) {
Yifan Hong10fe0b52016-10-19 14:20:17 -070096 CHECK(!method->isHidlReserved());
Steven Moreland14ee6742016-10-18 12:58:28 -070097 if (lookupMethod(method->name()) != nullptr) {
98 LOG(ERROR) << "Redefinition of method " << method->name();
99 return false;
100 }
Yifan Hong10fe0b52016-10-19 14:20:17 -0700101 size_t serial = FIRST_CALL_TRANSACTION;
Steven Moreland14ee6742016-10-18 12:58:28 -0700102
Yifan Hong10fe0b52016-10-19 14:20:17 -0700103 serial += userDefinedMethods().size();
Steven Morelandef1a9fe2016-10-06 17:19:09 -0700104
Yifan Hong10fe0b52016-10-19 14:20:17 -0700105 const Interface *ancestor = mSuperType;
Steven Morelandef1a9fe2016-10-06 17:19:09 -0700106 while (ancestor != nullptr) {
Yifan Hong10fe0b52016-10-19 14:20:17 -0700107 serial += ancestor->userDefinedMethods().size();
Steven Morelandef1a9fe2016-10-06 17:19:09 -0700108 ancestor = ancestor->superType();
109 }
110
Yifan Hong10fe0b52016-10-19 14:20:17 -0700111 CHECK(serial <= LAST_CALL_TRANSACTION) << "More than "
112 << LAST_CALL_TRANSACTION << " methods are not allowed.";
Steven Morelandef1a9fe2016-10-06 17:19:09 -0700113 method->setSerialId(serial);
Yifan Hong10fe0b52016-10-19 14:20:17 -0700114 mUserMethods.push_back(method);
Steven Moreland14ee6742016-10-18 12:58:28 -0700115
116 return true;
Andreas Huberc9410c72016-07-28 12:18:40 -0700117}
118
Yifan Hong10fe0b52016-10-19 14:20:17 -0700119
Andreas Huber6cb08cf2016-08-03 15:44:51 -0700120const Interface *Interface::superType() const {
Andreas Huberc9410c72016-07-28 12:18:40 -0700121 return mSuperType;
122}
123
Yifan Hong10fe0b52016-10-19 14:20:17 -0700124std::vector<const Interface *> Interface::typeChain() const {
125 std::vector<const Interface *> v;
126 const Interface *iface = this;
127 while (iface != nullptr) {
128 v.push_back(iface);
129 iface = iface->mSuperType;
130 }
131 return v;
132}
133
Andreas Hubera2723d22016-07-29 15:36:07 -0700134bool Interface::isInterface() const {
135 return true;
136}
137
Andreas Huber295ad302016-08-16 11:35:00 -0700138bool Interface::isBinder() const {
139 return true;
140}
141
Yifan Hong10fe0b52016-10-19 14:20:17 -0700142const std::vector<Method *> &Interface::userDefinedMethods() const {
143 return mUserMethods;
144}
145
146const std::vector<Method *> &Interface::hidlReservedMethods() const {
147 return mReservedMethods;
148}
149
150std::vector<Method *> Interface::methods() const {
151 std::vector<Method *> v(mUserMethods);
152 v.insert(v.end(), mReservedMethods.begin(), mReservedMethods.end());
153 return v;
154}
155
156std::vector<InterfaceAndMethod> Interface::allMethodsFromRoot() const {
157 std::vector<InterfaceAndMethod> v;
158 std::vector<const Interface *> chain = typeChain();
159 for (auto it = chain.rbegin(); it != chain.rend(); ++it) {
160 const Interface *iface = *it;
161 for (Method *userMethod : iface->userDefinedMethods()) {
162 v.push_back(InterfaceAndMethod(iface, userMethod));
163 }
164 }
165 for (Method *reservedMethod : hidlReservedMethods()) {
166 v.push_back(InterfaceAndMethod(this, reservedMethod));
167 }
168 return v;
Andreas Huber881227d2016-08-02 14:20:21 -0700169}
170
Steven Moreland14ee6742016-10-18 12:58:28 -0700171Method *Interface::lookupMethod(std::string name) const {
Yifan Hong10fe0b52016-10-19 14:20:17 -0700172 for (const auto &tuple : allMethodsFromRoot()) {
173 Method *method = tuple.method();
174 if (method->name() == name) {
175 return method;
Steven Moreland14ee6742016-10-18 12:58:28 -0700176 }
Steven Moreland14ee6742016-10-18 12:58:28 -0700177 }
178
179 return nullptr;
180}
181
Steven Moreland40786312016-08-16 10:29:40 -0700182std::string Interface::getBaseName() const {
Jayant Chowdhary3f32c1f2016-09-15 16:53:56 -0700183 return fqName().getInterfaceBaseName();
Steven Moreland40786312016-08-16 10:29:40 -0700184}
185
Steven Moreland979e0992016-09-07 09:18:08 -0700186std::string Interface::getCppType(StorageMode mode,
187 std::string *extra,
188 bool specifyNamespaces) const {
Andreas Huber881227d2016-08-02 14:20:21 -0700189 extra->clear();
Steven Moreland979e0992016-09-07 09:18:08 -0700190 const std::string base =
191 std::string(specifyNamespaces ? "::android::" : "")
192 + "sp<"
193 + (specifyNamespaces ? fullName() : partialCppName())
194 + ">";
Andreas Huber881227d2016-08-02 14:20:21 -0700195
196 switch (mode) {
197 case StorageMode_Stack:
198 case StorageMode_Result:
199 return base;
200
201 case StorageMode_Argument:
202 return "const " + base + "&";
203 }
204}
205
Andreas Huber4c865b72016-09-14 15:26:27 -0700206std::string Interface::getJavaType(
207 std::string *extra, bool /* forInitializer */) const {
208 extra->clear();
Andreas Huber2831d512016-08-15 09:33:47 -0700209 return fullJavaName();
210}
211
Andreas Huber881227d2016-08-02 14:20:21 -0700212void Interface::emitReaderWriter(
213 Formatter &out,
214 const std::string &name,
215 const std::string &parcelObj,
216 bool parcelObjIsPointer,
217 bool isReader,
218 ErrorMode mode) const {
219 const std::string parcelObjDeref =
220 parcelObj + (parcelObjIsPointer ? "->" : ".");
221
222 if (isReader) {
Andreas Hubere7ff2282016-08-16 13:50:03 -0700223 out << "{\n";
224 out.indent();
225
Iliyan Malchev549e2592016-08-10 08:59:12 -0700226 const std::string binderName = "_hidl_" + name + "_binder";
Andreas Huber881227d2016-08-02 14:20:21 -0700227
Andreas Huber8a82ff72016-08-04 10:29:39 -0700228 out << "::android::sp<::android::hardware::IBinder> "
Andreas Huber881227d2016-08-02 14:20:21 -0700229 << binderName << ";\n";
230
Iliyan Malchev549e2592016-08-10 08:59:12 -0700231 out << "_hidl_err = ";
Andreas Huber881227d2016-08-02 14:20:21 -0700232 out << parcelObjDeref
233 << "readNullableStrongBinder(&"
234 << binderName
235 << ");\n";
236
237 handleError(out, mode);
238
239 out << name
240 << " = "
Steven Moreland40786312016-08-16 10:29:40 -0700241 << fqName().cppNamespace()
242 << "::IHw"
243 << getBaseName()
Andreas Huber881227d2016-08-02 14:20:21 -0700244 << "::asInterface("
245 << binderName
246 << ");\n";
Andreas Hubere7ff2282016-08-16 13:50:03 -0700247
248 out.unindent();
249 out << "}\n\n";
Andreas Huber881227d2016-08-02 14:20:21 -0700250 } else {
Steven Moreland40786312016-08-16 10:29:40 -0700251
252 out << "if (" << name << "->isRemote()) {\n";
253 out.indent();
Iliyan Malchev549e2592016-08-10 08:59:12 -0700254 out << "_hidl_err = ";
Andreas Huber881227d2016-08-02 14:20:21 -0700255 out << parcelObjDeref
256 << "writeStrongBinder("
Steven Moreland40786312016-08-16 10:29:40 -0700257 << fqName().cppNamespace()
258 << "::IHw"
259 << getBaseName()
260 << "::asBinder(static_cast<"
261 << fqName().cppNamespace()
262 << "::IHw"
263 << getBaseName()
264 << "*>("
265 << name << ".get()"
266 << ")));\n";
267 out.unindent();
268 out << "} else {\n";
269 out.indent();
270 out << "_hidl_err = ";
271 out << parcelObjDeref
272 << "writeStrongBinder("
273 << "new " << fqName().cppNamespace()
274 << "::Bn" << getBaseName() << " "
275 << "(" << name <<"));\n";
276 out.unindent();
277 out << "}\n";
Andreas Huber881227d2016-08-02 14:20:21 -0700278 handleError(out, mode);
279 }
280}
281
Andreas Huber2831d512016-08-15 09:33:47 -0700282void Interface::emitJavaReaderWriter(
283 Formatter &out,
284 const std::string &parcelObj,
285 const std::string &argName,
286 bool isReader) const {
287 if (isReader) {
288 out << fullJavaName()
289 << ".asInterface("
290 << parcelObj
291 << ".readStrongBinder());\n";
292 } else {
293 out << parcelObj
294 << ".writeStrongBinder("
295 << argName
296 << " == null ? null : "
297 << argName
298 << ".asBinder());\n";
299 }
300}
301
Zhuoyao Zhang864c7712016-08-16 15:35:28 -0700302status_t Interface::emitVtsAttributeDeclaration(Formatter &out) const {
303 for (const auto &type : getSubTypes()) {
Zhuoyao Zhangc5ea9f52016-10-06 15:05:39 -0700304 // Skip for TypeDef as it is just an alias of a defined type.
305 if (type->isTypeDef()) {
306 continue;
307 }
Zhuoyao Zhang864c7712016-08-16 15:35:28 -0700308 out << "attribute: {\n";
309 out.indent();
310 status_t status = type->emitVtsTypeDeclarations(out);
311 if (status != OK) {
312 return status;
313 }
314 out.unindent();
315 out << "}\n\n";
316 }
317 return OK;
318}
319
320status_t Interface::emitVtsMethodDeclaration(Formatter &out) const {
Yifan Hong10fe0b52016-10-19 14:20:17 -0700321 for (const auto &method : methods()) {
Zhuoyao Zhang864c7712016-08-16 15:35:28 -0700322 out << "api: {\n";
323 out.indent();
324 out << "name: \"" << method->name() << "\"\n";
325 // Generate declaration for each return value.
326 for (const auto &result : method->results()) {
327 out << "return_type_hidl: {\n";
328 out.indent();
329 status_t status = result->type().emitVtsAttributeType(out);
330 if (status != OK) {
331 return status;
332 }
333 out.unindent();
334 out << "}\n";
335 }
336 // Generate declaration for each input argument
337 for (const auto &arg : method->args()) {
338 out << "arg: {\n";
339 out.indent();
340 status_t status = arg->type().emitVtsAttributeType(out);
341 if (status != OK) {
342 return status;
343 }
344 out.unindent();
345 out << "}\n";
346 }
347 // Generate declaration for each annotation.
Steven Morelandd537ab02016-09-12 10:32:01 -0700348 for (const auto &annotation : method->annotations()) {
Zhuoyao Zhang864c7712016-08-16 15:35:28 -0700349 out << "callflow: {\n";
350 out.indent();
Steven Morelandd537ab02016-09-12 10:32:01 -0700351 std::string name = annotation->name();
Zhuoyao Zhang864c7712016-08-16 15:35:28 -0700352 if (name == "entry") {
353 out << "entry: true\n";
354 } else if (name == "exit") {
355 out << "exit: true\n";
356 } else if (name == "callflow") {
Steven Morelandd537ab02016-09-12 10:32:01 -0700357 const AnnotationParam *param =
358 annotation->getParam("next");
359 if (param != nullptr) {
360 for (auto value : *param->getValues()) {
361 out << "next: " << value << "\n";
362 }
Zhuoyao Zhang864c7712016-08-16 15:35:28 -0700363 }
364 } else {
365 std::cerr << "Invalid annotation '"
366 << name << "' for method: " << method->name()
367 << ". Should be one of: entry, exit, callflow. \n";
368 return UNKNOWN_ERROR;
369 }
370 out.unindent();
371 out << "}\n";
372 }
373 out.unindent();
374 out << "}\n\n";
375 }
376 return OK;
377}
378
379status_t Interface::emitVtsAttributeType(Formatter &out) const {
Zhuoyao Zhang5158db42016-08-10 10:25:20 -0700380 out << "type: TYPE_HIDL_CALLBACK\n"
381 << "predefined_type: \""
382 << localName()
Zhuoyao Zhang19933522016-08-29 15:06:38 -0700383 << "\"\n"
384 << "is_callback: true\n";
Zhuoyao Zhang5158db42016-08-10 10:25:20 -0700385 return OK;
386}
387
Steven Moreland69e7c702016-09-09 11:16:32 -0700388
389bool Interface::hasOnewayMethods() const {
Yifan Hong10fe0b52016-10-19 14:20:17 -0700390 for (auto const &method : methods()) {
Steven Moreland69e7c702016-09-09 11:16:32 -0700391 if (method->isOneway()) {
392 return true;
393 }
394 }
395
396 const Interface* superClass = superType();
397
398 if (superClass != nullptr) {
399 return superClass->hasOnewayMethods();
400 }
401
402 return false;
403}
404
Andreas Huber70a59e12016-08-16 12:57:01 -0700405bool Interface::isJavaCompatible() const {
Andreas Huberea081b32016-08-17 15:57:47 -0700406 if (mIsJavaCompatibleInProgress) {
407 // We're currently trying to determine if this Interface is
408 // java-compatible and something is referencing this interface through
409 // one of its methods. Assume we'll ultimately succeed, if we were wrong
410 // the original invocation of Interface::isJavaCompatible() will then
411 // return the correct "false" result.
412 return true;
413 }
414
Andreas Huber0fa9e392016-08-31 09:05:44 -0700415 if (mSuperType != nullptr && !mSuperType->isJavaCompatible()) {
416 mIsJavaCompatibleInProgress = false;
417 return false;
418 }
419
Andreas Huberea081b32016-08-17 15:57:47 -0700420 mIsJavaCompatibleInProgress = true;
421
Andreas Huber70a59e12016-08-16 12:57:01 -0700422 if (!Scope::isJavaCompatible()) {
Andreas Huberea081b32016-08-17 15:57:47 -0700423 mIsJavaCompatibleInProgress = false;
Andreas Huber70a59e12016-08-16 12:57:01 -0700424 return false;
425 }
426
Yifan Hong10fe0b52016-10-19 14:20:17 -0700427 for (const auto &method : methods()) {
Andreas Huber70a59e12016-08-16 12:57:01 -0700428 if (!method->isJavaCompatible()) {
Andreas Huberea081b32016-08-17 15:57:47 -0700429 mIsJavaCompatibleInProgress = false;
Andreas Huber70a59e12016-08-16 12:57:01 -0700430 return false;
431 }
432 }
433
Andreas Huberea081b32016-08-17 15:57:47 -0700434 mIsJavaCompatibleInProgress = false;
435
Andreas Huber70a59e12016-08-16 12:57:01 -0700436 return true;
437}
438
Andreas Huberc9410c72016-07-28 12:18:40 -0700439} // namespace android
440