Home
last modified time | relevance | path

Searched refs:Checker (Results 1 - 25 of 336) sorted by relevance

12345678910>>...14

/arkcompiler/ets_frontend/ets2panda/checker/
H A Dchecker.cpp36 Checker::Checker() in Checker() function in ark::es2panda::checker::Checker
44 void Checker::Initialize(varbinder::VarBinder *varbinder) in Initialize()
51 std::string Checker::FormatMsg(std::initializer_list<TypeErrorMessageElement> list) in FormatMsg()
78 void Checker::ThrowTypeError(std::initializer_list<TypeErrorMessageElement> list, const lexer::SourcePosition &pos) in ThrowTypeError()
83 void Checker::ThrowTypeError(std::string_view message, const lexer::SourcePosition &pos) in ThrowTypeError()
91 void Checker::LogTypeError(std::initializer_list<TypeErrorMessageElement> list, const lexer::SourcePosition &pos) in LogTypeError()
96 void Checker::LogTypeError(std::string_view message, const lexer::SourcePosition &pos) in LogTypeError()
104 void Checker::Warning(const std::string_view message, const lexer::SourcePosition &pos) const in Warning()
115 void Checker
[all...]
H A DSemanticAnalyzer.h171 class Checker;
175 explicit SemanticAnalyzer(Checker *checker) in SemanticAnalyzer()
194 Checker *GetChecker() const in GetChecker()
200 Checker *checker_;
H A Dchecker.h61 class Checker { class
63 explicit Checker();
64 virtual ~Checker() = default;
66 NO_COPY_SEMANTIC(Checker);
67 NO_MOVE_SEMANTIC(Checker);
236 explicit NamedTypeStackElement(Checker *checker, Type *element) : checker_(checker), element_(element) in NamedTypeStackElement()
249 Checker *checker_;
255 explicit TypeStackElement(Checker *checker, void *element, std::initializer_list<TypeErrorMessageElement> list, in TypeStackElement()
265 explicit TypeStackElement(Checker *checker, void *element, std::string_view err, const lexer::SourcePosition &pos) in TypeStackElement()
292 Checker *checker
[all...]
/arkcompiler/ets_frontend/es2panda/typescript/core/
H A DtypeRelation.cpp22 bool Checker::IsAllTypesAssignableTo(Type *source, Type *target) in IsAllTypesAssignableTo()
34 bool Checker::IsTypeIdenticalTo(Type *source, Type *target) in IsTypeIdenticalTo()
39 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, const std::string &errMsg, in IsTypeIdenticalTo()
49 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, std::initializer_list<TypeErrorMessageElement> list, in IsTypeIdenticalTo()
59 bool Checker::IsTypeAssignableTo(Type *source, Type *target) in IsTypeAssignableTo()
64 bool Checker::IsTypeAssignableTo(Type *source, Type *target, const std::string &errMsg, in IsTypeAssignableTo()
74 bool Checker::IsTypeAssignableTo(Type *source, Type *target, std::initializer_list<TypeErrorMessageElement> list, in IsTypeAssignableTo()
84 bool Checker::IsTypeComparableTo(Type *source, Type *target) in IsTypeComparableTo()
89 bool Checker::IsTypeComparableTo(Type *source, Type *target, const std::string &errMsg, in IsTypeComparableTo()
99 bool Checker
[all...]
H A Dutil.cpp26 const ir::TSQualifiedName *Checker::ResolveLeftMostQualifiedName(const ir::TSQualifiedName *qualifiedName) in ResolveLeftMostQualifiedName()
37 const ir::MemberExpression *Checker::ResolveLeftMostMemberExpression(const ir::MemberExpression *expr) in ResolveLeftMostMemberExpression()
48 bool Checker::InAssignment(const ir::AstNode *node) in InAssignment()
71 bool Checker::IsAssignmentOperator(lexer::TokenType op) in IsAssignmentOperator()
95 bool Checker::IsLiteralType(const Type *type) in IsLiteralType()
113 const ir::AstNode *Checker::FindAncestorGivenByType(const ir::AstNode *node, ir::AstNodeType type) in FindAncestorGivenByType()
129 const ir::AstNode *Checker::FindAncestorUntilGivenType(const ir::AstNode *node, ir::AstNodeType stop) in FindAncestorUntilGivenType()
143 bool Checker::MaybeTypeOfKind(const Type *type, TypeFlag flags) in MaybeTypeOfKind()
163 bool Checker::MaybeTypeOfKind(const Type *type, ObjectType::ObjectTypeKind kind) in MaybeTypeOfKind()
183 bool Checker
[all...]
H A DtypeCreation.cpp21 Type *Checker::CreateNumberLiteralType(double value) in CreateNumberLiteralType()
33 Type *Checker::CreateBigintLiteralType(const util::StringView &str, bool negative) in CreateBigintLiteralType()
45 Type *Checker::CreateStringLiteralType(const util::StringView &str) in CreateStringLiteralType()
57 Type *Checker::CreateUnionType(std::initializer_list<Type *> constituentTypes) in CreateUnionType()
68 Type *Checker::CreateUnionType(ArenaVector<Type *> &constituentTypes) in CreateUnionType()
96 Type *Checker::CreateUnionType(ArenaVector<Type *> &&constituentTypes) in CreateUnionType()
128 Type *Checker::CreateObjectTypeWithCallSignature(Signature *callSignature) in CreateObjectTypeWithCallSignature()
136 Type *Checker::CreateObjectTypeWithConstructSignature(Signature *constructSignature) in CreateObjectTypeWithConstructSignature()
144 Type *Checker::CreateFunctionTypeWithSignature(Signature *callSignature) in CreateFunctionTypeWithSignature()
152 Type *Checker
[all...]
H A Dhelpers.cpp38 void Checker::CheckTruthinessOfType(Type *type, lexer::SourcePosition lineInfo) in CheckTruthinessOfType()
45 Type *Checker::CheckNonNullType(Type *type, lexer::SourcePosition lineInfo) in CheckNonNullType()
58 Type *Checker::GetBaseTypeOfLiteralType(Type *type) in GetBaseTypeOfLiteralType()
96 void Checker::CheckReferenceExpression(const ir::Expression *expr, const char *invalidReferenceMsg, in CheckReferenceExpression()
116 void Checker::CheckTestingKnownTruthyCallableOrAwaitableType([[maybe_unused]] const ir::Expression *condExpr, in CheckTestingKnownTruthyCallableOrAwaitableType()
123 Type *Checker::ExtractDefinitelyFalsyTypes(Type *type) in ExtractDefinitelyFalsyTypes()
160 Type *Checker::RemoveDefinitelyFalsyTypes(Type *type) in RemoveDefinitelyFalsyTypes()
190 TypeFlag Checker::GetFalsyFlags(Type *type) in GetFalsyFlags()
222 bool Checker::IsVariableUsedInConditionBody(const ir::AstNode *parent, binder::Variable *searchVar) in IsVariableUsedInConditionBody()
247 bool Checker
[all...]
H A DtypeElaborationContext.h34 ElaborationContext(Checker *checker, Type *targetType, Type *sourceType, const ir::Expression *sourceNode, in ElaborationContext()
51 Checker *checker_;
61 ArrayElaborationContext(Checker *checker, Type *targetType, Type *sourceType, const ir::Expression *sourceNode, in ArrayElaborationContext()
76 ObjectElaborationContext(Checker *checker, Type *targetType, Type *sourceType, const ir::Expression *sourceNode, in ObjectElaborationContext()
/arkcompiler/ets_frontend/ets2panda/checker/typeChecker/
H A DTypeChecker.h24 * This class should be launched after Checker pass.
25 * Should contain all type checks, which are non-critical for `Checker` (`Checker` can keep working with such type
39 explicit TypeChecker(Checker *checker) : checker_(checker) {} in TypeChecker()
52 Checker *const checker_;
57 explicit ETSTypeChecker(Checker *checker) : TypeChecker(checker) {} in ETSTypeChecker()
65 explicit JSTypeChecker(Checker *checker) : TypeChecker(checker) {} in JSTypeChecker()
70 explicit TSTypeChecker(Checker *checker) : TypeChecker(checker) {} in TSTypeChecker()
75 explicit ASTypeChecker(Checker *checker) : TypeChecker(checker) {} in ASTypeChecker()
78 bool RunTypeChecker(Checker *checke
[all...]
/arkcompiler/ets_frontend/ets2panda/checker/ets/
H A DwideningConverter.h113 Relation()->GetNode()->SetTsType(Checker()->GlobalByteType()); in ApplyGlobalWidening()
117 Relation()->GetNode()->SetTsType(Checker()->GlobalShortType()); in ApplyGlobalWidening()
121 Relation()->GetNode()->SetTsType(Checker()->GlobalCharType()); in ApplyGlobalWidening()
125 Relation()->GetNode()->SetTsType(Checker()->GlobalIntType()); in ApplyGlobalWidening()
129 Relation()->GetNode()->SetTsType(Checker()->GlobalLongType()); in ApplyGlobalWidening()
133 Relation()->GetNode()->SetTsType(Checker()->GlobalFloatType()); in ApplyGlobalWidening()
137 Relation()->GetNode()->SetTsType(Checker()->GlobalDoubleType()); in ApplyGlobalWidening()
201 Relation()->GetNode()->SetTsType(Checker()->Allocator()->New<TargetType>(static_cast<TType>(value))); in ApplyWidening()
/arkcompiler/ets_frontend/es2panda/typescript/
H A Dchecker.cpp33 Checker::Checker(ArenaAllocator *allocator, binder::Binder *binder) in Checker() function in panda::es2panda::checker::Checker
45 void Checker::StartChecker() in StartChecker()
51 void Checker::ThrowTypeError(std::initializer_list<TypeErrorMessageElement> list, const lexer::SourcePosition &pos) in ThrowTypeError()
77 void Checker::ThrowTypeError(std::string_view message, const lexer::SourcePosition &pos) in ThrowTypeError()
85 Type *Checker::CheckTypeCached(const ir::Expression *expr) in CheckTypeCached()
/arkcompiler/ets_frontend/es2panda/ir/ts/
H A DtsEnumDeclaration.h32 class Checker;
85 static binder::EnumMemberResult EvaluateEnumMember(checker::Checker *checker, binder::EnumVariable *enumVar,
87 checker::Type *InferType(checker::Checker *checker, bool isConst) const;
92 checker::Type *Check(checker::Checker *checker) const override;
H A DtsNumberKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsNeverKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsNullKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsAnyKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsLiteralType.h26 class Checker;
44 checker::Type *Check(checker::Checker *checker) const override;
45 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsStringKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsThisType.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType([[maybe_unused]] checker::Checker *checker) const override;
H A DtsUnknownKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsVoidKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsParenthesizedType.h26 class Checker;
44 checker::Type *Check(checker::Checker *checker) const override;
45 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsObjectKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsArrayType.h26 class Checker;
44 checker::Type *Check(checker::Checker *checker) const override;
45 checker::Type *GetType(checker::Checker *checker) const override;
H A DtsBooleanKeyword.h26 class Checker;
39 checker::Type *Check([[maybe_unused]] checker::Checker *checker) const override;
40 checker::Type *GetType(checker::Checker *checker) const override;

Completed in 12 milliseconds

12345678910>>...14