| /arkcompiler/ets_frontend/es2panda/ir/statements/ |
| D | forUpdateStatement.cpp | 87 checker::Type *ForUpdateStatement::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::ForUpdateStatement
92 init_->Check(checker); in Check()
96 checker::Type *testType = test_->Check(checker); in Check()
101 update_->Check(checker); in Check()
104 body_->Check(checker); in Check()
|
| D | whileStatement.cpp | 57 checker::Type *WhileStatement::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::WhileStatement
61 checker::Type *testType = test_->Check(checker); in Check()
64 body_->Check(checker); in Check()
|
| D | ifStatement.cpp | 64 checker::Type *IfStatement::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::IfStatement
66 checker::Type *testType = test_->Check(checker); in Check()
70 consequent_->Check(checker); in Check()
73 alternate_->Check(checker); in Check()
|
| D | doWhileStatement.cpp | 58 checker::Type *DoWhileStatement::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::DoWhileStatement
62 checker::Type *testType = test_->Check(checker); in Check()
64 body_->Check(checker); in Check()
|
| D | switchStatement.cpp | 81 checker::Type *SwitchStatement::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::SwitchStatement
85 checker::Type *exprType = discriminant_->Check(checker); in Check()
90 checker::Type *caseType = it->Test()->Check(checker); in Check()
107 caseStmt->Check(checker); in Check()
|
| D | expressionStatement.cpp | 38 checker::Type *ExpressionStatement::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::ExpressionStatement
40 return expression_->Check(checker); in Check()
|
| D | variableDeclaration.cpp | 68 checker::Type *VariableDeclaration::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::VariableDeclaration
71 it->Check(checker); in Check()
|
| D | functionDeclaration.cpp | 39 checker::Type *FunctionDeclaration::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::FunctionDeclaration
55 func_->Body()->Check(checker); in Check()
|
| /arkcompiler/ets_frontend/es2panda/ir/expressions/ |
| D | conditionalExpression.cpp | 51 checker::Type *ConditionalExpression::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::ConditionalExpression
53 checker::Type *testType = test_->Check(checker); in Check()
58 checker::Type *consequentType = consequent_->Check(checker); in Check()
59 checker::Type *alternateType = alternate_->Check(checker); in Check()
|
| D | chainExpression.cpp | 48 checker::Type *ChainExpression::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::ChainExpression
50 return expression_->Check(checker); in Check()
|
| /arkcompiler/runtime_core/compiler/tests/ |
| D | iterators_test.cpp | 26 void Check(std::vector<Inst *> &tested_instructions) in Check() function in panda::compiler::IteratorsTest
198 Check(instructions); in TEST_F()
214 Check(instructions); in TEST_F()
230 Check(instructions); in TEST_F()
253 Check(instructions); in TEST_F()
263 Check(instructions); in TEST_F()
274 Check(instructions); in TEST_F()
285 Check(instructions); in TEST_F()
|
| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | inferThisType.ts | 29 type Check<T> = T extends (this: infer U, ...args: any[]) => any ? string : unknown;
30 type r1 = Check<(this: number) => void>; // should be string
|
| /arkcompiler/ets_frontend/es2panda/ir/ts/ |
| D | tsAsExpression.cpp | 82 checker::Type *TSAsExpression::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSAsExpression
86 checker::Type *exprType = expression_->Check(checker); in Check()
100 typeAnnotation_->Check(checker); in Check()
101 checker::Type *exprType = checker->GetBaseTypeOfLiteralType(expression_->Check(checker)); in Check()
|
| D | tsIndexedAccessType.cpp | 37 checker::Type *TSIndexedAccessType::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSIndexedAccessType
39 objectType_->Check(checker); in Check()
40 indexType_->Check(checker); in Check()
|
| D | tsInterfaceBody.cpp | 36 checker::Type *TSInterfaceBody::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSInterfaceBody
39 it->Check(checker); in Check()
|
| D | tsNamedTupleMember.cpp | 39 checker::Type *TSNamedTupleMember::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSNamedTupleMember
41 elementType_->Check(checker); in Check()
|
| D | tsArrayType.cpp | 35 checker::Type *TSArrayType::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSArrayType
37 elementType_->Check(checker); in Check()
|
| D | tsLiteralType.cpp | 35 checker::Type *TSLiteralType::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSLiteralType
48 checker::Type *type = literal_->Check(checker); in GetType()
|
| D | tsTypeQuery.cpp | 35 checker::Type *TSTypeQuery::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSTypeQuery
48 checker::Type *type = exprName_->Check(checker); in GetType()
|
| D | tsParenthesizedType.cpp | 35 checker::Type *TSParenthesizedType::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSParenthesizedType
37 type_->Check(checker); in Check()
|
| D | tsTypeAliasDeclaration.cpp | 49 checker::Type *TSTypeAliasDeclaration::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSTypeAliasDeclaration
51 typeAnnotation_->Check(checker); in Check()
|
| D | tsPropertySignature.cpp | 47 checker::Type *TSPropertySignature::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSPropertySignature
50 typeAnnotation_->Check(checker); in Check()
|
| D | tsQualifiedName.cpp | 37 checker::Type *TSQualifiedName::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::TSQualifiedName
39 checker::Type *baseType = checker->CheckNonNullType(left_->Check(checker), left_->Start()); in Check()
|
| /arkcompiler/ets_frontend/es2panda/ir/base/ |
| D | catchClause.cpp | 60 checker::Type *CatchClause::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::CatchClause
74 checker::Type *catchParamType = typeAnnotation->Check(checker); in Check()
82 body_->Check(checker); in Check()
|
| /arkcompiler/runtime_core/tests/checked/ |
| D | cross_peephole.pa | 14 # Check cross-compiling only on amd64
33 # Check, that need second peephole for lowering
35 #! CHECKER Check that lowering is applied for Return in JIT
46 #! CHECKER Check that lowering is applied for Return in AOT
|