1 /* 2 * Copyright (c) 2021-2025 Huawei Device Co., Ltd. 3 * Licensed under the Apache License, Version 2.0 (the "License"); 4 * you may not use this file except in compliance with the License. 5 * You may obtain a copy of the License at 6 * 7 * http://www.apache.org/licenses/LICENSE-2.0 8 * 9 * Unless required by applicable law or agreed to in writing, software 10 * distributed under the License is distributed on an "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 * See the License for the specific language governing permissions and 13 * limitations under the License. 14 */ 15 16 #ifndef ES2PANDA_CHECKER_ETSANALYZERHELPERS_H 17 #define ES2PANDA_CHECKER_ETSANALYZERHELPERS_H 18 19 #include "checker/types/type.h" 20 #include "varbinder/ETSBinder.h" 21 #include "checker/ETSchecker.h" 22 #include "checker/ets/castingContext.h" 23 #include "checker/ets/typeRelationContext.h" 24 #include "util/helpers.h" 25 26 #include <memory> 27 28 namespace ark::es2panda::checker { 29 void CheckExtensionIsShadowedInCurrentClassOrInterface(checker::ETSChecker *checker, checker::ETSObjectType *objType, 30 ir::ScriptFunction *extensionFunc, 31 checker::Signature *signature); 32 void CheckExtensionIsShadowedByMethod(checker::ETSChecker *checker, checker::ETSObjectType *objType, 33 ir::ScriptFunction *extensionFunc, checker::Signature *signature); 34 void CheckExtensionMethod(checker::ETSChecker *checker, ir::ScriptFunction *extensionFunc, ir::AstNode *node); 35 void DoBodyTypeChecking(ETSChecker *checker, ir::MethodDefinition *node, ir::ScriptFunction *scriptFunc); 36 void ComposeAsyncImplFuncReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc); 37 void CheckPredefinedMethodReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc); 38 void CheckIteratorMethodReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc, 39 const lexer::SourcePosition &position, const std::string &methodName); 40 checker::Signature *ResolveCallExtensionFunction(checker::Type *functionType, checker::ETSChecker *checker, 41 ir::CallExpression *expr, 42 TypeRelationFlag reportFlag = TypeRelationFlag::NONE); 43 checker::Signature *ResolveCallForClassMethod(checker::ETSFunctionType *functionType, checker::ETSChecker *checker, 44 ir::CallExpression *expr, 45 TypeRelationFlag reportFlag = TypeRelationFlag::NONE); 46 checker::Signature *GetMostSpecificSigFromExtensionFuncAndClassMethod(checker::ETSExtensionFuncHelperType *type, 47 checker::ETSChecker *checker, 48 ir::CallExpression *expr); 49 checker::Signature *ResolveCallForETSExtensionFuncHelperType(checker::ETSExtensionFuncHelperType *type, 50 checker::ETSChecker *checker, ir::CallExpression *expr); 51 ArenaVector<checker::Signature *> GetUnionTypeSignatures(ETSChecker *checker, checker::ETSUnionType *etsUnionType); 52 void ProcessExclamationMark(ETSChecker *checker, ir::UnaryExpression *expr, checker::Type *operandType); 53 void SetTsTypeForUnaryExpression(ETSChecker *checker, ir::UnaryExpression *expr, checker::Type *operandType); 54 checker::Type *GetIteratorType(ETSChecker *checker, checker::Type *elemType, ir::AstNode *left); 55 bool CheckArgumentVoidType(checker::Type *&funcReturnType, ETSChecker *checker, const std::string &name, 56 ir::ReturnStatement *st); 57 bool CheckReturnType(ETSChecker *checker, checker::Type *funcReturnType, checker::Type *argumentType, 58 ir::Expression *stArgument, ir::ScriptFunction *containingFunc); 59 void InferReturnType(ETSChecker *checker, ir::ScriptFunction *containingFunc, checker::Type *&funcReturnType, 60 ir::Expression *stArgument); 61 bool IsArrayExpressionValidInitializerForType(ETSChecker *checker, const Type *arrayExprPreferredType); 62 void CastPossibleTupleOnRHS(ETSChecker *checker, ir::AssignmentExpression *expr); 63 void ProcessReturnStatements(ETSChecker *checker, ir::ScriptFunction *containingFunc, checker::Type *&funcReturnType, 64 ir::ReturnStatement *st, ir::Expression *stArgument); 65 bool CheckReturnTypeNecessity(ir::MethodDefinition *node); 66 void CheckAllConstPropertyInitialized(checker::ETSChecker *checker, ir::ETSModule *pkg); 67 } // namespace ark::es2panda::checker 68 69 #endif // ES2PANDA_CHECKER_ETSANALYZERHELPERS_H 70