Home
last modified time | relevance | path

Searched refs:checker (Results 1 - 25 of 987) sorted by relevance

12345678910>>...40

/arkcompiler/ets_frontend/ets2panda/checker/
H A DTSAnalyzer.cpp18 #include "checker/TSchecker.h"
19 #include "checker/ts/destructuringContext.h"
21 namespace ark::es2panda::checker { namespace in ark::es2panda
29 checker::Type *TSAnalyzer::Check(ir::CatchClause *st) const in Check()
31 TSChecker *checker = GetTSChecker(); in Check() local
35 checker::Type *catchParamType = typeAnnotation->Check(checker); in Check()
37 if (!catchParamType->HasTypeFlag(checker::TypeFlag::ANY_OR_UNKNOWN)) { in Check()
38 checker->ThrowTypeError("Catch clause variable type annotation must be 'any' or 'unknown' if specified", in Check()
43 st->Body()->Check(checker); in Check()
50 TSChecker *checker = GetTSChecker(); Check() local
57 TSChecker *checker = GetTSChecker(); Check() local
64 TSChecker *checker = GetTSChecker(); Check() local
89 TSChecker *checker = GetTSChecker(); Check() local
117 TSChecker *checker = GetTSChecker(); Check() local
137 TSChecker *checker = GetTSChecker(); Check() local
178 GetSpreadElementType(checker::TSChecker *checker, checker::Type *spreadType, ArenaVector<checker::Type *> &elementTypes, const lexer::SourcePosition &loc) GetSpreadElementType() argument
244 TSChecker *checker = GetTSChecker(); Check() local
308 TSChecker *checker = GetTSChecker(); Check() local
342 TSChecker *checker = GetTSChecker(); CheckAssignmentExprOperatorType() local
379 TSChecker *checker = GetTSChecker(); Check() local
421 TSChecker *checker = GetTSChecker(); Check() local
460 TSChecker *checker = GetTSChecker(); Check() local
516 TSChecker *checker = GetTSChecker(); Check() local
531 TSChecker *checker = GetTSChecker(); Check() local
537 TSChecker *checker = GetTSChecker(); Check() local
551 TSChecker *checker = GetTSChecker(); Check() local
582 TSChecker *checker = GetTSChecker(); Check() local
604 TSChecker *checker = GetTSChecker(); CheckComputed() local
643 TSChecker *checker = GetTSChecker(); Check() local
687 TSChecker *checker = GetTSChecker(); Check() local
727 GetTypeForProperty(ir::Property *prop, checker::TSChecker *checker) GetTypeForProperty() argument
750 TSChecker *checker = GetTSChecker(); CheckSpread() local
782 TSChecker *checker = GetTSChecker(); CheckNonComputed() local
816 TSChecker *checker = GetTSChecker(); CreateUnionTypeHelper() local
824 TSChecker *checker = GetTSChecker(); Check() local
886 TSChecker *checker = GetTSChecker(); Check() local
897 TSChecker *checker = GetTSChecker(); Check() local
904 TSChecker *checker = GetTSChecker(); Check() local
911 TSChecker *checker = GetTSChecker(); Check() local
918 TSChecker *checker = GetTSChecker(); Check() local
925 TSChecker *checker = GetTSChecker(); Check() local
932 TSChecker *checker = GetTSChecker(); Check() local
936 CheckDeleteKeyword([[maybe_unused]] checker::TSChecker *checker, ir::UnaryExpression *expr) const CheckDeleteKeyword() argument
954 CheckLiteral([[maybe_unused]] checker::TSChecker *checker, ir::UnaryExpression *expr) const CheckLiteral() argument
978 TSChecker *checker = GetTSChecker(); Check() local
1035 TSChecker *checker = GetTSChecker(); Check() local
1053 TSChecker *checker = GetTSChecker(); Check() local
1060 TSChecker *checker = GetTSChecker(); Check() local
1073 TSChecker *checker = GetTSChecker(); Check() local
1079 TSChecker *checker = GetTSChecker(); Check() local
1085 TSChecker *checker = GetTSChecker(); Check() local
1098 TSChecker *checker = GetTSChecker(); Check() local
1105 TSChecker *checker = GetTSChecker(); Check() local
1119 TSChecker *checker = GetTSChecker(); Check() local
1136 TSChecker *checker = GetTSChecker(); Check() local
1153 TSChecker *checker = GetTSChecker(); Check() local
1159 TSChecker *checker = GetTSChecker(); Check() local
1182 TSChecker *checker = GetTSChecker(); Check() local
1204 TSChecker *checker = GetTSChecker(); Check() local
1220 TSChecker *checker = GetTSChecker(); Check() local
1251 TSChecker *checker = GetTSChecker(); Check() local
1285 TSChecker *checker = GetTSChecker(); Check() local
1301 CheckSimpleVariableDeclaration(checker::TSChecker *checker, ir::VariableDeclarator *declarator) CheckSimpleVariableDeclaration() argument
1356 TSChecker *checker = GetTSChecker(); Check() local
1392 TSChecker *checker = GetTSChecker(); Check() local
1402 TSChecker *checker = GetTSChecker(); Check() local
1419 TSChecker *checker = GetTSChecker(); Check() local
1424 IsValidConstAssertionArgument(checker::Checker *checker, const ir::AstNode *arg) IsValidConstAssertionArgument() argument
1465 TSChecker *checker = GetTSChecker(); Check() local
1508 TSChecker *checker = GetTSChecker(); Check() local
1520 EvaluateIdentifier(checker::TSChecker *checker, varbinder::EnumVariable *enumVar, const ir::Identifier *expr) EvaluateIdentifier() argument
1621 EvaluateBinaryExpression(checker::TSChecker *checker, varbinder::EnumVariable *enumVar, const ir::BinaryExpression *expr) const EvaluateBinaryExpression() argument
1643 EvaluateUnaryExpression(checker::TSChecker *checker, varbinder::EnumVariable *enumVar, const ir::UnaryExpression *expr) const EvaluateUnaryExpression() argument
1670 EvaluateEnumMember(checker::TSChecker *checker, varbinder::EnumVariable *enumVar, const ir::AstNode *expr) const EvaluateEnumMember() argument
1713 AddEnumValueDeclaration(checker::TSChecker *checker, double number, varbinder::EnumVariable *variable) AddEnumValueDeclaration() argument
1757 TSChecker *checker = GetTSChecker(); InferEnumVariableType() local
1808 InferType(checker::TSChecker *checker, bool isConst, ir::TSEnumDeclaration *st) const InferType() argument
1835 TSChecker *checker = GetTSChecker(); Check() local
1851 TSChecker *checker = GetTSChecker(); Check() local
1865 TSChecker *checker = GetTSChecker(); Check() local
1890 TSChecker *checker = GetTSChecker(); Check() local
1898 CheckInheritedPropertiesAreIdentical(checker::TSChecker *checker, checker::InterfaceType *type, const lexer::SourcePosition &locInfo) CheckInheritedPropertiesAreIdentical() argument
1939 TSChecker *checker = GetTSChecker(); Check() local
1974 TSChecker *checker = GetTSChecker(); Check() local
1981 TSChecker *checker = GetTSChecker(); Check() local
2003 TSChecker *checker = GetTSChecker(); Check() local
2010 TSChecker *checker = GetTSChecker(); Check() local
2038 TSChecker *checker = GetTSChecker(); Check() local
2049 TSChecker *checker = GetTSChecker(); Check() local
2056 TSChecker *checker = GetTSChecker(); Check() local
2070 TSChecker *checker = GetTSChecker(); Check() local
2081 TSChecker *checker = GetTSChecker(); Check() local
2093 TSChecker *checker = GetTSChecker(); Check() local
[all...]
H A DETSAnalyzerHelpers.h19 #include "checker/types/type.h"
21 #include "checker/ETSchecker.h"
22 #include "checker/ets/castingContext.h"
23 #include "checker/ets/typeRelationContext.h"
28 namespace ark::es2panda::checker { namespace in ark::es2panda
29 void CheckExtensionIsShadowedInCurrentClassOrInterface(checker::ETSChecker *checker, checker::ETSObjectType *objType,
31 checker::Signature *signature);
32 void CheckExtensionIsShadowedByMethod(checker
[all...]
H A DETSAnalyzer.cpp20 #include "checker/ETSchecker.h"
21 #include "checker/ets/castingContext.h"
22 #include "checker/ets/typeRelationContext.h"
23 #include "checker/types/globalTypesHolder.h"
24 #include "checker/types/ets/etsTupleType.h"
25 #include "checker/types/ets/etsAsyncFuncReturnType.h"
30 namespace ark::es2panda::checker { namespace in ark::es2panda
38 checker::Type *ETSAnalyzer::Check(ir::CatchClause *st) const in Check()
40 ETSChecker *checker = GetETSChecker(); in Check() local
41 checker in Check()
61 ETSChecker *checker = GetETSChecker(); Check() local
77 ETSChecker *checker = GetETSChecker(); Check() local
98 ETSChecker *checker = GetETSChecker(); Check() local
122 HandleNativeAndAsyncMethods(ETSChecker *checker, ir::MethodDefinition *node) HandleNativeAndAsyncMethods() argument
153 ETSChecker *checker = GetETSChecker(); Check() local
212 ETSChecker *checker = GetETSChecker(); CheckMethodModifiers() local
264 ETSChecker *checker = GetETSChecker(); Check() local
273 ETSChecker *checker = GetETSChecker(); Check() local
280 ETSChecker *checker = GetETSChecker(); Check() local
310 ETSChecker *checker = GetETSChecker(); Check() local
338 ETSChecker *checker = GetETSChecker(); Check() local
368 ETSChecker *checker = GetETSChecker(); Check() local
401 ETSChecker *checker = GetETSChecker(); CheckInstantatedClass() local
436 ETSChecker *checker = GetETSChecker(); Check() local
488 ETSChecker *checker = GetETSChecker(); Check() local
508 ETSChecker *checker = GetETSChecker(); Check() local
530 ETSChecker *checker = GetETSChecker(); Check() local
536 ETSChecker *checker = GetETSChecker(); Check() local
543 ETSChecker *checker = GetETSChecker(); Check() local
549 ETSChecker *checker = GetETSChecker(); Check() local
565 ETSChecker *checker = GetETSChecker(); Check() local
576 CheckArrayElement(ETSChecker *checker, checker::Type *elementType, std::vector<checker::Type *> targetElementType, ir::Expression *currentElement, bool &isSecondaryChosen) CheckArrayElement() argument
615 CheckElement(ir::ArrayExpression *expr, ETSChecker *checker, std::vector<checker::Type *> targetElementType, bool isPreferredTuple) CheckElement() argument
677 ETSChecker *checker = GetETSChecker(); Check() local
727 ETSChecker *checker = GetETSChecker(); Check() local
794 IsInvalidArrayLengthAssignment(ir::AssignmentExpression *const expr, ETSChecker *checker) IsInvalidArrayLengthAssignment() argument
809 ETSChecker *checker = GetETSChecker(); GetSmartType() local
841 ETSChecker *checker = GetETSChecker(); Check() local
884 ETSChecker *checker = GetETSChecker(); CheckAssignmentExprOperatorType() local
932 ETSChecker *checker = GetETSChecker(); Check() local
953 ETSChecker *checker = GetETSChecker(); UnwrapPromiseType() local
986 ETSChecker *checker = GetETSChecker(); Check() local
999 ETSChecker *checker = GetETSChecker(); Check() local
1016 ResolveSignature(ETSChecker *checker, ir::CallExpression *expr, checker::Type *calleeType, bool isFunctionalInterface, bool isUnionTypeWithFunctionalInterface) const ResolveSignature() argument
1057 ETSChecker *checker = GetETSChecker(); GetReturnType() local
1118 CheckAbstractCall(ETSChecker *checker, ir::CallExpression *expr) CheckAbstractCall() argument
1131 CheckCallee(ETSChecker *checker, ir::CallExpression *expr) CheckCallee() argument
1145 ETSChecker *checker = GetETSChecker(); GetCallExpressionReturnType() local
1184 ETSChecker *checker = GetETSChecker(); Check() local
1227 HandleTestedTypes(SmartCastTypes testedTypes, ETSChecker *checker) HandleTestedTypes() argument
1242 ETSChecker *const checker = GetETSChecker(); Check() local
1301 ETSChecker *checker = GetETSChecker(); Check() local
1317 SearchReExportsType(ETSObjectType *baseType, ir::MemberExpression *expr, util::StringView &aliasName, ETSChecker *checker) SearchReExportsType() argument
1345 TypeErrorOnMissingProperty(ir::MemberExpression *expr, checker::Type *baseType, checker::ETSChecker *checker) TypeErrorOnMissingProperty() argument
1361 ETSChecker *checker = GetETSChecker(); Check() local
1421 ValidatePreferredType(ir::ObjectExpression *expr, ETSChecker *checker) ValidatePreferredType() argument
1440 ETSChecker *checker = GetETSChecker(); Check() local
1516 ETSChecker *checker = GetETSChecker(); CheckObjectExprProps() local
1575 ETSChecker *checker = GetETSChecker(); Check() local
1590 ETSChecker *checker = GetETSChecker(); Check() local
1601 ETSChecker *checker = GetETSChecker(); Check() local
1626 ETSChecker *checker = GetETSChecker(); Check() local
1664 GetTypeOfStringType(checker::Type *argType, ETSChecker *checker) GetTypeOfStringType() argument
1707 ComputeTypeOfType(ETSChecker *checker, checker::Type *argType) ComputeTypeOfType() argument
1725 ETSChecker *checker = GetETSChecker(); Check() local
1737 ETSChecker *checker = GetETSChecker(); Check() local
1797 ETSChecker *checker = GetETSChecker(); Check() local
1847 ETSChecker *checker = GetETSChecker(); Check() local
1854 ETSChecker *checker = GetETSChecker(); Check() local
1863 ETSChecker *checker = GetETSChecker(); Check() local
1872 ETSChecker *checker = GetETSChecker(); Check() local
1881 ETSChecker *checker = GetETSChecker(); Check() local
1893 ETSChecker *checker = GetETSChecker(); Check() local
1915 ETSChecker *checker = GetETSChecker(); Check() local
1924 ETSChecker *checker = GetETSChecker(); Check() local
1937 ETSChecker *checker = GetETSChecker(); Check() local
1960 ETSChecker *checker = GetETSChecker(); Check() local
1979 ETSChecker *checker = GetETSChecker(); Check() local
2022 ETSChecker *checker = GetETSChecker(); Check() local
2035 ETSChecker *checker = GetETSChecker(); Check() local
2042 ETSChecker *checker = GetETSChecker(); Check() local
2055 ETSChecker *checker = GetETSChecker(); Check() local
2075 ETSChecker *checker = GetETSChecker(); Check() local
2079 ValidateAndProcessIteratorType(ETSChecker *checker, Type *elemType, ir::ForOfStatement *const st) ValidateAndProcessIteratorType() argument
2119 ETSChecker *checker = GetETSChecker(); Check() local
2164 ETSChecker *checker = GetETSChecker(); Check() local
2190 ETSChecker *const checker = GetETSChecker(); Check() local
2243 ETSChecker *checker = GetETSChecker(); Check() local
2296 ETSChecker *checker = GetETSChecker(); GetFunctionReturnType() local
2326 ETSChecker *checker = GetETSChecker(); Check() local
2353 ETSChecker *checker = GetETSChecker(); Check() local
2401 ETSChecker *checker = GetETSChecker(); Check() local
2415 ETSChecker *checker = GetETSChecker(); Check() local
2463 ETSChecker *checker = GetETSChecker(); Check() local
2498 ETSChecker *checker = GetETSChecker(); Check() local
2508 ETSChecker *checker = GetETSChecker(); Check() local
2523 ETSChecker *checker = GetETSChecker(); Check() local
2534 ETSChecker *checker = GetETSChecker(); Check() local
2603 ETSChecker *checker = GetETSChecker(); Check() local
2631 ETSChecker *checker = GetETSChecker(); Check() local
2658 ETSChecker *checker = GetETSChecker(); Check() local
2677 ETSChecker *checker = GetETSChecker(); Check() local
2718 ETSChecker *checker = GetETSChecker(); Check() local
[all...]
H A DETSAnalyzerHelpers.cpp17 #include "checker/types/ets/etsAsyncFuncReturnType.h"
19 namespace ark::es2panda::checker { namespace in ark::es2panda
20 void CheckExtensionIsShadowedInCurrentClassOrInterface(checker::ETSChecker *checker, checker::ETSObjectType *objType, in CheckExtensionIsShadowedInCurrentClassOrInterface() argument
21 ir::ScriptFunction *extensionFunc, checker::Signature *signature) in CheckExtensionIsShadowedInCurrentClassOrInterface()
25 auto *const variable = objType->GetOwnProperty<checker::PropertyType::INSTANCE_METHOD>(methodName); in CheckExtensionIsShadowedInCurrentClassOrInterface()
33 if (!checker->Relation()->IsCompatibleTo(signature, funcSignature)) { in CheckExtensionIsShadowedInCurrentClassOrInterface()
37 checker->ReportWarning({"extension is shadowed by a instance member function '", funcType->Name(), in CheckExtensionIsShadowedInCurrentClassOrInterface()
44 void CheckExtensionIsShadowedByMethod(checker argument
60 ReplaceThisInExtensionMethod(checker::ETSChecker *checker, ir::ScriptFunction *extensionFunc) ReplaceThisInExtensionMethod() argument
80 CheckExtensionMethod(checker::ETSChecker *checker, ir::ScriptFunction *extensionFunc, ir::MethodDefinition *node) CheckExtensionMethod() argument
106 DoBodyTypeChecking(ETSChecker *checker, ir::MethodDefinition *node, ir::ScriptFunction *scriptFunc) DoBodyTypeChecking() argument
148 ComposeAsyncImplFuncReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc) ComposeAsyncImplFuncReturnType() argument
172 ComposeAsyncImplMethod(ETSChecker *checker, ir::MethodDefinition *node) ComposeAsyncImplMethod() argument
196 CheckPredefinedMethodReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc) CheckPredefinedMethodReturnType() argument
242 CheckIteratorMethodReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc, const lexer::SourcePosition &position, const std::string &methodName) CheckIteratorMethodReturnType() argument
271 InitAnonymousLambdaCallee(checker::ETSChecker *checker, ir::Expression *callee, checker::Type *calleeType) InitAnonymousLambdaCallee() argument
300 ResolveCallExtensionFunction(checker::ETSFunctionType *functionType, checker::ETSChecker *checker, ir::CallExpression *expr) ResolveCallExtensionFunction() argument
325 ResolveCallForETSExtensionFuncHelperType(checker::ETSExtensionFuncHelperType *type, checker::ETSChecker *checker, ir::CallExpression *expr) ResolveCallForETSExtensionFuncHelperType() argument
344 GetUnionTypeSignatures(ETSChecker *checker, checker::ETSUnionType *etsUnionType) GetUnionTypeSignatures() argument
373 ChooseSignatures(ETSChecker *checker, checker::Type *calleeType, bool isConstructorCall, bool isFunctionalInterface, bool isUnionTypeWithFunctionalInterface) ChooseSignatures() argument
396 ChooseCalleeObj(ETSChecker *checker, ir::CallExpression *expr, checker::Type *calleeType, bool isConstructorCall) ChooseCalleeObj() argument
409 ProcessExclamationMark(ETSChecker *checker, ir::UnaryExpression *expr, checker::Type *operandType) ProcessExclamationMark() argument
436 SetTsTypeForUnaryExpression(ETSChecker *checker, ir::UnaryExpression *expr, checker::Type *operandType) SetTsTypeForUnaryExpression() argument
488 CreateSyntheticType(ETSChecker *checker, util::StringView const &syntheticName, checker::ETSObjectType *lastObjectType, ir::Identifier *id) CreateSyntheticType() argument
510 GetIteratorType(ETSChecker *checker, checker::Type *elemType, ir::AstNode *left) GetIteratorType() argument
551 CheckArgumentVoidType(checker::Type *&funcReturnType, ETSChecker *checker, const std::string &name, ir::ReturnStatement *st) CheckArgumentVoidType() argument
562 CheckReturnType(ETSChecker *checker, checker::Type *funcReturnType, checker::Type *argumentType, ir::Expression *stArgument, bool isAsync) CheckReturnType() argument
605 InferReturnType(ETSChecker *checker, ir::ScriptFunction *containingFunc, checker::Type *&funcReturnType, ir::Expression *stArgument) InferReturnType() argument
650 ProcessReturnStatements(ETSChecker *checker, ir::ScriptFunction *containingFunc, checker::Type *&funcReturnType, ir::ReturnStatement *st, ir::Expression *stArgument) ProcessReturnStatements() argument
697 CreateOptionalSignaturesForFunctionalType(ETSChecker *checker, ir::ETSFunctionType *node, ETSObjectType *genericInterfaceType, Substitution *substitution, size_t optionalParameterIndex) CreateOptionalSignaturesForFunctionalType() argument
727 CreateInterfaceTypeForETSFunctionType(ETSChecker *checker, ir::ETSFunctionType *node, ETSObjectType *genericInterfaceType, Substitution *substitution) CreateInterfaceTypeForETSFunctionType() argument
746 CreateParamTypeWithDefaultParam(ETSChecker *checker, ir::Expression *param) CreateParamTypeWithDefaultParam() argument
764 InstantiateBoxedPrimitiveType(ETSChecker *checker, ir::Expression *param, Type *paramType) InstantiateBoxedPrimitiveType() argument
[all...]
H A DETSAnalyzer.h19 #include "checker/SemanticAnalyzer.h"
20 #include "checker/ETSchecker.h"
23 namespace ark::es2panda::checker { namespace in ark::es2panda
27 explicit ETSAnalyzer(Checker *checker) : SemanticAnalyzer(checker) {}; in ETSAnalyzer() argument
30 #define DECLARE_ETSANALYZER_CHECK_METHOD(_, nodeType) checker::Type *Check(ir::nodeType *node) const override;
36 virtual checker::Type *Check(ir::nodeType *node) const override;
39 checker::Type *PreferredType(ir::ObjectExpression *expr) const;
40 checker::Type *GetPreferredType(ir::ArrayExpression *expr) const;
41 void CheckObjectExprProps(const ir::ObjectExpression *expr, checker
61 GetCalleeType(ETSChecker *checker, ir::ETSNewClassInstanceExpression *expr) const GetCalleeType() argument
78 CheckVoidTypeExpression(ETSChecker *checker, const ir::Expression *expr) const CheckVoidTypeExpression() argument
[all...]
H A DTSAnalyzer.h18 #include "checker/SemanticAnalyzer.h"
19 #include "checker/TSchecker.h"
22 namespace ark::es2panda::checker { namespace in ark::es2panda
26 explicit TSAnalyzer(Checker *checker) : SemanticAnalyzer(checker) {}; in TSAnalyzer() argument
29 #define DECLARE_TSANALYZER_CHECK_METHOD(_, nodeType) checker::Type *Check(ir::nodeType *node) const override;
35 virtual checker::Type *Check(ir::nodeType *node) const override;
39 checker::Type *CheckDeleteKeyword([[maybe_unused]] checker::TSChecker *checker, i
[all...]
H A DETSAnalyzerUnreachable.cpp18 namespace ark::es2panda::checker { namespace in ark::es2panda
21 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::NamedType *node) const in Check()
26 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::PrefixAssertionExpression *expr) const in Check()
31 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::Decorator *st) const in Check()
36 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::MetaProperty *expr) const in Check()
41 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::ScriptFunction *node) const in Check()
46 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TSIndexSignature *node) const in Check()
51 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TSMethodSignature *node) const in Check()
56 checker::Type *ETSAnalyzer::Check([[maybe_unused]] ir::TSPropertySignature *node) const in Check()
61 checker
[all...]
H A DTSAnalyzerUnreachable.cpp18 namespace ark::es2panda::checker { namespace in ark::es2panda
21 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::NamedType *node) const in Check()
26 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::PrefixAssertionExpression *expr) const in Check()
31 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassProperty *st) const in Check()
36 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ClassStaticBlock *st) const in Check()
41 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::Decorator *st) const in Check()
46 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::MethodDefinition *node) const in Check()
51 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::Property *expr) const in Check()
56 checker::Type *TSAnalyzer::Check([[maybe_unused]] ir::ScriptFunction *node) const in Check()
61 checker
[all...]
/arkcompiler/ets_frontend/ets2panda/ir/ts/
H A DtsTupleType.cpp22 #include "checker/TSchecker.h"
23 #include "checker/types/ts/indexInfo.h"
67 checker::Type *GetNumberIndexType(ArenaVector<checker::Type *> numberIndexTypes, checker::TSChecker *checker) in GetNumberIndexType() argument
69 checker::Type *numberIndexType = nullptr; in GetNumberIndexType()
71 numberIndexType = checker->GlobalNeverType(); in GetNumberIndexType()
75 numberIndexType = checker->CreateUnionType(std::move(numberIndexTypes)); in GetNumberIndexType()
80 checker argument
142 Check(checker::TSChecker *checker) Check() argument
147 Check([[maybe_unused]] checker::ETSChecker *checker) Check() argument
[all...]
/arkcompiler/ets_frontend/ets2panda/ir/expressions/
H A DmemberExpression.cpp18 #include "checker/TSchecker.h"
19 #include "checker/ets/castingContext.h"
20 #include "checker/types/ets/etsTupleType.h"
148 checker::Type *MemberExpression::Check(checker::TSChecker *checker) in Check() argument
150 return checker->GetAnalyzer()->Check(this); in Check()
153 std::pair<checker::Type *, varbinder::LocalVariable *> MemberExpression::ResolveEnumMember(checker::ETSChecker *checker, in ResolveEnumMember() argument
208 TraverseUnionMember(checker::ETSChecker *checker, checker::ETSUnionType *unionType, checker::Type *commonPropType) TraverseUnionMember() argument
233 CheckUnionMember(checker::ETSChecker *checker, checker::Type *baseType) CheckUnionMember() argument
241 AdjustType(checker::ETSChecker *checker, checker::Type *type) AdjustType() argument
253 SetAndAdjustType(checker::ETSChecker *checker, checker::ETSObjectType *objectType) SetAndAdjustType() argument
298 CheckIndexAccessMethod(checker::ETSChecker *checker) CheckIndexAccessMethod() argument
355 CheckTupleAccessMethod(checker::ETSChecker *checker, checker::Type *baseType) CheckTupleAccessMethod() argument
378 CheckComputed(checker::ETSChecker *checker, checker::Type *baseType) CheckComputed() argument
427 Check(checker::ETSChecker *checker) Check() argument
[all...]
H A DmemberExpression.h19 #include "checker/types/ets/etsObjectType.h"
27 namespace ark::es2panda::checker { namespace in ark::es2panda::ark::es2panda
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) overrid
[all...]
H A DarrayExpression.cpp18 #include "checker/ETSchecker.h"
19 #include "checker/TSchecker.h"
20 #include "checker/types/ets/etsTupleType.h"
21 #include "checker/ets/typeRelationContext.h"
22 #include "checker/ts/destructuringContext.h"
238 checker::Type *ArrayExpression::Check(checker::TSChecker *checker) in Check() argument
240 return checker->GetAnalyzer()->Check(this); in Check()
243 checker argument
277 CheckElementPattern(Expression *it, checker::Type *elementType, checker::TSChecker *checker, bool &addOptional, checker::ElementFlags &memberFlag) CheckElementPattern() argument
323 CheckPattern(checker::TSChecker *checker) CheckPattern() argument
362 HandleNestedArrayExpression(checker::ETSChecker *const checker, ArrayExpression *const currentElement, const bool isPreferredTuple, const std::size_t idx) HandleNestedArrayExpression() argument
397 Check(checker::ETSChecker *checker) Check() argument
402 GetPrefferedTypeFromFuncParam(checker::ETSChecker *checker, Expression *param, checker::TypeRelationFlag flags) GetPrefferedTypeFromFuncParam() argument
[all...]
/arkcompiler/ets_frontend/es2panda/ir/ts/
H A DtsIndexedAccessType.cpp18 #include <typescript/checker.h>
37 checker::Type *TSIndexedAccessType::Check(checker::Checker *checker) const in Check()
39 objectType_->Check(checker); in Check()
40 indexType_->Check(checker); in Check()
41 checker::Type *resolved = GetType(checker); in Check()
47 checker::Type *indexType = checker in Check()
[all...]
H A DtsTupleType.cpp20 #include <typescript/checker.h>
43 checker::Type *TSTupleType::GetType(checker::Checker *checker) const in GetType()
45 auto found = checker->NodeCache().find(this); in GetType()
46 if (found != checker->NodeCache().end()) { in GetType()
50 checker::ObjectDescriptor *desc = checker->Allocator()->New<checker::ObjectDescriptor>(checker in GetType()
[all...]
H A DtsTypeLiteral.cpp23 #include <typescript/checker.h>
42 checker::Type *TSTypeLiteral::Check(checker::Checker *checker) const in Check()
45 it->Check(checker); in Check()
48 checker::Type *type = GetType(checker); in Check()
49 checker->CheckIndexConstraints(type); in Check()
54 checker::Type *TSTypeLiteral::GetType(checker
[all...]
H A DtsAsExpression.cpp19 #include <typescript/checker.h>
44 static bool IsValidConstAssertionArgument(checker::Checker *checker, const ir::AstNode *arg) in IsValidConstAssertionArgument() argument
68 binder::ScopeFindResult result = checker->Scope()->Find(memberExpr->Object()->AsIdentifier()->Name()); in IsValidConstAssertionArgument()
69 constexpr auto enumLiteralType = checker::EnumLiteralType::EnumLiteralTypeKind::LITERAL; in IsValidConstAssertionArgument()
70 if (result.variable && result.variable->TsType()->HasTypeFlag(checker::TypeFlag::ENUM_LITERAL) && in IsValidConstAssertionArgument()
82 checker::Type *TSAsExpression::Check(checker::Checker *checker) const in Check()
85 auto context = checker in Check()
[all...]
H A DtsIndexSignature.cpp18 #include <typescript/checker.h>
48 checker::Type *TSIndexSignature::Check(checker::Checker *checker) const in Check()
50 auto found = checker->NodeCache().find(this); in Check()
51 if (found != checker->NodeCache().end()) { in Check()
56 typeAnnotation_->Check(checker); in Check()
57 checker::Type *indexType = typeAnnotation_->AsTypeNode()->GetType(checker); in Check()
58 checker in Check()
[all...]
/arkcompiler/ets_frontend/ets2panda/ir/statements/
H A DforOfStatement.cpp18 #include "checker/TSchecker.h"
26 checker::Type *ForOfStatement::CreateUnionIteratorTypes(checker::ETSChecker *checker, checker::Type *exprType) in CreateUnionIteratorTypes() argument
28 ArenaVector<checker::Type *> types(checker->Allocator()->Adapter()); in CreateUnionIteratorTypes()
32 types.push_back(checker->GetGlobalTypesHolder()->GlobalCharType()); in CreateUnionIteratorTypes()
34 types.push_back(this->CheckIteratorMethodForObject(checker, it->AsETSObjectType())); in CreateUnionIteratorTypes()
36 types.push_back(it->AsETSArrayType()->ElementType()->Instantiate(checker in CreateUnionIteratorTypes()
110 Check(checker::TSChecker *checker) Check() argument
115 Check(checker::ETSChecker *checker) Check() argument
150 CheckIteratorMethodForObject(checker::ETSChecker *checker, checker::ETSObjectType *sourceType) CheckIteratorMethodForObject() argument
213 CheckReturnTypeOfIteratorMethod(checker::ETSChecker *checker, checker::ETSObjectType *sourceType, checker::Signature *signature, const lexer::SourcePosition &position) CheckReturnTypeOfIteratorMethod() argument
237 CheckIteratorInterfaceForObject(checker::ETSChecker *checker, checker::ETSObjectType *obj) CheckIteratorInterfaceForObject() argument
249 CheckIteratorMethod(checker::ETSChecker *const checker) CheckIteratorMethod() argument
[all...]
H A DforOfStatement.h19 #include <checker/types/signature.h>
26 namespace ark::es2panda::checker { namespace in ark::es2panda::ark::es2panda
29 } // namespace ark::es2panda::checker
41 friend class checker::ETSAnalyzer;
99 checker::Type *Check(checker::TSChecker *checker) override;
100 checker::Type *Check(checker::ETSChecker *checker) overrid
[all...]
/arkcompiler/runtime_core/static_core/tests/checked/
H A Dchecker_tests.rb15 require_relative 'checker'
47 checker = $CheckerForTest.new(OpenStruct.new({arch: 'x64'}), "")
50 checker.ASM_METHOD(/main/)
51 checker.ASM(x64: '---')
52 checker.ASM(x64: '000')
53 checker.ASM(x64: '333')
54 checker.ASM(x64: '666')
55 checker.ASM_NOT(x64: '777')
56 checker.ASM_INST('IR inst 1')
57 checker
[all...]
/arkcompiler/runtime_core/tests/checked/
H A Dchecker_tests.rb15 require_relative 'checker'
47 checker = $CheckerForTest.new(OpenStruct.new({arch: 'x64'}), "")
50 checker.ASM_METHOD(/main/)
51 checker.ASM(x64: '---')
52 checker.ASM(x64: '000')
53 checker.ASM(x64: '333')
54 checker.ASM(x64: '666')
55 checker.ASM_NOT(x64: '777')
56 checker.ASM_INST('IR inst 1')
57 checker
[all...]
/arkcompiler/ets_frontend/es2panda/ir/expressions/
H A DarrayExpression.cpp19 #include <typescript/checker.h>
147 void GetSpreadElementType(checker::Checker *checker, checker::Type *spreadType, in GetSpreadElementType() argument
148 ArenaVector<checker::Type *> &elementTypes, const lexer::SourcePosition &loc) in GetSpreadElementType()
150 bool inConstContext = checker->HasStatus(checker::CheckerStatus::IN_CONST_CONTEXT); in GetSpreadElementType()
153 ArenaVector<checker::Type *> tupleElementTypes(checker->Allocator()->Adapter()); in GetSpreadElementType()
154 checker in GetSpreadElementType()
[all...]
/arkcompiler/ets_frontend/ets2panda/test/unit/
H A Dunion_normalization_test.cpp19 #include "checker/ETSAnalyzer.h"
20 #include "checker/ETSchecker.h"
35 #include "checker/types/globalTypesHolder.h"
68 checker::ETSChecker *Checker() in Checker()
78 InitializeChecker<parser::ETSParser, varbinder::ETSBinder, checker::ETSChecker, checker::ETSAnalyzer, in InitializeChecker()
100 checker::ETSChecker *checker, parser::Program *program) in InitializeChecker()
120 auto analyzer = Analyzer(checker); in InitializeChecker()
121 checker in InitializeChecker()
99 InitializeChecker(const char **argv, std::string_view fileName, std::string_view src, checker::ETSChecker *checker, parser::Program *program) InitializeChecker() argument
161 FindTypeAlias(checker::ETSChecker *checker, std::string_view aliasName) FindTypeAlias() argument
194 auto checker = Checker(); TEST_F() local
220 auto checker = Checker(); TEST_F() local
251 auto checker = Checker(); TEST_F() local
277 auto checker = Checker(); TEST_F() local
307 auto checker = Checker(); TEST_F() local
349 auto checker = Checker(); TEST_F() local
427 auto checker = Checker(); TEST_F() local
464 auto checker = Checker(); TEST_F() local
523 auto checker = Checker(); TEST_F() local
585 auto checker = Checker(); TEST_F() local
[all...]
/arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/
H A DunionLowering.cpp19 #include "checker/ETSchecker.h"
20 #include "checker/ets/conversion.h"
21 #include "checker/ets/boxingConverter.h"
22 #include "checker/ets/unboxingConverter.h"
43 static ir::ClassDefinition *GetUnionFieldClass(checker::ETSChecker *checker, varbinder::VarBinder *varbinder) in GetUnionFieldClass() argument
46 util::UString unionFieldClassName(util::StringView(panda_file::GetDummyClassName()), checker->Allocator()); in GetUnionFieldClass()
48 if ((foundVar = checker->Scope()->FindLocal(unionFieldClassName.View(), in GetUnionFieldClass()
52 auto *ident = checker->AllocNode<ir::Identifier>(unionFieldClassName.View(), checker in GetUnionFieldClass()
71 CreateUnionFieldClassProperty(checker::ETSChecker *checker, varbinder::VarBinder *varbinder, checker::Type *fieldType, const util::StringView &propName) CreateUnionFieldClassProperty() argument
108 HandleUnionPropertyAccess(checker::ETSChecker *checker, varbinder::VarBinder *vbind, ir::MemberExpression *expr) HandleUnionPropertyAccess() argument
122 GenAsExpression(checker::ETSChecker *checker, checker::Type *const opaqueType, ir::Expression *const node, ir::AstNode *const parent) GenAsExpression() argument
138 UnionCastToPrimitive(checker::ETSChecker *checker, checker::ETSObjectType *unboxableRef, checker::Type *unboxedPrim, ir::Expression *unionNode) UnionCastToPrimitive() argument
145 HandleUnionCastToPrimitive(checker::ETSChecker *checker, ir::TSAsExpression *expr) HandleUnionCastToPrimitive() argument
181 checker::ETSChecker *checker = ctx->checker->AsETSChecker(); Perform() local
[all...]
/arkcompiler/ets_frontend/ets2panda/ir/ets/
H A DetsPrimitiveType.cpp18 #include "checker/TSchecker.h"
19 #include "checker/ETSchecker.h"
84 checker::Type *ETSPrimitiveType::Check(checker::TSChecker *checker) in Check() argument
86 return checker->GetAnalyzer()->Check(this); in Check()
89 checker::Type *ETSPrimitiveType::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType() argument
91 return checker in GetType()
94 Check(checker::ETSChecker *checker) Check() argument
99 GetType([[maybe_unused]] checker::ETSChecker *checker) GetType() argument
[all...]

Completed in 13 milliseconds

12345678910>>...40