| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | TSAnalyzer.cpp | 21 namespace ark::es2panda::checker { namespace
31 TSChecker *checker = GetTSChecker(); in Check() local
50 TSChecker *checker = GetTSChecker(); in Check() local
57 TSChecker *checker = GetTSChecker(); in Check() local
64 TSChecker *checker = GetTSChecker(); in Check() local
90 TSChecker *checker = GetTSChecker(); in Check() local
119 TSChecker *checker = GetTSChecker(); in Check() local
139 TSChecker *checker = GetTSChecker(); in Check() local
180 static void GetSpreadElementType(checker::TSChecker *checker, checker::Type *spreadType, in GetSpreadElementType() argument
246 TSChecker *checker = GetTSChecker(); in Check() local
[all …]
|
| D | ETSAnalyzer.cpp | 31 namespace ark::es2panda::checker { namespace
41 ETSChecker *checker = GetETSChecker(); in Check() local
80 ETSChecker *checker = GetETSChecker(); in Check() local
101 ETSChecker *checker = GetETSChecker(); in Check() local
142 ETSChecker *checker = GetETSChecker(); in Check() local
167 static void HandleNativeAndAsyncMethods(ETSChecker *checker, ir::MethodDefinition *node) in HandleNativeAndAsyncMethods()
193 static checker::Type *CheckMethodDefinitionHelper(ETSChecker *checker, ir::MethodDefinition *node) … in CheckMethodDefinitionHelper()
216 ETSChecker *checker = GetETSChecker(); in Check() local
276 ETSChecker *checker = GetETSChecker(); in CheckMethodModifiers() local
316 ETSChecker *checker = GetETSChecker(); in Check() local
[all …]
|
| D | ETSAnalyzerHelpers.cpp | 19 namespace ark::es2panda::checker { namespace
39 void CheckExtensionIsShadowedInCurrentClassOrInterface(checker::ETSChecker *checker, checker::ETSOb… in CheckExtensionIsShadowedInCurrentClassOrInterface() argument
81 void CheckExtensionIsShadowedByMethod(checker::ETSChecker *checker, checker::ETSObjectType *objType, in CheckExtensionIsShadowedByMethod() argument
97 static void ReplaceThisInExtensionMethod(checker::ETSChecker *checker, ir::ScriptFunction *extensio… in ReplaceThisInExtensionMethod() argument
132 void CheckExtensionMethod(checker::ETSChecker *checker, ir::ScriptFunction *extensionFunc, ir::AstN… in CheckExtensionMethod() argument
176 static void CheckMethodBodyForNativeAbstractDeclare(ETSChecker *checker, ir::MethodDefinition *node, in CheckMethodBodyForNativeAbstractDeclare()
184 static void CheckNativeConstructorBody(ETSChecker *checker, ir::MethodDefinition *node, ir::ScriptF… in CheckNativeConstructorBody()
191 void DoBodyTypeChecking(ETSChecker *checker, ir::MethodDefinition *node, ir::ScriptFunction *script… in DoBodyTypeChecking()
244 void ComposeAsyncImplFuncReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc) in ComposeAsyncImplFuncReturnType()
263 void CheckPredefinedMethodReturnType(ETSChecker *checker, ir::ScriptFunction *scriptFunc) in CheckPredefinedMethodReturnType()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/checker/typeChecker/ |
| D | TypeChecker.h | 38 explicit TypeChecker(Checker *checker) : checker_(checker) {} in TypeChecker()
52 explicit ETSTypeChecker(Checker *checker) : TypeChecker(checker) {} in ETSTypeChecker()
60 explicit JSTypeChecker(Checker *checker) : TypeChecker(checker) {} in JSTypeChecker()
65 explicit TSTypeChecker(Checker *checker) : TypeChecker(checker) {} in TSTypeChecker()
70 explicit ASTypeChecker(Checker *checker) : TypeChecker(checker) {} in ASTypeChecker()
|
| D | TypeChecker.cpp | 19 namespace ark::es2panda::checker { namespace
29 bool RunTypeChecker(Checker *checker, ScriptExtension ext, ir::AstNode *node) in RunTypeChecker()
|
| /arkcompiler/ets_frontend/ets2panda/lsp/src/ |
| D | isolated_declaration.cpp | 52 …Type *> FilterUnionTypes(const ArenaVector<UnionType *> &originTypes, checker::ETSChecker *checker) in FilterUnionTypes() argument
87 [[maybe_unused]] checker::ETSChecker *checker) in HandleSpecificObjectTypes() argument
101 …<std::string> GenObjectType(const checker::ETSObjectType *objectType, checker::ETSChecker *checker) in GenObjectType() argument
139 …ional<std::string> HandleObjectType(const checker::Type *checkerType, checker::ETSChecker *checker) in HandleObjectType() argument
157 …nal<std::string> GenUnionType(const checker::ETSUnionType *unionType, checker::ETSChecker *checker, in GenUnionType() argument
183 …tional<std::string> HandleArrayType(const checker::Type *checkerType, checker::ETSChecker *checker) in HandleArrayType() argument
201 …std::string> HandleETSSpecificTypes(const checker::Type *checkerType, checker::ETSChecker *checker) in HandleETSSpecificTypes() argument
244 …ional<std::string> GenReturnTypeStr(const checker::Type *checkerType, checker::ETSChecker *checker) in GenReturnTypeStr() argument
267 std::string GetReturnTypeStr(const checker::Type *checkerType, checker::ETSChecker *checker) in GetReturnTypeStr() argument
310 …nal<TextChange> ProcessMethodDefinition(ir::MethodDefinition *method, checker::ETSChecker *checker, in ProcessMethodDefinition() argument
[all …]
|
| /arkcompiler/ets_frontend/arkguard/test/ut/utils/ |
| D | KeepParameterUtils.spec.ts | 103 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
113 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
124 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
134 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
143 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
153 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
169 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
185 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
205 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
221 const checker: ts.TypeChecker = TypeUtils.createChecker(ast); constant
[all …]
|
| D | TypeUtils.spec.ts | 92 const checker = TypeUtils.createChecker(sourceFile); constant
114 const checker = TypeUtils.createChecker(sourceFile); constant
133 const checker = TypeUtils.createChecker(sourceFile); constant
156 const checker = TypeUtils.createChecker(sourceFile); constant
177 const checker = TypeUtils.createChecker(sourceFile); constant
|
| /arkcompiler/ets_frontend/ets2panda/ir/statements/ |
| D | forOfStatement.cpp | 24 checker::Type *ForOfStatement::CreateUnionIteratorTypes(checker::ETSChecker *checker, checker::Type… in CreateUnionIteratorTypes() argument
108 checker::Type *ForOfStatement::Check(checker::TSChecker *checker) in Check() argument
113 checker::VerifiedType ForOfStatement::Check(checker::ETSChecker *checker) in Check() argument
146 checker::Type *ForOfStatement::CheckIteratorMethodForObject(checker::ETSChecker *checker, in CheckIteratorMethodForObject() argument
207 bool ForOfStatement::CheckReturnTypeOfIteratorMethod(checker::ETSChecker *checker, checker::ETSObje… in CheckReturnTypeOfIteratorMethod() argument
231 bool ForOfStatement::CheckIteratorInterfaceForObject(checker::ETSChecker *checker, checker::ETSObje… in CheckIteratorInterfaceForObject() argument
247 checker::Type *ForOfStatement::CheckIteratorMethod(checker::ETSChecker *const checker) in CheckIteratorMethod() argument
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | unboxingConverter.cpp | 21 namespace ark::es2panda::checker { namespace
23 checker::Type *UnboxingConverter::Convert(checker::ETSChecker const *checker, ETSObjectType *type) in Convert() argument
|
| D | boxingConverter.cpp | 22 namespace ark::es2panda::checker { namespace
24 checker::ETSObjectType *BoxingConverter::Convert(ETSChecker const *checker, Type const *source) in Convert()
|
| /arkcompiler/ets_frontend/ets2panda/ir/ets/ |
| D | etsWildcardType.cpp | 77 checker::Type *ETSWildcardType::Check(checker::TSChecker *checker) in Check() argument
82 checker::Type *ETSWildcardType::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType() argument
87 checker::VerifiedType ETSWildcardType::Check(checker::ETSChecker *checker) in Check() argument
92 checker::Type *ETSWildcardType::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
|
| D | etsNullishTypes.cpp | 57 checker::Type *ETSUndefinedType::Check([[maybe_unused]] checker::TSChecker *checker) in Check() argument
62 checker::VerifiedType ETSUndefinedType::Check([[maybe_unused]] checker::ETSChecker *checker) in Check() argument
67 checker::Type *ETSUndefinedType::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
129 checker::Type *ETSNullType::Check([[maybe_unused]] checker::TSChecker *checker) in Check() argument
134 checker::VerifiedType ETSNullType::Check([[maybe_unused]] checker::ETSChecker *checker) in Check() argument
139 checker::Type *ETSNullType::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
|
| D | etsTypeReferencePart.cpp | 86 checker::Type *ETSTypeReferencePart::Check(checker::TSChecker *checker) in Check() argument
91 checker::VerifiedType ETSTypeReferencePart::Check(checker::ETSChecker *checker) in Check() argument
96 static checker::Type *HandleFixedArrayType(checker::ETSChecker *const checker, ETSTypeReferencePart… in HandleFixedArrayType() argument
106 static checker::Type *HandlePartialType(checker::ETSChecker *const checker, ETSTypeReferencePart *r… in HandlePartialType() argument
123 static checker::Type *CheckPredefinedBuiltinTypes(checker::ETSChecker *const checker, ETSTypeRefere… in CheckPredefinedBuiltinTypes() argument
175 checker::Type *ETSTypeReferencePart::HandleInternalTypes(checker::ETSChecker *const checker) in HandleInternalTypes() argument
213 checker::Type *ETSTypeReferencePart::GetType(checker::ETSChecker *checker) in GetType() argument
|
| /arkcompiler/ets_frontend/ets2panda/ir/ |
| D | brokenTypeNode.cpp | 52 checker::Type *BrokenTypeNode::Check([[maybe_unused]] checker::TSChecker *checker) in Check() argument
57 checker::Type *BrokenTypeNode::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType() argument
62 checker::Type *BrokenTypeNode::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
67 checker::VerifiedType BrokenTypeNode::Check([[maybe_unused]] checker::ETSChecker *checker) in Check() argument
|
| D | opaqueTypeNode.cpp | 66 checker::Type *OpaqueTypeNode::Check([[maybe_unused]] checker::TSChecker *checker) in Check() argument
71 checker::Type *OpaqueTypeNode::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType() argument
76 checker::Type *OpaqueTypeNode::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
81 checker::VerifiedType OpaqueTypeNode::Check([[maybe_unused]] checker::ETSChecker *checker) in Check() argument
|
| /arkcompiler/ets_frontend/ets2panda/ir/ts/ |
| D | tsFunctionType.cpp | 73 checker::Type *TSFunctionType::Check(checker::TSChecker *checker) in Check() argument
78 checker::Type *TSFunctionType::GetType(checker::TSChecker *checker) in GetType() argument
83 checker::VerifiedType TSFunctionType::Check([[maybe_unused]] checker::ETSChecker *checker) in Check() argument
88 checker::Type *TSFunctionType::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
|
| D | tsIntersectionType.cpp | 75 checker::Type *TSIntersectionType::Check([[maybe_unused]] checker::TSChecker *checker) in Check() argument
80 checker::Type *TSIntersectionType::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType() argument
85 checker::Type *TSIntersectionType::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
91 checker::VerifiedType TSIntersectionType::Check([[maybe_unused]] checker::ETSChecker *checker) in Check() argument
|
| D | tsThisType.cpp | 61 checker::Type *TSThisType::Check([[maybe_unused]] checker::TSChecker *checker) in Check() argument
66 checker::Type *TSThisType::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType() argument
71 checker::VerifiedType TSThisType::Check([[maybe_unused]] checker::ETSChecker *checker) in Check() argument
76 checker::Type *TSThisType::GetType([[maybe_unused]] checker::ETSChecker *checker) in GetType() argument
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| D | asyncMethodLowering.cpp | 29 static void CreateFuncDecl(checker::ETSChecker *checker, ir::MethodDefinition *func, varbinder::Loc… in CreateFuncDecl() argument
46 ir::ETSTypeReference *CreateAsyncImplMethodReturnTypeAnnotation(checker::ETSChecker *checker, in CreateAsyncImplMethodReturnTypeAnnotation() argument
73 ir::MethodDefinition *CreateAsyncImplMethod(checker::ETSChecker *checker, ir::MethodDefinition *asy… in CreateAsyncImplMethod() argument
127 ir::MethodDefinition *CreateAsyncProxy(checker::ETSChecker *checker, ir::MethodDefinition *asyncMet… in CreateAsyncProxy() argument
166 void ComposeAsyncImplMethod(checker::ETSChecker *checker, ir::MethodDefinition *node) in ComposeAsyncImplMethod() argument
191 void HandleMethod(checker::ETSChecker *checker, ir::MethodDefinition *node) in HandleMethod() argument
203 void UpdateClassDefintion(checker::ETSChecker *checker, ir::ClassDefinition *classDef) in UpdateClassDefintion() argument
216 checker::ETSChecker *const checker = ctx->checker->AsETSChecker(); in PerformForModule() local
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsFunctionType.cpp | 19 namespace ark::es2panda::checker { namespace
21 ETSFunctionType::ETSFunctionType([[maybe_unused]] ETSChecker *checker, util::StringView name, in ETSFunctionType()
42 ETSFunctionType::ETSFunctionType(ETSChecker *checker, Signature *signature) in ETSFunctionType()
72 static ETSObjectType *FunctionTypeToFunctionalInterfaceType(ETSChecker *checker, Signature *signatu… in FunctionTypeToFunctionalInterfaceType()
121 ETSObjectType *ETSFunctionType::ArrowToFunctionalInterface(ETSChecker *checker) in ArrowToFunctionalInterface()
130 ETSObjectType *ETSFunctionType::ArrowToFunctionalInterfaceDesiredArity(ETSChecker *checker, size_t … in ArrowToFunctionalInterfaceDesiredArity()
138 ETSFunctionType *ETSFunctionType::MethodToArrow(ETSChecker *checker) in MethodToArrow()
175 auto checker = relation->GetChecker()->AsETSChecker(); in EnhanceSignatureSubstitution() local
236 auto checker = relation->GetChecker()->AsETSChecker(); in CoerceToArrowType() local
295 auto checker = relation->GetChecker()->AsETSChecker(); in Instantiate() local
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/evaluate/ |
| D | helpers.cpp | 37 ir::TypeNode *PrimitiveToTypeNode(panda_file::Type::TypeId typeId, checker::ETSChecker *checker) in PrimitiveToTypeNode() argument
75 ir::TypeNode *ClassReferenceToTypeNode(std::string_view name, checker::ETSChecker *checker) in ClassReferenceToTypeNode() argument
81 ir::TypeNode *ReferenceToTypeNode(std::string_view typeSignature, checker::ETSChecker *checker) in ReferenceToTypeNode() argument
119 ir::TypeNode *ToTypeNode(std::string_view typeSignature, checker::ETSChecker *checker) in ToTypeNode() argument
134 checker::ETSChecker *checker) in PandaTypeToTypeNode() argument
146 panda_file::File::EntityId classId, checker::ETSChecker *checker) in PandaTypeToTypeNode() argument
276 SafeStateScope::SafeStateScope(checker::ETSChecker *checker, varbinder::ETSBinder *varBinder) in SafeStateScope() argument
318 ir::ETSTypeReference *CreateETSTypeReference(checker::ETSChecker *checker, util::StringView name) in CreateETSTypeReference() argument
341 ir::ClassProperty *CreateClassProperty(checker::ETSChecker *checker, std::string_view name, ir::Typ… in CreateClassProperty() argument
|
| /arkcompiler/ets_frontend/ets2panda/test/unit/ |
| D | union_normalization_test_1.cpp | 46 auto checker = Checker(); in TEST_F() local
72 auto checker = Checker(); in TEST_F() local
103 auto checker = Checker(); in TEST_F() local
129 auto checker = Checker(); in TEST_F() local
159 auto checker = Checker(); in TEST_F() local
|
| /arkcompiler/ets_frontend/ets2panda/test/unit/public/ |
| D | ast_verifier_getter_setter_test.cpp | 30 ETSChecker checker {de}; in TEST_F() local
55 ETSChecker checker {de}; in TEST_F() local
75 ETSChecker checker {de}; in TEST_F() local
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_util/include/ |
| D | ptr.h | 51 Ptr(Pointer ref, PtrCheckerType<T> checker) : pointer(ref) in Ptr()
61 Ptr(T &ref, PtrCheckerType<T> checker) : pointer(&ref) in Ptr()
81 Ptr(U &ref, PtrCheckerType<T> checker) : pointer(&ref) in Ptr()
100 Ptr(const Ptr<U, CheckU> &other, PtrCheckerType<T> checker) : pointer(other.get()) in Ptr()
112 Ptr(Ptr<U, CheckU> &&other, PtrCheckerType<T> checker) : pointer(other.get()) in Ptr()
|