| /arkcompiler/ets_frontend/es2panda/ir/statements/ |
| H A D | variableDeclarator.cpp | 75 binder::Variable *bindingVar = declarator->Id()->AsIdentifier()->Variable(); in CheckSimpleVariableDeclaration() local
76 CHECK_NOT_NULL(bindingVar); in CheckSimpleVariableDeclaration()
77 checker::Type *previousType = bindingVar->TsType(); in CheckSimpleVariableDeclaration()
94 bindingVar->SetTsType(annotationType); in CheckSimpleVariableDeclaration()
96 bindingVar->SetTsType(typeAnnotation->AsTypeNode()->GetType(checker)); in CheckSimpleVariableDeclaration()
104 bindingVar->SetTsType(initializerType); in CheckSimpleVariableDeclaration()
111 checker->IsTypeIdenticalTo(bindingVar->TsType(), previousType, in CheckSimpleVariableDeclaration()
113 bindingVar->Name(), "' must be of type '", previousType, "', but here has type '", in CheckSimpleVariableDeclaration()
114 bindingVar->TsType(), "'."}, in CheckSimpleVariableDeclaration()
|
| /arkcompiler/ets_frontend/ets2panda/ir/expressions/ |
| H A D | objectExpression.cpp | 290 varbinder::Variable *bindingVar = nullptr; in CheckPattern() local
297 bindingVar = ident->Variable(); in CheckPattern()
304 bindingVar = assignmentPattern->Left()->AsIdentifier()->Variable(); in CheckPattern()
315 bindingVar = prop->Value()->AsIdentifier()->Variable(); in CheckPattern()
327 isOptional = CheckAssignmentPattern(prop, bindingVar, patternParamType, checker, foundVar); in CheckPattern()
336 if (bindingVar != nullptr) { in CheckPattern()
337 bindingVar->SetTsType(patternParamType); in CheckPattern()
360 bool ObjectExpression::CheckAssignmentPattern(Property *prop, varbinder::Variable *&bindingVar, in CheckAssignmentPattern() argument
367 bindingVar = assignmentPattern->Left()->AsIdentifier()->Variable(); in CheckAssignmentPattern()
|
| H A D | objectExpression.h | 115 bool CheckAssignmentPattern(Property *prop, varbinder::Variable *&bindingVar, checker::Type *&patternParamType,
|
| H A D | arrayExpression.cpp | 250 varbinder::Variable *bindingVar = ident->Variable(); in CheckAssignmentPattern() local
252 bindingVar->SetTsType(initializerType); in CheckAssignmentPattern()
|
| /arkcompiler/ets_frontend/es2panda/ir/expressions/ |
| H A D | objectExpression.cpp | 489 binder::Variable *bindingVar = nullptr; in CheckPattern() local
496 bindingVar = ident->Variable(); in CheckPattern()
503 bindingVar = assignmentPattern->Left()->AsIdentifier()->Variable(); in CheckPattern()
514 bindingVar = prop->Value()->AsIdentifier()->Variable(); in CheckPattern()
529 bindingVar = assignmentPattern->Left()->AsIdentifier()->Variable(); in CheckPattern()
575 if (bindingVar) { in CheckPattern()
576 bindingVar->SetTsType(patternParamType); in CheckPattern()
|
| H A D | arrayExpression.cpp | 311 binder::Variable *bindingVar = ident->Variable(); in CheckPattern() local
314 bindingVar->SetTsType(initializerType); in CheckPattern()
|
| /arkcompiler/ets_frontend/es2panda/ir/ts/ |
| H A D | tsInterfaceDeclaration.h | 84 checker::Type *InferType(checker::Checker *checker, binder::Variable *bindingVar) const;
|
| /arkcompiler/ets_frontend/ets2panda/ir/ts/ |
| H A D | tsInterfaceDeclaration.h | 192 checker::Type *InferType(checker::TSChecker *checker, varbinder::Variable *bindingVar) const;
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | helpers.cpp | 615 checker::Type *ETSChecker::FixOptionalVariableType(varbinder::Variable *const bindingVar, ir::ModifierFlags flags, in FixOptionalVariableType() argument
619 auto type = bindingVar->TsTypeOrError(); in FixOptionalVariableType()
633 bindingVar->SetTsType(type); in FixOptionalVariableType()
635 return bindingVar->TsTypeOrError(); in FixOptionalVariableType()
658 checker::Type *annotationType, varbinder::Variable *const bindingVar) in CheckInit()
663 bindingVar->SetTsType(annotationType); in CheckInit()
726 varbinder::Variable *const bindingVar = ident->Variable(); in CheckVariableDeclaration() member in ark::es2panda::checker::varbinder
738 bindingVar->SetTsType(annotationType); in CheckVariableDeclaration()
742 return FixOptionalVariableType(bindingVar, flags, init); in CheckVariableDeclaration()
745 if (!CheckInit(ident, typeAnnotation, init, annotationType, bindingVar)) { in CheckVariableDeclaration()
657 CheckInit(ir::Identifier *ident, ir::TypeNode *typeAnnotation, ir::Expression *init, checker::Type *annotationType, varbinder::Variable *const bindingVar) CheckInit() argument
[all...] |
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | TSAnalyzer.cpp | 1303 varbinder::Variable *const bindingVar = declarator->Id()->AsIdentifier()->Variable(); in CheckSimpleVariableDeclaration() member in ark::es2panda::checker::varbinder
1304 checker::Type *previousType = bindingVar->TsType(); in CheckSimpleVariableDeclaration()
1321 bindingVar->SetTsType(annotationType); in CheckSimpleVariableDeclaration()
1323 bindingVar->SetTsType(typeAnnotation->GetType(checker)); in CheckSimpleVariableDeclaration()
1337 bindingVar->SetTsType(initializerType); in CheckSimpleVariableDeclaration()
1344 checker->IsTypeIdenticalTo(bindingVar->TsType(), previousType, in CheckSimpleVariableDeclaration()
1346 bindingVar->Name(), "' must be of type '", previousType, "', but here has type '", in CheckSimpleVariableDeclaration()
1347 bindingVar->TsType(), "'."}, in CheckSimpleVariableDeclaration()
|
| H A D | ETSchecker.h | 523 checker::Type *FixOptionalVariableType(varbinder::Variable *const bindingVar, ir::ModifierFlags flags,
793 checker::Type *annotationType, varbinder::Variable *const bindingVar);
|