Lines Matching full:checker
19 #include "checker/checkerContext.h"
20 #include "checker/types/ets/etsObjectType.h"
28 namespace ark::es2panda::checker {
31 } // namespace ark::es2panda::checker
59 friend class checker::ETSAnalyzer;
160 [[nodiscard]] checker::ETSObjectType *ObjType() const noexcept
165 [[nodiscard]] checker::ETSFunctionType *ExtensionAccessorType() const
170 void SetExtensionAccessorType(checker::ETSFunctionType *eAccessorType)
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;
246 …std::pair<checker::Type *, varbinder::LocalVariable *> ResolveObjectMember(checker::ETSChecker *ch…
247 checker::Type *AdjustType(checker::ETSChecker *checker, checker::Type *type);
248 … checker::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);
251 …checker::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_ {};