• Home
  • Raw
  • Download

Lines Matching +full:checker +full:-

2  * Copyright (c) 2021-2025 Huawei Device Co., Ltd.
7 * http://www.apache.org/licenses/LICENSE-2.0
19 #include "checker/checkerContext.h"
20 #include "checker/types/ets/etsObjectType.h"
28 namespace ark::es2panda::checker {
31 } // namespace ark::es2panda::checker
35 // NOLINTBEGIN(modernize-avoid-c-arrays)
37 // NOLINTEND(modernize-avoid-c-arrays)
59 friend class checker::ETSAnalyzer;
100 object_->SetParent(this);
106 property_->SetParent(this);
124 … return Property()->Variable() != nullptr ? Property()->Variable()->AsLocalVariable() : nullptr;
132 … return Property()->Variable() != nullptr ? Property()->Variable()->AsLocalVariable() : nullptr;
160 [[nodiscard]] checker::ETSObjectType *ObjType() const noexcept
165 [[nodiscard]] checker::ETSFunctionType *ExtensionAccessorType() const
170 void SetExtensionAccessorType(checker::ETSFunctionType *eAccessorType)
179 Property()->SetVariable(propVar);
182 void SetObjectType(checker::ETSObjectType *objType) noexcept
197 [[nodiscard]] checker::Type *UncheckedType() const noexcept
206 checker::Type *GetTypeOfTupleElement(checker::ETSChecker *checker, checker::Type *baseType);
216 checker::Type *Check(checker::TSChecker *checker) override;
217 checker::VerifiedType Check(checker::ETSChecker *checker) override;
223 v->Accept(this);
246 …std::pair<checker::Type *, varbinder::LocalVariable *> ResolveObjectMember(checker::ETSChecker *ch…
247 checker::Type *AdjustType(checker::ETSChecker *checker, checker::Type *type);
248checker::Type *SetAndAdjustType(checker::ETSChecker *checker, checker::ETSObjectType *objectType);
249 checker::Type *CheckComputed(checker::ETSChecker *checker, checker::Type *baseType);
250 checker::Type *CheckUnionMember(checker::ETSChecker *checker, checker::Type *baseType);
251checker::Type *TraverseUnionMember(checker::ETSChecker *checker, checker::ETSUnionType *unionType);
253 bool CheckArrayIndexValue(checker::ETSChecker *checker) const;
254 checker::Type *CheckIndexAccessMethod(checker::ETSChecker *checker);
255 checker::Type *ResolveReturnTypeFromSignature(checker::ETSChecker *checker, bool isSetter,
257 ArenaVector<checker::Signature *> &signatures,
267 checker::Type *uncheckedType_ {};
268 checker::ETSObjectType *objType_ {};
269 checker::ETSFunctionType *extensionAccessorType_ {};