Lines Matching +full:checker +full:-
2 * Copyright (c) 2021-2024 Huawei Device Co., Ltd.
7 * http://www.apache.org/licenses/LICENSE-2.0
19 #include "checker/types/ets/etsObjectType.h"
27 namespace ark::es2panda::checker {
30 } // namespace ark::es2panda::checker
34 // NOLINTBEGIN(modernize-avoid-c-arrays)
36 // NOLINTEND(modernize-avoid-c-arrays)
57 friend class checker::ETSAnalyzer;
98 object_->SetParent(this);
116 … return Property()->Variable() != nullptr ? Property()->Variable()->AsLocalVariable() : nullptr;
124 … return Property()->Variable() != nullptr ? Property()->Variable()->AsLocalVariable() : nullptr;
152 [[nodiscard]] checker::ETSObjectType *ObjType() const noexcept
160 Property()->SetVariable(propVar);
163 void SetObjectType(checker::ETSObjectType *objType) noexcept
178 [[nodiscard]] checker::Type *UncheckedType() const noexcept
196 checker::Type *Check(checker::TSChecker *checker) override;
197 checker::Type *Check(checker::ETSChecker *checker) override;
201 v->Accept(this);
216 …std::pair<checker::Type *, varbinder::LocalVariable *> ResolveEnumMember(checker::ETSChecker *chec…
217 … checker::ETSEnumType *type) const;
218 …std::pair<checker::Type *, varbinder::LocalVariable *> ResolveObjectMember(checker::ETSChecker *ch…
220 checker::Type *AdjustType(checker::ETSChecker *checker, checker::Type *type);
221 … checker::Type *SetAndAdjustType(checker::ETSChecker *checker, checker::ETSObjectType *objectType);
222 checker::Type *CheckComputed(checker::ETSChecker *checker, checker::Type *baseType);
223 checker::Type *CheckUnionMember(checker::ETSChecker *checker, checker::Type *baseType);
224 … checker::Type *TraverseUnionMember(checker::ETSChecker *checker, checker::ETSUnionType *unionType,
225 checker::Type *commonPropType);
227 bool CheckArrayIndexValue(checker::ETSChecker *checker) const;
228 checker::Type *CheckIndexAccessMethod(checker::ETSChecker *checker);
229 checker::Type *CheckTupleAccessMethod(checker::ETSChecker *checker, checker::Type *baseType);
238 checker::Type *uncheckedType_ {};
239 checker::ETSObjectType *objType_ {};