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 | #ifndef AST_H_ |
| 18 | |
| 19 | #define AST_H_ |
| 20 | |
| 21 | #include <android-base/macros.h> |
Steven Moreland | 04dea8d | 2018-02-06 13:11:24 -0800 | [diff] [blame] | 22 | #include <hidl-hash/Hash.h> |
Steven Moreland | 7ae3d54 | 2017-01-18 16:46:01 -0800 | [diff] [blame] | 23 | #include <hidl-util/FQName.h> |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 24 | #include <functional> |
Steven Moreland | d537ab0 | 2016-09-12 10:32:01 -0700 | [diff] [blame] | 25 | #include <map> |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 26 | #include <set> |
Andreas Huber | eb1081f | 2016-07-28 13:13:24 -0700 | [diff] [blame] | 27 | #include <string> |
Andreas Huber | 70a59e1 | 2016-08-16 12:57:01 -0700 | [diff] [blame] | 28 | #include <vector> |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 29 | |
Timur Iskhakov | cb0ba52 | 2017-07-17 20:01:37 -0700 | [diff] [blame] | 30 | #include "Scope.h" |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 31 | #include "Type.h" |
Andreas Huber | da51b8e | 2016-07-28 16:00:57 -0700 | [diff] [blame] | 32 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 33 | namespace android { |
| 34 | |
Andreas Huber | 5345ec2 | 2016-07-29 13:33:27 -0700 | [diff] [blame] | 35 | struct Coordinator; |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 36 | struct ConstantExpression; |
Timur Iskhakov | 7fa79f6 | 2017-08-09 11:04:54 -0700 | [diff] [blame] | 37 | struct EnumValue; |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 38 | struct Formatter; |
Andreas Huber | 6cb08cf | 2016-08-03 15:44:51 -0700 | [diff] [blame] | 39 | struct Interface; |
Yifan Hong | a4b53d0 | 2016-10-31 17:29:10 -0700 | [diff] [blame] | 40 | struct Location; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 41 | struct Method; |
Andreas Huber | 31629bc | 2016-08-03 09:06:40 -0700 | [diff] [blame] | 42 | struct NamedType; |
Timur Iskhakov | 7fa79f6 | 2017-08-09 11:04:54 -0700 | [diff] [blame] | 43 | template <class T> |
| 44 | struct NamedReference; |
| 45 | struct Type; |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 46 | |
| 47 | struct AST { |
Steven Moreland | 04dea8d | 2018-02-06 13:11:24 -0800 | [diff] [blame] | 48 | AST(const Coordinator* coordinator, const Hash* fileHash); |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 49 | |
Andreas Huber | 84f89de | 2016-07-28 15:39:51 -0700 | [diff] [blame] | 50 | bool setPackage(const char *package); |
| 51 | bool addImport(const char *import); |
Andreas Huber | eb1081f | 2016-07-28 13:13:24 -0700 | [diff] [blame] | 52 | |
Andreas Huber | a2723d2 | 2016-07-29 15:36:07 -0700 | [diff] [blame] | 53 | // package and version really. |
| 54 | FQName package() const; |
Steven Moreland | 19f11b5 | 2017-05-12 18:22:21 -0700 | [diff] [blame] | 55 | bool isInterface() const; |
Steven Moreland | b47a262 | 2018-07-11 09:04:25 -0700 | [diff] [blame] | 56 | bool definesInterfaces() const; |
Andreas Huber | a2723d2 | 2016-07-29 15:36:07 -0700 | [diff] [blame] | 57 | |
Timur Iskhakov | 565b013 | 2017-09-06 18:07:11 -0700 | [diff] [blame] | 58 | // Adds package, version and scope stack to local name |
| 59 | FQName makeFullName(const char* localName, Scope* scope) const; |
| 60 | |
| 61 | void addScopedType(NamedType* type, Scope* scope); |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 62 | |
Steven Moreland | 04dea8d | 2018-02-06 13:11:24 -0800 | [diff] [blame] | 63 | const std::string& getFilename() const; |
| 64 | const Hash* getFileHash() const; |
Andreas Huber | 0d0f9a2 | 2016-08-17 10:26:11 -0700 | [diff] [blame] | 65 | |
Timur Iskhakov | 82c048e | 2017-09-09 01:20:53 -0700 | [diff] [blame] | 66 | // Look up local identifier. |
| 67 | // It could be plain identifier or enum value as described by lookupEnumValue. |
| 68 | LocalIdentifier* lookupLocalIdentifier(const Reference<LocalIdentifier>& ref, Scope* scope); |
| 69 | |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 70 | // Look up an enum value by "FQName:valueName". |
Timur Iskhakov | cb0ba52 | 2017-07-17 20:01:37 -0700 | [diff] [blame] | 71 | EnumValue* lookupEnumValue(const FQName& fqName, std::string* errorMsg, Scope* scope); |
Yifan Hong | f24fa85 | 2016-09-23 11:03:15 -0700 | [diff] [blame] | 72 | |
Andreas Huber | 5345ec2 | 2016-07-29 13:33:27 -0700 | [diff] [blame] | 73 | // Look up a type by FQName, "pure" names, i.e. those without package |
| 74 | // or version are first looked up in the current scope chain. |
| 75 | // After that lookup proceeds to imports. |
Timur Iskhakov | cb0ba52 | 2017-07-17 20:01:37 -0700 | [diff] [blame] | 76 | Type* lookupType(const FQName& fqName, Scope* scope); |
Andreas Huber | 5345ec2 | 2016-07-29 13:33:27 -0700 | [diff] [blame] | 77 | |
Andreas Huber | 39fa718 | 2016-08-19 14:27:33 -0700 | [diff] [blame] | 78 | void addImportedAST(AST *ast); |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 79 | |
Timur Iskhakov | 33431e6 | 2017-08-21 17:31:23 -0700 | [diff] [blame] | 80 | // Calls all passes after parsing required before |
| 81 | // being ready to generate output. |
| 82 | status_t postParse(); |
| 83 | |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 84 | // Recursive pass on constant expression tree |
| 85 | status_t constantExpressionRecursivePass( |
Timur Iskhakov | 82c048e | 2017-09-09 01:20:53 -0700 | [diff] [blame] | 86 | const std::function<status_t(ConstantExpression*)>& func, bool processBeforeDependencies); |
Steven Moreland | 12f0ab1 | 2018-11-02 17:27:37 -0700 | [diff] [blame] | 87 | status_t constantExpressionRecursivePass( |
| 88 | const std::function<status_t(const ConstantExpression*)>& func, |
| 89 | bool processBeforeDependencies) const; |
Timur Iskhakov | 82c048e | 2017-09-09 01:20:53 -0700 | [diff] [blame] | 90 | |
Yifan Hong | 0e192c4 | 2018-10-23 15:32:19 -0700 | [diff] [blame] | 91 | // Recursive tree pass that sets ParseStage of all types to newStage. |
| 92 | status_t setParseStage(Type::ParseStage oldStage, Type::ParseStage newStage); |
| 93 | |
Timur Iskhakov | 82c048e | 2017-09-09 01:20:53 -0700 | [diff] [blame] | 94 | // Recursive tree pass that looks up all referenced types |
| 95 | status_t lookupTypes(); |
| 96 | |
| 97 | // Recursive tree pass that looks up all referenced local identifiers |
Steven Moreland | 12f0ab1 | 2018-11-02 17:27:37 -0700 | [diff] [blame] | 98 | // and types referenced by constant expressions |
| 99 | status_t lookupConstantExpressions(); |
Timur Iskhakov | 891a866 | 2017-08-25 21:53:48 -0700 | [diff] [blame] | 100 | |
Timur Iskhakov | 565b013 | 2017-09-06 18:07:11 -0700 | [diff] [blame] | 101 | // Recursive tree pass that validates that all defined types |
| 102 | // have unique names in their scopes. |
| 103 | status_t validateDefinedTypesUniqueNames() const; |
| 104 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 105 | // Recursive tree pass that completes type declarations |
| 106 | // that depend on super types |
| 107 | status_t resolveInheritance(); |
| 108 | |
Steven Moreland | 12f0ab1 | 2018-11-02 17:27:37 -0700 | [diff] [blame] | 109 | // Recursive tree pass that validates constant expressions |
| 110 | status_t validateConstantExpressions() const; |
| 111 | |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 112 | // Recursive tree pass that evaluates constant expressions |
Steven Moreland | 12f0ab1 | 2018-11-02 17:27:37 -0700 | [diff] [blame] | 113 | status_t evaluateConstantExpressions(); |
Timur Iskhakov | cec46c4 | 2017-08-09 00:22:02 -0700 | [diff] [blame] | 114 | |
| 115 | // Recursive tree pass that validates all type-related |
| 116 | // syntax restrictions |
| 117 | status_t validate() const; |
| 118 | |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 119 | // Recursive tree pass that ensures that type definitions and references |
Timur Iskhakov | 458ca36 | 2017-09-12 23:16:03 -0700 | [diff] [blame] | 120 | // are acyclic and reorderes type definitions in reversed topological order. |
| 121 | status_t topologicalReorder(); |
Timur Iskhakov | 77dd65c | 2017-08-31 22:46:56 -0700 | [diff] [blame] | 122 | |
| 123 | // Recursive tree pass that ensures that constant expressions |
| 124 | // are acyclic. |
| 125 | status_t checkAcyclicConstantExpressions() const; |
Timur Iskhakov | 40731af | 2017-08-24 14:18:35 -0700 | [diff] [blame] | 126 | |
Timur Iskhakov | 041fdfe | 2017-09-06 15:56:01 -0700 | [diff] [blame] | 127 | // Recursive tree pass that checks C++ forward declaration restrictions. |
| 128 | status_t checkForwardReferenceRestrictions() const; |
| 129 | |
Andreas Huber | 308d8a2 | 2017-11-06 14:46:52 -0800 | [diff] [blame] | 130 | status_t gatherReferencedTypes(); |
| 131 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 132 | void generateCppSource(Formatter& out) const; |
Steven Moreland | 6d68855 | 2017-09-15 11:03:02 -0700 | [diff] [blame] | 133 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 134 | void generateInterfaceHeader(Formatter& out) const; |
| 135 | void generateHwBinderHeader(Formatter& out) const; |
| 136 | void generateStubHeader(Formatter& out) const; |
| 137 | void generateProxyHeader(Formatter& out) const; |
| 138 | void generatePassthroughHeader(Formatter& out) const; |
Andreas Huber | 85eabdb | 2016-08-25 11:24:49 -0700 | [diff] [blame] | 139 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 140 | void generateCppImplHeader(Formatter& out) const; |
| 141 | void generateCppImplSource(Formatter& out) const; |
Steven Moreland | 9a6da7a | 2017-09-15 16:21:24 -0700 | [diff] [blame] | 142 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 143 | void generateCppAdapterHeader(Formatter& out) const; |
| 144 | void generateCppAdapterSource(Formatter& out) const; |
Steven Moreland | 5abcf01 | 2018-02-08 18:50:18 -0800 | [diff] [blame] | 145 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 146 | void generateJava(Formatter& out, const std::string& limitToType) const; |
| 147 | void generateJavaTypes(Formatter& out, const std::string& limitToType) const; |
Steven Moreland | 5abcf01 | 2018-02-08 18:50:18 -0800 | [diff] [blame] | 148 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 149 | void generateVts(Formatter& out) const; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 150 | |
Yifan Hong | e401011 | 2018-10-05 11:44:15 -0700 | [diff] [blame] | 151 | void generateDependencies(Formatter& out) const; |
| 152 | |
Iliyan Malchev | 5bb1402 | 2016-08-09 15:04:39 -0700 | [diff] [blame] | 153 | void getImportedPackages(std::set<FQName> *importSet) const; |
Andreas Huber | d2943e1 | 2016-08-05 11:59:31 -0700 | [diff] [blame] | 154 | |
Yifan Hong | 40a373d | 2016-11-30 15:16:47 -0800 | [diff] [blame] | 155 | // Run getImportedPackages on this, then run getImportedPackages on |
| 156 | // each AST in each package referenced in importSet. |
| 157 | void getImportedPackagesHierarchy(std::set<FQName> *importSet) const; |
| 158 | |
Andreas Huber | 0fa9e39 | 2016-08-31 09:05:44 -0700 | [diff] [blame] | 159 | bool isJavaCompatible() const; |
| 160 | |
Steven Moreland | 06a81cf | 2018-01-17 11:13:46 -0800 | [diff] [blame] | 161 | // Warning: this only includes names explicitly referenced in code. |
| 162 | // It does not include all names which are imported. |
| 163 | // |
| 164 | // Currently, there is one valid usecase for this: importing exactly |
| 165 | // the names which need to be imported in generated code. If you import |
| 166 | // based on getAllImportedNamesGranular instead, you will import things |
| 167 | // that aren't actually used in the resultant code. |
| 168 | // |
Andreas Huber | 4ba5c97 | 2017-11-29 11:06:25 -0800 | [diff] [blame] | 169 | // Get transitive closure of imported interface/types. This will add |
| 170 | // everything exported by a package even if only a single type from |
| 171 | // that package was explicitly imported! |
Zhuoyao Zhang | c4e1060 | 2017-01-27 16:48:05 -0800 | [diff] [blame] | 172 | void getAllImportedNames(std::set<FQName> *allImportSet) const; |
| 173 | |
Andreas Huber | 4ba5c97 | 2017-11-29 11:06:25 -0800 | [diff] [blame] | 174 | // Get imported types, this includes those explicitly imported as well |
| 175 | // as all types defined in imported packages. |
| 176 | void getAllImportedNamesGranular(std::set<FQName> *allImportSet) const; |
| 177 | |
Andreas Huber | 019d21d | 2016-10-03 12:59:47 -0700 | [diff] [blame] | 178 | void appendToExportedTypesVector( |
| 179 | std::vector<const Type *> *exportedTypes) const; |
| 180 | |
Yifan Hong | be627b3 | 2016-10-28 18:38:56 -0700 | [diff] [blame] | 181 | // used by the parser. |
| 182 | void addSyntaxError(); |
| 183 | size_t syntaxErrors() const; |
| 184 | |
Yifan Hong | c893404 | 2016-11-17 17:10:52 -0800 | [diff] [blame] | 185 | bool isIBase() const; |
| 186 | |
Steven Moreland | 19f11b5 | 2017-05-12 18:22:21 -0700 | [diff] [blame] | 187 | // or nullptr if not isInterface |
Yifan Hong | 78b38d1 | 2017-02-13 18:14:46 +0000 | [diff] [blame] | 188 | const Interface *getInterface() const; |
| 189 | |
Steven Moreland | 19f11b5 | 2017-05-12 18:22:21 -0700 | [diff] [blame] | 190 | // types or Interface base name (e.x. Foo) |
| 191 | std::string getBaseName() const; |
| 192 | |
Timur Iskhakov | cb0ba52 | 2017-07-17 20:01:37 -0700 | [diff] [blame] | 193 | Scope* getRootScope(); |
| 194 | |
Steven Moreland | 9a6da7a | 2017-09-15 16:21:24 -0700 | [diff] [blame] | 195 | static void generateCppPackageInclude(Formatter& out, const FQName& package, |
| 196 | const std::string& klass); |
| 197 | |
Andreas Huber | 308d8a2 | 2017-11-06 14:46:52 -0800 | [diff] [blame] | 198 | void addDefinedTypes(std::set<FQName> *definedTypes) const; |
| 199 | void addReferencedTypes(std::set<FQName> *referencedTypes) const; |
| 200 | |
Andreas Huber | 4ba5c97 | 2017-11-29 11:06:25 -0800 | [diff] [blame] | 201 | void addToImportedNamesGranular(const FQName &fqName); |
| 202 | |
Timur Iskhakov | cb0ba52 | 2017-07-17 20:01:37 -0700 | [diff] [blame] | 203 | private: |
Steven Moreland | e6d7f09 | 2018-02-08 13:25:45 -0800 | [diff] [blame] | 204 | const Coordinator* mCoordinator; |
Steven Moreland | 04dea8d | 2018-02-06 13:11:24 -0800 | [diff] [blame] | 205 | const Hash* mFileHash; |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 206 | |
Steven Moreland | 0ecc7b8 | 2017-07-19 12:59:23 -0700 | [diff] [blame] | 207 | RootScope mRootScope; |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 208 | |
Andreas Huber | da51b8e | 2016-07-28 16:00:57 -0700 | [diff] [blame] | 209 | FQName mPackage; |
Andreas Huber | 84f89de | 2016-07-28 15:39:51 -0700 | [diff] [blame] | 210 | |
Andreas Huber | 39fa718 | 2016-08-19 14:27:33 -0700 | [diff] [blame] | 211 | // A set of all external interfaces/types that are _actually_ referenced |
| 212 | // in this AST, this is a subset of those specified in import statements. |
Andreas Huber | 4ba5c97 | 2017-11-29 11:06:25 -0800 | [diff] [blame] | 213 | // Note that this set only resolves to the granularity of either an |
| 214 | // interface type or a whole package. |
Andreas Huber | 737080b | 2016-08-02 15:38:04 -0700 | [diff] [blame] | 215 | std::set<FQName> mImportedNames; |
| 216 | |
Andreas Huber | 4ba5c97 | 2017-11-29 11:06:25 -0800 | [diff] [blame] | 217 | // This is the set of actually imported types. |
| 218 | std::set<FQName> mImportedNamesGranular; |
| 219 | |
Steven Moreland | 06a81cf | 2018-01-17 11:13:46 -0800 | [diff] [blame] | 220 | // Warning: this only includes names explicitly referenced in code. |
| 221 | // It does not include all names which are imported. |
| 222 | // |
Andreas Huber | 39fa718 | 2016-08-19 14:27:33 -0700 | [diff] [blame] | 223 | // A set of all ASTs we explicitly or implicitly (types.hal) import. |
| 224 | std::set<AST *> mImportedASTs; |
| 225 | |
Yifan Hong | 1977ea3 | 2016-10-05 12:49:08 -0700 | [diff] [blame] | 226 | // If a single type (instead of the whole AST) is imported, the AST will be |
| 227 | // present as a key to this map, with the value being a list of types |
| 228 | // imported from this AST. If an AST appears in mImportedASTs but not in |
| 229 | // mImportedTypes, then the whole AST is imported. |
| 230 | std::map<AST *, std::set<Type *>> mImportedTypes; |
| 231 | |
Andreas Huber | 39fa718 | 2016-08-19 14:27:33 -0700 | [diff] [blame] | 232 | // Types keyed by full names defined in this AST. |
Steven Moreland | d537ab0 | 2016-09-12 10:32:01 -0700 | [diff] [blame] | 233 | std::map<FQName, Type *> mDefinedTypesByFullName; |
Andreas Huber | 39fa718 | 2016-08-19 14:27:33 -0700 | [diff] [blame] | 234 | |
Yifan Hong | be627b3 | 2016-10-28 18:38:56 -0700 | [diff] [blame] | 235 | // used by the parser. |
| 236 | size_t mSyntaxErrors = 0; |
| 237 | |
Andreas Huber | 308d8a2 | 2017-11-06 14:46:52 -0800 | [diff] [blame] | 238 | std::set<FQName> mReferencedTypeNames; |
| 239 | |
Yifan Hong | 87ff823 | 2017-01-09 12:07:05 -0800 | [diff] [blame] | 240 | // Helper functions for lookupType. |
Timur Iskhakov | cb0ba52 | 2017-07-17 20:01:37 -0700 | [diff] [blame] | 241 | Type* lookupTypeLocally(const FQName& fqName, Scope* scope); |
Yifan Hong | 87ff823 | 2017-01-09 12:07:05 -0800 | [diff] [blame] | 242 | status_t lookupAutofilledType(const FQName &fqName, Type **returnedType); |
| 243 | Type *lookupTypeFromImports(const FQName &fqName); |
| 244 | |
Andreas Huber | 39fa718 | 2016-08-19 14:27:33 -0700 | [diff] [blame] | 245 | // Find a type matching fqName (which may be partial) and if found |
| 246 | // return the associated type and fill in the full "matchingName". |
| 247 | // Only types defined in this very AST are considered. |
| 248 | Type *findDefinedType(const FQName &fqName, FQName *matchingName) const; |
| 249 | |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 250 | void getPackageComponents(std::vector<std::string> *components) const; |
| 251 | |
| 252 | void getPackageAndVersionComponents( |
| 253 | std::vector<std::string> *components, bool cpp_compatible) const; |
| 254 | |
Steven Moreland | 5708edf | 2016-11-04 15:33:31 +0000 | [diff] [blame] | 255 | std::string makeHeaderGuard(const std::string &baseName, |
| 256 | bool indicateGenerated = true) const; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 257 | void enterLeaveNamespace(Formatter &out, bool enter) const; |
| 258 | |
Steven Moreland | 67f67b4 | 2016-09-29 08:59:02 -0700 | [diff] [blame] | 259 | static void generateCheckNonNull(Formatter &out, const std::string &nonNull); |
| 260 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 261 | void generateTypeSource(Formatter& out, const std::string& ifaceName) const; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 262 | |
Yifan Hong | 068c552 | 2016-10-31 14:07:25 -0700 | [diff] [blame] | 263 | // a method, and in which interface is it originally defined. |
| 264 | // be careful of the case where method.isHidlReserved(), where interface |
| 265 | // is effectively useless. |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 266 | using MethodGenerator = std::function<void(const Method*, const Interface*)>; |
Steven Moreland | a7a421a | 2016-09-07 08:35:18 -0700 | [diff] [blame] | 267 | |
Steven Moreland | 0b84377 | 2017-06-23 16:33:38 -0700 | [diff] [blame] | 268 | void generateTemplatizationLink(Formatter& out) const; |
Steven Moreland | 1a52e82 | 2017-07-27 13:56:29 -0700 | [diff] [blame] | 269 | void generateCppTag(Formatter& out, const std::string& tag) const; |
Steven Moreland | 0b84377 | 2017-06-23 16:33:38 -0700 | [diff] [blame] | 270 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 271 | void generateMethods(Formatter& out, const MethodGenerator& gen, |
| 272 | bool includeParents = true) const; |
| 273 | void generateStubImplMethod(Formatter& out, const std::string& className, |
| 274 | const Method* method) const; |
Steven Moreland | 616cf4d | 2018-10-02 13:52:18 -0700 | [diff] [blame] | 275 | void generatePassthroughMethod(Formatter& out, const Method* method, const Interface* superInterface) const; |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 276 | void generateStaticProxyMethodSource(Formatter& out, const std::string& className, |
Steven Moreland | 616cf4d | 2018-10-02 13:52:18 -0700 | [diff] [blame] | 277 | const Method* method, const Interface* superInterface) const; |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 278 | void generateProxyMethodSource(Formatter& out, const std::string& className, |
| 279 | const Method* method, const Interface* superInterface) const; |
Steven Moreland | 9a6da7a | 2017-09-15 16:21:24 -0700 | [diff] [blame] | 280 | void generateAdapterMethod(Formatter& out, const Method* method) const; |
Steven Moreland | 9c38761 | 2016-09-07 09:54:26 -0700 | [diff] [blame] | 281 | |
| 282 | void generateFetchSymbol(Formatter &out, const std::string &ifaceName) const; |
Iliyan Malchev | 62c3d18 | 2016-08-16 20:33:39 -0700 | [diff] [blame] | 283 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 284 | void generateProxySource(Formatter& out, const FQName& fqName) const; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 285 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 286 | void generateStubSource(Formatter& out, const Interface* iface) const; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 287 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 288 | void generateStubSourceForMethod(Formatter& out, const Method* method, |
| 289 | const Interface* superInterface) const; |
| 290 | void generateStaticStubMethodSource(Formatter& out, const FQName& fqName, |
Steven Moreland | 616cf4d | 2018-10-02 13:52:18 -0700 | [diff] [blame] | 291 | const Method* method, const Interface* superInterface) const; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 292 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 293 | void generatePassthroughSource(Formatter& out) const; |
Steven Moreland | 69e7c70 | 2016-09-09 11:16:32 -0700 | [diff] [blame] | 294 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 295 | void generateInterfaceSource(Formatter& out) const; |
Zhuoyao Zhang | 8f49294 | 2016-09-28 14:27:56 -0700 | [diff] [blame] | 296 | |
| 297 | enum InstrumentationEvent { |
| 298 | SERVER_API_ENTRY = 0, |
| 299 | SERVER_API_EXIT, |
| 300 | CLIENT_API_ENTRY, |
| 301 | CLIENT_API_EXIT, |
| 302 | SYNC_CALLBACK_ENTRY, |
| 303 | SYNC_CALLBACK_EXIT, |
| 304 | ASYNC_CALLBACK_ENTRY, |
| 305 | ASYNC_CALLBACK_EXIT, |
Steven Moreland | 9b1cbdf | 2016-11-01 12:23:27 -0700 | [diff] [blame] | 306 | PASSTHROUGH_ENTRY, |
| 307 | PASSTHROUGH_EXIT, |
Zhuoyao Zhang | 8f49294 | 2016-09-28 14:27:56 -0700 | [diff] [blame] | 308 | }; |
| 309 | |
Steven Moreland | 92a08a7 | 2017-07-31 14:57:37 -0700 | [diff] [blame] | 310 | void generateCppAtraceCall( |
Martijn Coenen | 7b29524 | 2016-11-04 16:52:56 +0100 | [diff] [blame] | 311 | Formatter &out, |
| 312 | InstrumentationEvent event, |
| 313 | const Method *method) const; |
| 314 | |
Steven Moreland | 92a08a7 | 2017-07-31 14:57:37 -0700 | [diff] [blame] | 315 | void generateCppInstrumentationCall( |
Zhuoyao Zhang | 8f49294 | 2016-09-28 14:27:56 -0700 | [diff] [blame] | 316 | Formatter &out, |
| 317 | InstrumentationEvent event, |
Steven Moreland | 616cf4d | 2018-10-02 13:52:18 -0700 | [diff] [blame] | 318 | const Method *method, |
| 319 | const Interface* superInterface) const; |
Zhuoyao Zhang | 8f49294 | 2016-09-28 14:27:56 -0700 | [diff] [blame] | 320 | |
Timur Iskhakov | 7fa79f6 | 2017-08-09 11:04:54 -0700 | [diff] [blame] | 321 | void declareCppReaderLocals(Formatter& out, const std::vector<NamedReference<Type>*>& arg, |
| 322 | bool forResults) const; |
Andreas Huber | e7ff228 | 2016-08-16 13:50:03 -0700 | [diff] [blame] | 323 | |
Timur Iskhakov | 7fa79f6 | 2017-08-09 11:04:54 -0700 | [diff] [blame] | 324 | void emitCppReaderWriter(Formatter& out, const std::string& parcelObj, bool parcelObjIsPointer, |
| 325 | const NamedReference<Type>* arg, bool isReader, Type::ErrorMode mode, |
| 326 | bool addPrefixToName) const; |
Andreas Huber | 881227d | 2016-08-02 14:20:21 -0700 | [diff] [blame] | 327 | |
Timur Iskhakov | 7fa79f6 | 2017-08-09 11:04:54 -0700 | [diff] [blame] | 328 | void emitCppResolveReferences(Formatter& out, const std::string& parcelObj, |
| 329 | bool parcelObjIsPointer, const NamedReference<Type>* arg, |
| 330 | bool isReader, Type::ErrorMode mode, bool addPrefixToName) const; |
Yifan Hong | bf459bc | 2016-08-23 16:50:37 -0700 | [diff] [blame] | 331 | |
Timur Iskhakov | 7fa79f6 | 2017-08-09 11:04:54 -0700 | [diff] [blame] | 332 | void emitJavaReaderWriter(Formatter& out, const std::string& parcelObj, |
| 333 | const NamedReference<Type>* arg, bool isReader, |
| 334 | bool addPrefixToName) const; |
Andreas Huber | 2831d51 | 2016-08-15 09:33:47 -0700 | [diff] [blame] | 335 | |
Steven Moreland | 6ec9eb9 | 2018-02-16 14:21:49 -0800 | [diff] [blame] | 336 | void emitVtsTypeDeclarations(Formatter& out) const; |
Andreas Huber | 70a59e1 | 2016-08-16 12:57:01 -0700 | [diff] [blame] | 337 | |
Andreas Huber | c9410c7 | 2016-07-28 12:18:40 -0700 | [diff] [blame] | 338 | DISALLOW_COPY_AND_ASSIGN(AST); |
| 339 | }; |
| 340 | |
| 341 | } // namespace android |
| 342 | |
| 343 | #endif // AST_H_ |