| /arkcompiler/ets_frontend/ets2panda/checker/ts/ |
| H A D | helpers.cpp | 37 void TSChecker::CheckTruthinessOfType(Type *type, lexer::SourcePosition lineInfo) in CheckTruthinessOfType()
44 Type *TSChecker::CheckNonNullType(Type *type, lexer::SourcePosition lineInfo) in CheckNonNullType()
57 Type *TSChecker::GetBaseTypeOfLiteralType(Type *type) in GetBaseTypeOfLiteralType()
94 void TSChecker::CheckReferenceExpression(ir::Expression *expr, const char *invalidReferenceMsg, in CheckReferenceExpression()
114 void TSChecker::CheckTestingKnownTruthyCallableOrAwaitableType([[maybe_unused]] ir::Expression *condExpr, in CheckTestingKnownTruthyCallableOrAwaitableType()
121 Type *TSChecker::ExtractDefinitelyFalsyTypes(Type *type) in ExtractDefinitelyFalsyTypes()
158 Type *TSChecker::RemoveDefinitelyFalsyTypes(Type *type) in RemoveDefinitelyFalsyTypes()
188 TypeFlag TSChecker::GetFalsyFlags(Type *type) in GetFalsyFlags()
220 bool TSChecker::IsVariableUsedInConditionBody(ir::AstNode *parent, varbinder::Variable *searchVar) in IsVariableUsedInConditionBody()
245 bool TSChecker
[all...] |
| H A D | util.cpp | 25 ir::MemberExpression *TSChecker::ResolveLeftMostMemberExpression(ir::MemberExpression *expr) in ResolveLeftMostMemberExpression()
36 bool TSChecker::InAssignment(ir::AstNode *node) in InAssignment()
59 bool TSChecker::IsAssignmentOperator(lexer::TokenType op) in IsAssignmentOperator()
83 bool TSChecker::IsLiteralType(const Type *type) in IsLiteralType()
101 ir::AstNode *TSChecker::FindAncestorUntilGivenType(ir::AstNode *node, ir::AstNodeType stop) in FindAncestorUntilGivenType()
115 bool TSChecker::MaybeTypeOfKind(const Type *type, TypeFlag flags) in MaybeTypeOfKind()
133 bool TSChecker::MaybeTypeOfKind(const Type *type, ObjectType::ObjectTypeKind kind) in MaybeTypeOfKind()
151 bool TSChecker::IsConstantMemberAccess(ir::Expression *expr) in IsConstantMemberAccess()
168 bool TSChecker::IsStringLike(ir::Expression *expr) in IsStringLike()
|
| H A D | typeCreation.cpp | 20 Type *TSChecker::CreateNumberLiteralType(double value) in CreateNumberLiteralType()
32 Type *TSChecker::CreateBigintLiteralType(const util::StringView &str, bool negative) in CreateBigintLiteralType()
44 Type *TSChecker::CreateStringLiteralType(const util::StringView &str) in CreateStringLiteralType()
56 Type *TSChecker::CreateUnionType(std::initializer_list<Type *> constituentTypes) in CreateUnionType()
67 Type *TSChecker::CreateUnionType(ArenaVector<Type *> &constituentTypes) in CreateUnionType()
94 Type *TSChecker::CreateUnionType(ArenaVector<Type *> &&constituentTypes) in CreateUnionType()
125 Type *TSChecker::CreateObjectTypeWithCallSignature(Signature *callSignature) in CreateObjectTypeWithCallSignature()
132 Type *TSChecker::CreateObjectTypeWithConstructSignature(Signature *constructSignature) in CreateObjectTypeWithConstructSignature()
139 Type *TSChecker::CreateFunctionTypeWithSignature(Signature *callSignature) in CreateFunctionTypeWithSignature()
146 Type *TSChecker
[all...] |
| H A D | object.cpp | 41 void TSChecker::CheckIndexConstraints(Type *type) in CheckIndexConstraints()
83 void TSChecker::ResolveStructuredTypeMembers(Type *type) in ResolveStructuredTypeMembers()
105 void TSChecker::ResolveUnionTypeMembers(UnionType *type) in ResolveUnionTypeMembers()
162 void TSChecker::ResolveInterfaceOrClassTypeMembers(InterfaceType *type) in ResolveInterfaceOrClassTypeMembers()
174 void TSChecker::ResolveObjectTypeMembers(ObjectType *type) in ResolveObjectTypeMembers()
195 void TSChecker::ResolvePropertiesOfObjectType(ObjectType *type, ir::AstNode *member, in ResolvePropertiesOfObjectType()
230 void TSChecker::ResolveSignaturesOfObjectType(ObjectType *type, in ResolveSignaturesOfObjectType()
245 void TSChecker::ResolveIndexInfosOfObjectType(ObjectType *type, ArenaVector<ir::TSIndexSignature *> &indexDeclarations) in ResolveIndexInfosOfObjectType()
271 varbinder::Variable *TSChecker::GetPropertyOfType(Type *type, const util::StringView &name, bool getPartial, in GetPropertyOfType()
286 varbinder::Variable *TSChecker
[all...] |
| H A D | typeElaborationContext.h | 34 ElaborationContext(TSChecker *checker, Type *targetType, Type *sourceType, ir::Expression *sourceNode, in ElaborationContext()
52 TSChecker *checker_;
63 ArrayElaborationContext(TSChecker *checker, Type *targetType, Type *sourceType, ir::Expression *sourceNode, in ArrayElaborationContext()
78 ObjectElaborationContext(TSChecker *checker, Type *targetType, Type *sourceType, ir::Expression *sourceNode, in ObjectElaborationContext()
|
| H A D | function.cpp | 48 Type *TSChecker::HandleFunctionReturn(ir::ScriptFunction *func) in HandleFunctionReturn()
100 void TSChecker::ThrowReturnTypeCircularityError(ir::ScriptFunction *func) in ThrowReturnTypeCircularityError()
119 std::tuple<varbinder::LocalVariable *, varbinder::LocalVariable *, bool> TSChecker::CheckFunctionIdentifierParameter( in CheckFunctionIdentifierParameter()
139 Type *TSChecker::CreateParameterTypeForArrayAssignmentPattern(ir::ArrayExpression *arrayPattern, Type *inferredType) in CreateParameterTypeForArrayAssignmentPattern()
166 Type *TSChecker::CreateParameterTypeForObjectAssignmentPattern(ir::ObjectExpression *objectPattern, Type *inferredType) in CreateParameterTypeForObjectAssignmentPattern()
205 ReturnedVariable TSChecker::CheckFunctionAssignmentPatternParameter(ir::AssignmentExpression *param) in CheckFunctionAssignmentPatternParameter()
254 std::tuple<varbinder::LocalVariable *, varbinder::LocalVariable *, bool> TSChecker::CheckFunctionRestParameter( in CheckFunctionRestParameter()
304 std::tuple<varbinder::LocalVariable *, varbinder::LocalVariable *, bool> TSChecker::CheckFunctionArrayPatternParameter( in CheckFunctionArrayPatternParameter()
326 std::tuple<varbinder::LocalVariable *, varbinder::LocalVariable *, bool> TSChecker::CheckFunctionObjectPatternParameter( in CheckFunctionObjectPatternParameter()
348 std::tuple<varbinder::LocalVariable *, varbinder::LocalVariable *, bool> TSChecker
[all...] |
| H A D | binaryLikeExpression.cpp | 23 void TSChecker::CheckBooleanLikeType(Type *leftType, Type *rightType, ir::AstNode *expr, lexer::TokenType op) in CheckBooleanLikeType()
56 Type *TSChecker::CheckBinaryOperator(ExpressionTypeInfo *leftRightType, ir::Expression *leftExpr, in CheckBinaryOperator()
100 Type *TSChecker::CheckPlusOperator(ExpressionTypeInfo *leftRightType, ir::Expression *leftExpr, in CheckPlusOperator()
136 Type *TSChecker::CheckCompareOperator(ExpressionTypeInfo *leftRightType, ir::Expression *leftExpr, in CheckCompareOperator()
153 Type *TSChecker::CheckAndOperator(Type *leftType, Type *rightType, ir::Expression *leftExpr) in CheckAndOperator()
165 Type *TSChecker::CheckOrOperator(Type *leftType, Type *rightType, ir::Expression *leftExpr) in CheckOrOperator()
184 Type *TSChecker::CheckInstanceofExpression(Type *leftType, Type *rightType, ir::Expression *rightExpr, in CheckInstanceofExpression()
203 Type *TSChecker::CheckInExpression(Type *leftType, Type *rightType, ir::Expression *leftExpr, ir::Expression *rightExpr, in CheckInExpression()
224 void TSChecker::CheckAssignmentOperator(lexer::TokenType op, ir::Expression *leftExpr, Type *leftType, Type *valueType) in CheckAssignmentOperator()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | TSAnalyzer.h | 39 checker::Type *CheckDeleteKeyword([[maybe_unused]] checker::TSChecker *checker, ir::UnaryExpression *expr) const;
40 checker::Type *CheckLiteral([[maybe_unused]] checker::TSChecker *checker, ir::UnaryExpression *expr) const;
44 TSChecker *checker) const;
55 TSChecker *GetTSChecker() const;
57 varbinder::EnumMemberResult EvaluateBinaryExpression(checker::TSChecker *checker, varbinder::EnumVariable *enumVar,
59 varbinder::EnumMemberResult EvaluateEnumMember(checker::TSChecker *checker, varbinder::EnumVariable *enumVar,
61 varbinder::EnumMemberResult EvaluateUnaryExpression(checker::TSChecker *checker, varbinder::EnumVariable *enumVar,
65 checker::Type *InferType(checker::TSChecker *checker, bool isConst, ir::TSEnumDeclaration *st) const;
|
| H A D | TSAnalyzer.cpp | 23 TSChecker *TSAnalyzer::GetTSChecker() const in GetTSChecker()
25 return static_cast<TSChecker *>(GetChecker()); in GetTSChecker()
31 TSChecker *checker = GetTSChecker(); in Check()
50 TSChecker *checker = GetTSChecker(); in Check()
57 TSChecker *checker = GetTSChecker(); in Check()
64 TSChecker *checker = GetTSChecker(); in Check()
89 TSChecker *checker = GetTSChecker(); in Check()
117 TSChecker *checker = GetTSChecker(); in Check()
137 TSChecker *checker = GetTSChecker(); in Check()
178 static void GetSpreadElementType(checker::TSChecker *checke
[all...] |
| H A D | TSchecker.cpp | 23 bool TSChecker::StartChecker([[maybe_unused]] varbinder::VarBinder *varbinder, const CompilerOptions &options) in StartChecker()
47 Type *TSChecker::CheckTypeCached(ir::Expression *expr) in CheckTypeCached()
|
| /arkcompiler/ets_frontend/ets2panda/ir/ts/ |
| H A D | tsEnumDeclaration.cpp | 95 varbinder::EnumMemberResult EvaluateMemberExpression(checker::TSChecker *checker, in EvaluateMemberExpression()
99 if (checker::TSChecker::IsConstantMemberAccess(expr->AsExpression())) { in EvaluateMemberExpression()
105 ASSERT(checker::TSChecker::IsStringLike(expr->Property())); in EvaluateMemberExpression()
126 checker::Type *TSEnumDeclaration::Check(checker::TSChecker *checker) in Check()
|
| H A D | tsObjectKeyword.cpp | 52 checker::Type *TSObjectKeyword::Check([[maybe_unused]] checker::TSChecker *checker) in Check()
57 checker::Type *TSObjectKeyword::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|
| H A D | tsNumberKeyword.cpp | 52 checker::Type *TSNumberKeyword::Check(checker::TSChecker *checker) in Check()
57 checker::Type *TSNumberKeyword::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|
| H A D | tsNullKeyword.cpp | 51 checker::Type *TSNullKeyword::Check([[maybe_unused]] checker::TSChecker *checker) in Check()
56 checker::Type *TSNullKeyword::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|
| H A D | tsObjectKeyword.h | 32 checker::Type *Check(checker::TSChecker *checker) override;
33 checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) override;
|
| H A D | tsNumberKeyword.h | 32 checker::Type *Check(checker::TSChecker *checker) override;
33 checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) override;
|
| H A D | tsNullKeyword.h | 32 checker::Type *Check([[maybe_unused]] checker::TSChecker *checker) override;
33 checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) override;
|
| H A D | tsStringKeyword.cpp | 52 checker::Type *TSStringKeyword::Check(checker::TSChecker *checker) in Check()
57 checker::Type *TSStringKeyword::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|
| H A D | tsStringKeyword.h | 32 checker::Type *Check(checker::TSChecker *checker) override;
33 checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) override;
|
| H A D | tsUndefinedKeyword.cpp | 52 checker::Type *TSUndefinedKeyword::Check(checker::TSChecker *checker) in Check()
57 checker::Type *TSUndefinedKeyword::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|
| H A D | tsUnknownKeyword.cpp | 52 checker::Type *TSUnknownKeyword::Check(checker::TSChecker *checker) in Check()
57 checker::Type *TSUnknownKeyword::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|
| H A D | tsVoidKeyword.cpp | 52 checker::Type *TSVoidKeyword::Check(checker::TSChecker *checker) in Check()
57 checker::Type *TSVoidKeyword::GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|
| H A D | tsUndefinedKeyword.h | 32 checker::Type *Check(checker::TSChecker *checker) override;
33 checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) override;
|
| H A D | tsUnknownKeyword.h | 32 checker::Type *Check(checker::TSChecker *checker) override;
33 checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) override;
|
| /arkcompiler/ets_frontend/ets2panda/ir/ |
| H A D | typeNode.h | 22 class TSChecker;
40 [[nodiscard]] virtual checker::Type *GetType([[maybe_unused]] checker::TSChecker *checker) in GetType()
|