Lines Matching refs:checker
19 #include "checker/types/ets/etsObjectType.h"
27 namespace ark::es2panda::checker {
30 } // namespace ark::es2panda::checker
57 friend class checker::ETSAnalyzer;
152 [[nodiscard]] checker::ETSObjectType *ObjType() const noexcept
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;
216 std::pair<checker::Type *, varbinder::LocalVariable *> ResolveEnumMember(checker::ETSChecker *checker,
217 checker::Type *type) const;
218 std::pair<checker::Type *, varbinder::LocalVariable *> ResolveObjectMember(checker::ETSChecker *checker) const;
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_ {};