| /arkcompiler/ets_frontend/ets2panda/ast_verifier/ |
| D | helpers.cpp | 29 bool IsImportLike(const ir::AstNode *ast) in IsImportLike()
35 bool IsExportLike(const ir::AstNode *ast) in IsExportLike()
41 bool IsBooleanType(const ir::AstNode *ast) in IsBooleanType()
66 bool IsValidTypeForBinaryOp(const ir::AstNode *ast, bool isBitwise) in IsValidTypeForBinaryOp()
107 bool IsStringType(const ir::AstNode *ast) in IsStringType()
131 bool IsVisibleInternalNode(const ir::AstNode *ast, const ir::AstNode *objTypeDeclNode) in IsVisibleInternalNode()
156 const checker::Type *GetClassDefinitionType(const ir::AstNode *ast) in GetClassDefinitionType()
169 const checker::Type *GetTSInterfaceDeclarationType(const ir::AstNode *ast) in GetTSInterfaceDeclarationType()
182 bool ValidateMethodAccessForClass(const ir::AstNode *ast, const ir::AstNode *ownerSignDeclNode, in ValidateMethodAccessForClass()
207 bool ValidateMethodAccessForTSInterface(const ir::AstNode *ast, const ir::AstNode *ownerSignDeclNod… in ValidateMethodAccessForTSInterface()
[all …]
|
| D | forLoopCorrectlyInitialized.cpp | 23 …rd]] CheckResult ForLoopCorrectlyInitialized::operator()(CheckContext &ctx, const ir::AstNode *ast) in operator ()()
39 …Result ForLoopCorrectlyInitialized::HandleForInStatement(CheckContext &ctx, const ir::AstNode *ast) in HandleForInStatement()
55 …Result ForLoopCorrectlyInitialized::HandleForOfStatement(CheckContext &ctx, const ir::AstNode *ast) in HandleForOfStatement()
72 … const ir::AstNode *ast) in HandleForUpdateStatement()
|
| D | modifierAccessValid.cpp | 24 [[nodiscard]] CheckResult ModifierAccessValid::operator()(CheckContext &ctx, const ir::AstNode *ast) in operator ()()
35 CheckResult ModifierAccessValid::HandleMethodExpression(CheckContext &ctx, const ir::AstNode *ast) in HandleMethodExpression()
49 CheckResult ModifierAccessValid::HandleCallExpression(CheckContext &ctx, const ir::AstNode *ast) in HandleCallExpression()
|
| D | variableHasScope.cpp | 25 CheckResult VariableHasScope::operator()(CheckContext &ctx, const ir::AstNode *ast) in operator ()()
54 … const ir::AstNode *ast) in GetLocalScopeVariable()
125 bool VariableHasScope::CheckAstExceptions(const ir::AstNode *ast) in CheckAstExceptions()
|
| D | nodeHasType.cpp | 26 CheckResult NodeHasType::operator()(CheckContext &ctx, const ir::AstNode *ast) in operator ()()
64 CheckResult NodeHasType::CheckCompound(CheckContext &ctx, const ir::AstNode *ast) in CheckCompound()
|
| D | variableHasEnclosingScope.cpp | 26 …card]] CheckResult VariableHasEnclosingScope::operator()(CheckContext &ctx, const ir::AstNode *ast) in operator ()()
66 bool VariableHasEnclosingScope::CheckCatchClause(const ir::AstNode *ast, const ir::AstNode *node) c… in CheckCatchClause() argument
|
| D | ASTVerifier.cpp | 57 Messages ASTVerifier::VerifyFull(const ir::AstNode *ast) in VerifyFull()
66 Messages ASTVerifier::Verify(const ir::AstNode *ast, const InvariantNameSet &invariantSet) in Verify()
|
| D | arithmeticOperationValid.cpp | 27 const ir::AstNode *ast) in operator ()()
51 CheckResult ArithmeticOperationValid::CheckCompound(CheckContext &ctx, const ir::AstNode *ast) in CheckCompound()
|
| D | nodeHasSourceRange.cpp | 20 CheckResult NodeHasSourceRange::operator()(CheckContext &ctx, const ir::AstNode *ast) in operator ()()
|
| /arkcompiler/ets_frontend/ets2panda/public/ |
| D | es2panda_lib.cpp | 775 extern "C" es2panda_Type *AstNodeType(es2panda_AstNode *ast) in AstNodeType()
785 extern "C" es2panda_AstNode *const *AstNodeDecorators(es2panda_AstNode *ast, size_t *sizeP) in AstNodeDecorators()
797 extern "C" es2panda_ModifierFlags AstNodeModifierFlags(es2panda_AstNode *ast) in AstNodeModifierFlags()
803 extern "C" void AstNodeSetDecorators(es2panda_Context *context, es2panda_AstNode *ast, es2panda_Ast… in AstNodeSetDecorators()
818 extern "C" void AstNodeSetType(es2panda_AstNode *ast, es2panda_Type *type) in AstNodeSetType()
830 extern "C" void AstNodeForEach(es2panda_AstNode *ast, void (*func)(es2panda_AstNode *, void *), voi… in AstNodeForEach() argument
899 extern "C" es2panda_AstNode *ArrowFunctionExpressionScriptFunction(es2panda_AstNode *ast) in ArrowFunctionExpressionScriptFunction()
916 extern "C" es2panda_AstNode *AsExpressionExpr(es2panda_AstNode *ast) in AsExpressionExpr()
922 extern "C" es2panda_AstNode *AsExpressionTypeAnnotation(es2panda_AstNode *ast) in AsExpressionTypeAnnotation()
928 extern "C" bool AsExpressionIsConst(es2panda_AstNode *ast) in AsExpressionIsConst()
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/test/unit/public/ |
| D | ast_verifier_identifier_has_variable_test.cpp | 45 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
78 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
103 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
129 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
155 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
211 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_private_access_negative_test_1_4.cpp | 39 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
77 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
116 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
155 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_variable_has_scope_test.cpp | 44 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
83 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
112 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
149 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_protected_access_negative_test_4_6.cpp | 43 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
96 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
149 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_private_access_negative_test_5_7.cpp | 43 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
96 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
149 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_protected_access_negative_test_1_3.cpp | 40 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
79 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
118 auto *ast = reinterpret_cast<ETSScript *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_variable_has_enclosing_scope_test.cpp | 47 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
76 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
102 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_reference_typeannotation_test.cpp | 41 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
78 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
101 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_every_child_has_valid_parent_test.cpp | 42 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
67 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_F() local
|
| D | ast_verifier_check_infinite_loop_test.cpp | 98 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_P() local
155 auto *ast = reinterpret_cast<AstNode *>(impl_->ProgramAst(impl_->ContextProgram(ctx))); in TEST_P() local
|
| /arkcompiler/ets_frontend/arkguard/test/ut/utils/ |
| D | TypeUtils.spec.ts | 56 const ast = TypeUtils.createObfSourceFile(jsSourceFile.fileName, jsSourceFile.text); constant
64 const ast = TypeUtils.createObfSourceFile(sourceFile.fileName, sourceFile.text); constant
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| D | objectIndexAccess.cpp | 83 [this, parser, checker](ir::AstNode *const ast) -> ir::AstNode * { in Perform()
98 [this, parser, checker](ir::AstNode *const ast) -> ir::AstNode * { in Perform()
133 return !program->Ast()->IsAnyChild([](const ir::AstNode *ast) { in Postcondition()
|
| D | constStringToCharLowering.cpp | 27 ir::AstNode *TryConvertToCharLiteral(checker::ETSChecker *checker, ir::AstNode *ast) in TryConvertToCharLiteral()
66 [checker](ir::AstNode *ast) -> ir::AstNode * { in Perform()
|
| D | boxingForLocals.cpp | 35 std::function<void(ir::AstNode *)> walker = [&](ir::AstNode *ast) { in FindCaptured()
87 std::function<void(ir::AstNode *)> walker = [&](ir::AstNode *ast) { in FindModified()
216 static bool IsBeingDeclared(ir::AstNode *ast) in IsBeingDeclared()
223 static bool IsPartOfBoxInitializer(public_lib::Context *ctx, ir::AstNode *ast) in IsPartOfBoxInitializer()
235 static bool OnLeftSideOfAssignment(ir::AstNode *ast) in OnLeftSideOfAssignment()
314 auto handleNode = [ctx, &varsToBox, &varsMap](ir::AstNode *ast) { in HandleScriptFunction()
351 std::function<void(ir::AstNode *)> searchForFunctions = [&](ir::AstNode *ast) { in Perform()
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ |
| D | util.cpp | 23 varbinder::Scope *NearestScope(const ir::AstNode *ast) in NearestScope()
32 checker::ETSObjectType const *ContainingClass(const ir::AstNode *ast) in ContainingClass()
81 scopeBearer->IterateRecursivelyPreorder([&result, &scopes](ir::AstNode *ast) { in FindCaptured()
|