blob: 2ccf48523191e6789b9d9f15d318a713e6d60c7b [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#ifndef AST_H_
18
19#define AST_H_
20
21#include <android-base/macros.h>
Steven Moreland04dea8d2018-02-06 13:11:24 -080022#include <hidl-hash/Hash.h>
Steven Moreland7ae3d542017-01-18 16:46:01 -080023#include <hidl-util/FQName.h>
Timur Iskhakov891a8662017-08-25 21:53:48 -070024#include <functional>
Steven Morelandd537ab02016-09-12 10:32:01 -070025#include <map>
Andreas Huber737080b2016-08-02 15:38:04 -070026#include <set>
Andreas Hubereb1081f2016-07-28 13:13:24 -070027#include <string>
Andreas Huber70a59e12016-08-16 12:57:01 -070028#include <vector>
Andreas Huberc9410c72016-07-28 12:18:40 -070029
Timur Iskhakovcb0ba522017-07-17 20:01:37 -070030#include "Scope.h"
Andreas Huber881227d2016-08-02 14:20:21 -070031#include "Type.h"
Andreas Huberda51b8e2016-07-28 16:00:57 -070032
Andreas Huberc9410c72016-07-28 12:18:40 -070033namespace android {
34
Andreas Huber5345ec22016-07-29 13:33:27 -070035struct Coordinator;
Timur Iskhakov891a8662017-08-25 21:53:48 -070036struct ConstantExpression;
Timur Iskhakov7fa79f62017-08-09 11:04:54 -070037struct EnumValue;
Andreas Huberc9410c72016-07-28 12:18:40 -070038struct Formatter;
Andreas Huber6cb08cf2016-08-03 15:44:51 -070039struct Interface;
Yifan Honga4b53d02016-10-31 17:29:10 -070040struct Location;
Andreas Huber881227d2016-08-02 14:20:21 -070041struct Method;
Andreas Huber31629bc2016-08-03 09:06:40 -070042struct NamedType;
Timur Iskhakov7fa79f62017-08-09 11:04:54 -070043template <class T>
44struct NamedReference;
45struct Type;
Andreas Huberc9410c72016-07-28 12:18:40 -070046
Neel Mehta55c065e2019-05-31 13:30:12 -070047struct ImportStatement {
48 FQName fqName;
49 Location location;
50};
51
Andreas Huberc9410c72016-07-28 12:18:40 -070052struct AST {
Steven Moreland04dea8d2018-02-06 13:11:24 -080053 AST(const Coordinator* coordinator, const Hash* fileHash);
Andreas Huberc9410c72016-07-28 12:18:40 -070054
Andreas Huber84f89de2016-07-28 15:39:51 -070055 bool setPackage(const char *package);
Neel Mehta55c065e2019-05-31 13:30:12 -070056 bool addImport(const char* import, const Location& location);
Andreas Hubereb1081f2016-07-28 13:13:24 -070057
Andreas Hubera2723d22016-07-29 15:36:07 -070058 // package and version really.
59 FQName package() const;
Steven Moreland19f11b52017-05-12 18:22:21 -070060 bool isInterface() const;
Steven Morelandb47a2622018-07-11 09:04:25 -070061 bool definesInterfaces() const;
Andreas Hubera2723d22016-07-29 15:36:07 -070062
Timur Iskhakov565b0132017-09-06 18:07:11 -070063 // Adds package, version and scope stack to local name
64 FQName makeFullName(const char* localName, Scope* scope) const;
65
66 void addScopedType(NamedType* type, Scope* scope);
Andreas Huberc9410c72016-07-28 12:18:40 -070067
Steven Moreland04dea8d2018-02-06 13:11:24 -080068 const std::string& getFilename() const;
69 const Hash* getFileHash() const;
Andreas Huber0d0f9a22016-08-17 10:26:11 -070070
Timur Iskhakov82c048e2017-09-09 01:20:53 -070071 // Look up local identifier.
72 // It could be plain identifier or enum value as described by lookupEnumValue.
73 LocalIdentifier* lookupLocalIdentifier(const Reference<LocalIdentifier>& ref, Scope* scope);
74
Yifan Hongf24fa852016-09-23 11:03:15 -070075 // Look up an enum value by "FQName:valueName".
Timur Iskhakovcb0ba522017-07-17 20:01:37 -070076 EnumValue* lookupEnumValue(const FQName& fqName, std::string* errorMsg, Scope* scope);
Yifan Hongf24fa852016-09-23 11:03:15 -070077
Andreas Huber5345ec22016-07-29 13:33:27 -070078 // Look up a type by FQName, "pure" names, i.e. those without package
79 // or version are first looked up in the current scope chain.
80 // After that lookup proceeds to imports.
Timur Iskhakovcb0ba522017-07-17 20:01:37 -070081 Type* lookupType(const FQName& fqName, Scope* scope);
Andreas Huber5345ec22016-07-29 13:33:27 -070082
Andreas Huber39fa7182016-08-19 14:27:33 -070083 void addImportedAST(AST *ast);
Andreas Huberc9410c72016-07-28 12:18:40 -070084
Timur Iskhakov33431e62017-08-21 17:31:23 -070085 // Calls all passes after parsing required before
86 // being ready to generate output.
87 status_t postParse();
88
Timur Iskhakov891a8662017-08-25 21:53:48 -070089 // Recursive pass on constant expression tree
90 status_t constantExpressionRecursivePass(
Timur Iskhakov82c048e2017-09-09 01:20:53 -070091 const std::function<status_t(ConstantExpression*)>& func, bool processBeforeDependencies);
Steven Moreland12f0ab12018-11-02 17:27:37 -070092 status_t constantExpressionRecursivePass(
93 const std::function<status_t(const ConstantExpression*)>& func,
94 bool processBeforeDependencies) const;
Timur Iskhakov82c048e2017-09-09 01:20:53 -070095
Yifan Hong0e192c42018-10-23 15:32:19 -070096 // Recursive tree pass that sets ParseStage of all types to newStage.
97 status_t setParseStage(Type::ParseStage oldStage, Type::ParseStage newStage);
98
Timur Iskhakov82c048e2017-09-09 01:20:53 -070099 // Recursive tree pass that looks up all referenced types
100 status_t lookupTypes();
101
102 // Recursive tree pass that looks up all referenced local identifiers
Steven Moreland12f0ab12018-11-02 17:27:37 -0700103 // and types referenced by constant expressions
104 status_t lookupConstantExpressions();
Timur Iskhakov891a8662017-08-25 21:53:48 -0700105
Timur Iskhakov565b0132017-09-06 18:07:11 -0700106 // Recursive tree pass that validates that all defined types
107 // have unique names in their scopes.
108 status_t validateDefinedTypesUniqueNames() const;
109
Timur Iskhakovcec46c42017-08-09 00:22:02 -0700110 // Recursive tree pass that completes type declarations
111 // that depend on super types
112 status_t resolveInheritance();
113
Steven Moreland12f0ab12018-11-02 17:27:37 -0700114 // Recursive tree pass that validates constant expressions
115 status_t validateConstantExpressions() const;
116
Timur Iskhakovcec46c42017-08-09 00:22:02 -0700117 // Recursive tree pass that evaluates constant expressions
Steven Moreland12f0ab12018-11-02 17:27:37 -0700118 status_t evaluateConstantExpressions();
Timur Iskhakovcec46c42017-08-09 00:22:02 -0700119
120 // Recursive tree pass that validates all type-related
121 // syntax restrictions
122 status_t validate() const;
123
Timur Iskhakov40731af2017-08-24 14:18:35 -0700124 // Recursive tree pass that ensures that type definitions and references
Timur Iskhakov458ca362017-09-12 23:16:03 -0700125 // are acyclic and reorderes type definitions in reversed topological order.
126 status_t topologicalReorder();
Timur Iskhakov77dd65c2017-08-31 22:46:56 -0700127
128 // Recursive tree pass that ensures that constant expressions
129 // are acyclic.
130 status_t checkAcyclicConstantExpressions() const;
Timur Iskhakov40731af2017-08-24 14:18:35 -0700131
Timur Iskhakov041fdfe2017-09-06 15:56:01 -0700132 // Recursive tree pass that checks C++ forward declaration restrictions.
133 status_t checkForwardReferenceRestrictions() const;
134
Andreas Huber308d8a22017-11-06 14:46:52 -0800135 status_t gatherReferencedTypes();
136
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800137 void generateCppSource(Formatter& out) const;
Steven Moreland6d688552017-09-15 11:03:02 -0700138
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800139 void generateInterfaceHeader(Formatter& out) const;
140 void generateHwBinderHeader(Formatter& out) const;
141 void generateStubHeader(Formatter& out) const;
142 void generateProxyHeader(Formatter& out) const;
143 void generatePassthroughHeader(Formatter& out) const;
Andreas Huber85eabdb2016-08-25 11:24:49 -0700144
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800145 void generateCppImplHeader(Formatter& out) const;
146 void generateCppImplSource(Formatter& out) const;
Steven Moreland9a6da7a2017-09-15 16:21:24 -0700147
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800148 void generateCppAdapterHeader(Formatter& out) const;
149 void generateCppAdapterSource(Formatter& out) const;
Steven Moreland5abcf012018-02-08 18:50:18 -0800150
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800151 void generateJava(Formatter& out, const std::string& limitToType) const;
Neel Mehta4b6f4392019-05-09 16:03:47 -0700152 void generateJavaImpl(Formatter& out) const;
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800153 void generateJavaTypes(Formatter& out, const std::string& limitToType) const;
Steven Moreland5abcf012018-02-08 18:50:18 -0800154
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800155 void generateVts(Formatter& out) const;
Andreas Huber881227d2016-08-02 14:20:21 -0700156
Yifan Honge4010112018-10-05 11:44:15 -0700157 void generateDependencies(Formatter& out) const;
158
Neel Mehta55c065e2019-05-31 13:30:12 -0700159 const std::vector<ImportStatement>& getImportStatements() const;
Iliyan Malchev5bb14022016-08-09 15:04:39 -0700160 void getImportedPackages(std::set<FQName> *importSet) const;
Andreas Huberd2943e12016-08-05 11:59:31 -0700161
Yifan Hong40a373d2016-11-30 15:16:47 -0800162 // Run getImportedPackages on this, then run getImportedPackages on
163 // each AST in each package referenced in importSet.
164 void getImportedPackagesHierarchy(std::set<FQName> *importSet) const;
165
Andreas Huber0fa9e392016-08-31 09:05:44 -0700166 bool isJavaCompatible() const;
167
Steven Moreland06a81cf2018-01-17 11:13:46 -0800168 // Warning: this only includes names explicitly referenced in code.
169 // It does not include all names which are imported.
170 //
171 // Currently, there is one valid usecase for this: importing exactly
172 // the names which need to be imported in generated code. If you import
173 // based on getAllImportedNamesGranular instead, you will import things
174 // that aren't actually used in the resultant code.
175 //
Andreas Huber4ba5c972017-11-29 11:06:25 -0800176 // Get transitive closure of imported interface/types. This will add
177 // everything exported by a package even if only a single type from
178 // that package was explicitly imported!
Zhuoyao Zhangc4e10602017-01-27 16:48:05 -0800179 void getAllImportedNames(std::set<FQName> *allImportSet) const;
180
Andreas Huber4ba5c972017-11-29 11:06:25 -0800181 // Get imported types, this includes those explicitly imported as well
182 // as all types defined in imported packages.
183 void getAllImportedNamesGranular(std::set<FQName> *allImportSet) const;
184
Andreas Huber019d21d2016-10-03 12:59:47 -0700185 void appendToExportedTypesVector(
186 std::vector<const Type *> *exportedTypes) const;
187
Yifan Hongbe627b32016-10-28 18:38:56 -0700188 // used by the parser.
189 void addSyntaxError();
190 size_t syntaxErrors() const;
191
Yifan Hongc8934042016-11-17 17:10:52 -0800192 bool isIBase() const;
193
Steven Moreland19f11b52017-05-12 18:22:21 -0700194 // or nullptr if not isInterface
Yifan Hong78b38d12017-02-13 18:14:46 +0000195 const Interface *getInterface() const;
196
Steven Moreland19f11b52017-05-12 18:22:21 -0700197 // types or Interface base name (e.x. Foo)
198 std::string getBaseName() const;
199
Neel Mehta693169b2019-05-29 18:45:25 -0700200 Scope* getMutableRootScope();
201 const Scope& getRootScope() const;
Timur Iskhakovcb0ba522017-07-17 20:01:37 -0700202
Steven Moreland9a6da7a2017-09-15 16:21:24 -0700203 static void generateCppPackageInclude(Formatter& out, const FQName& package,
204 const std::string& klass);
205
Andreas Huber308d8a22017-11-06 14:46:52 -0800206 void addDefinedTypes(std::set<FQName> *definedTypes) const;
207 void addReferencedTypes(std::set<FQName> *referencedTypes) const;
208
Andreas Huber4ba5c972017-11-29 11:06:25 -0800209 void addToImportedNamesGranular(const FQName &fqName);
210
Neel Mehta0ee353f2019-05-30 17:40:29 -0700211 bool addMethod(Method* method, Interface* iface);
212 bool addAllReservedMethodsToInterface(Interface* iface);
213
214 private:
Steven Morelande6d7f092018-02-08 13:25:45 -0800215 const Coordinator* mCoordinator;
Steven Moreland04dea8d2018-02-06 13:11:24 -0800216 const Hash* mFileHash;
Andreas Huberc9410c72016-07-28 12:18:40 -0700217
Steven Moreland0ecc7b82017-07-19 12:59:23 -0700218 RootScope mRootScope;
Andreas Huberc9410c72016-07-28 12:18:40 -0700219
Andreas Huberda51b8e2016-07-28 16:00:57 -0700220 FQName mPackage;
Andreas Huber84f89de2016-07-28 15:39:51 -0700221
Neel Mehta55c065e2019-05-31 13:30:12 -0700222 // A list of the FQNames present in the import statements
223 std::vector<ImportStatement> mImportStatements;
224
Andreas Huber39fa7182016-08-19 14:27:33 -0700225 // A set of all external interfaces/types that are _actually_ referenced
226 // in this AST, this is a subset of those specified in import statements.
Andreas Huber4ba5c972017-11-29 11:06:25 -0800227 // Note that this set only resolves to the granularity of either an
228 // interface type or a whole package.
Andreas Huber737080b2016-08-02 15:38:04 -0700229 std::set<FQName> mImportedNames;
230
Andreas Huber4ba5c972017-11-29 11:06:25 -0800231 // This is the set of actually imported types.
232 std::set<FQName> mImportedNamesGranular;
233
Steven Moreland06a81cf2018-01-17 11:13:46 -0800234 // Warning: this only includes names explicitly referenced in code.
235 // It does not include all names which are imported.
236 //
Andreas Huber39fa7182016-08-19 14:27:33 -0700237 // A set of all ASTs we explicitly or implicitly (types.hal) import.
238 std::set<AST *> mImportedASTs;
239
Yifan Hong1977ea32016-10-05 12:49:08 -0700240 // If a single type (instead of the whole AST) is imported, the AST will be
241 // present as a key to this map, with the value being a list of types
242 // imported from this AST. If an AST appears in mImportedASTs but not in
243 // mImportedTypes, then the whole AST is imported.
244 std::map<AST *, std::set<Type *>> mImportedTypes;
245
Andreas Huber39fa7182016-08-19 14:27:33 -0700246 // Types keyed by full names defined in this AST.
Steven Morelandd537ab02016-09-12 10:32:01 -0700247 std::map<FQName, Type *> mDefinedTypesByFullName;
Andreas Huber39fa7182016-08-19 14:27:33 -0700248
Neel Mehta0ee353f2019-05-30 17:40:29 -0700249 // contains all the hidl reserved methods part of this AST
250 std::map<std::string, Method*> mAllReservedMethods;
251
Yifan Hongbe627b32016-10-28 18:38:56 -0700252 // used by the parser.
253 size_t mSyntaxErrors = 0;
254
Andreas Huber308d8a22017-11-06 14:46:52 -0800255 std::set<FQName> mReferencedTypeNames;
256
Yifan Hong87ff8232017-01-09 12:07:05 -0800257 // Helper functions for lookupType.
Timur Iskhakovcb0ba522017-07-17 20:01:37 -0700258 Type* lookupTypeLocally(const FQName& fqName, Scope* scope);
Yifan Hong87ff8232017-01-09 12:07:05 -0800259 status_t lookupAutofilledType(const FQName &fqName, Type **returnedType);
260 Type *lookupTypeFromImports(const FQName &fqName);
261
Andreas Huber39fa7182016-08-19 14:27:33 -0700262 // Find a type matching fqName (which may be partial) and if found
263 // return the associated type and fill in the full "matchingName".
264 // Only types defined in this very AST are considered.
265 Type *findDefinedType(const FQName &fqName, FQName *matchingName) const;
266
Andreas Huber881227d2016-08-02 14:20:21 -0700267 void getPackageComponents(std::vector<std::string> *components) const;
268
269 void getPackageAndVersionComponents(
270 std::vector<std::string> *components, bool cpp_compatible) const;
271
Steven Moreland5708edf2016-11-04 15:33:31 +0000272 std::string makeHeaderGuard(const std::string &baseName,
273 bool indicateGenerated = true) const;
Andreas Huber881227d2016-08-02 14:20:21 -0700274 void enterLeaveNamespace(Formatter &out, bool enter) const;
275
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800276 void generateTypeSource(Formatter& out, const std::string& ifaceName) const;
Andreas Huber881227d2016-08-02 14:20:21 -0700277
Yifan Hong068c5522016-10-31 14:07:25 -0700278 // a method, and in which interface is it originally defined.
279 // be careful of the case where method.isHidlReserved(), where interface
280 // is effectively useless.
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800281 using MethodGenerator = std::function<void(const Method*, const Interface*)>;
Steven Morelanda7a421a2016-09-07 08:35:18 -0700282
Steven Moreland0b843772017-06-23 16:33:38 -0700283 void generateTemplatizationLink(Formatter& out) const;
Steven Moreland1a52e822017-07-27 13:56:29 -0700284 void generateCppTag(Formatter& out, const std::string& tag) const;
Steven Moreland0b843772017-06-23 16:33:38 -0700285
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800286 void generateMethods(Formatter& out, const MethodGenerator& gen,
287 bool includeParents = true) const;
288 void generateStubImplMethod(Formatter& out, const std::string& className,
289 const Method* method) const;
Steven Moreland616cf4d2018-10-02 13:52:18 -0700290 void generatePassthroughMethod(Formatter& out, const Method* method, const Interface* superInterface) const;
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800291 void generateStaticProxyMethodSource(Formatter& out, const std::string& className,
Steven Moreland616cf4d2018-10-02 13:52:18 -0700292 const Method* method, const Interface* superInterface) const;
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800293 void generateProxyMethodSource(Formatter& out, const std::string& className,
294 const Method* method, const Interface* superInterface) const;
Steven Moreland9a6da7a2017-09-15 16:21:24 -0700295 void generateAdapterMethod(Formatter& out, const Method* method) const;
Steven Moreland9c387612016-09-07 09:54:26 -0700296
297 void generateFetchSymbol(Formatter &out, const std::string &ifaceName) const;
Iliyan Malchev62c3d182016-08-16 20:33:39 -0700298
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800299 void generateProxySource(Formatter& out, const FQName& fqName) const;
Andreas Huber881227d2016-08-02 14:20:21 -0700300
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800301 void generateStubSource(Formatter& out, const Interface* iface) const;
Andreas Huber881227d2016-08-02 14:20:21 -0700302
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800303 void generateStubSourceForMethod(Formatter& out, const Method* method,
304 const Interface* superInterface) const;
305 void generateStaticStubMethodSource(Formatter& out, const FQName& fqName,
Steven Moreland616cf4d2018-10-02 13:52:18 -0700306 const Method* method, const Interface* superInterface) const;
Andreas Huber881227d2016-08-02 14:20:21 -0700307
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800308 void generatePassthroughSource(Formatter& out) const;
Steven Moreland69e7c702016-09-09 11:16:32 -0700309
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800310 void generateInterfaceSource(Formatter& out) const;
Zhuoyao Zhang8f492942016-09-28 14:27:56 -0700311
312 enum InstrumentationEvent {
313 SERVER_API_ENTRY = 0,
314 SERVER_API_EXIT,
315 CLIENT_API_ENTRY,
316 CLIENT_API_EXIT,
317 SYNC_CALLBACK_ENTRY,
318 SYNC_CALLBACK_EXIT,
319 ASYNC_CALLBACK_ENTRY,
320 ASYNC_CALLBACK_EXIT,
Steven Moreland9b1cbdf2016-11-01 12:23:27 -0700321 PASSTHROUGH_ENTRY,
322 PASSTHROUGH_EXIT,
Zhuoyao Zhang8f492942016-09-28 14:27:56 -0700323 };
324
Steven Moreland92a08a72017-07-31 14:57:37 -0700325 void generateCppAtraceCall(
Martijn Coenen7b295242016-11-04 16:52:56 +0100326 Formatter &out,
327 InstrumentationEvent event,
328 const Method *method) const;
329
Steven Moreland92a08a72017-07-31 14:57:37 -0700330 void generateCppInstrumentationCall(
Zhuoyao Zhang8f492942016-09-28 14:27:56 -0700331 Formatter &out,
332 InstrumentationEvent event,
Steven Moreland616cf4d2018-10-02 13:52:18 -0700333 const Method *method,
334 const Interface* superInterface) const;
Zhuoyao Zhang8f492942016-09-28 14:27:56 -0700335
Timur Iskhakov7fa79f62017-08-09 11:04:54 -0700336 void declareCppReaderLocals(Formatter& out, const std::vector<NamedReference<Type>*>& arg,
337 bool forResults) const;
Andreas Hubere7ff2282016-08-16 13:50:03 -0700338
Timur Iskhakov7fa79f62017-08-09 11:04:54 -0700339 void emitCppReaderWriter(Formatter& out, const std::string& parcelObj, bool parcelObjIsPointer,
340 const NamedReference<Type>* arg, bool isReader, Type::ErrorMode mode,
341 bool addPrefixToName) const;
Andreas Huber881227d2016-08-02 14:20:21 -0700342
Timur Iskhakov7fa79f62017-08-09 11:04:54 -0700343 void emitJavaReaderWriter(Formatter& out, const std::string& parcelObj,
344 const NamedReference<Type>* arg, bool isReader,
345 bool addPrefixToName) const;
Andreas Huber2831d512016-08-15 09:33:47 -0700346
Steven Moreland6ec9eb92018-02-16 14:21:49 -0800347 void emitVtsTypeDeclarations(Formatter& out) const;
Andreas Huber70a59e12016-08-16 12:57:01 -0700348
Andreas Huberc9410c72016-07-28 12:18:40 -0700349 DISALLOW_COPY_AND_ASSIGN(AST);
350};
351
352} // namespace android
353
354#endif // AST_H_