Home
last modified time | relevance | path

Searched refs:checker_ (Results 1 - 25 of 40) sorted by relevance

12

/arkcompiler/ets_frontend/es2panda/typescript/core/
H A DdestructuringContext.cpp33 typeAnnotation->Check(checker_); in Prepare()
34 Type *annotationType = typeAnnotation->AsTypeNode()->GetType(checker_); in Prepare()
37 checker_->ElaborateElementwise(annotationType, initializer, loc); in Prepare()
50 inferedType_ = initializer->Check(checker_); in Prepare()
58 checker_->ThrowTypeError({"Cannot find name '", ident->Name(), "'."}, ident->Start()); in HandleDestructuringAssignment()
64 if (defaultType && !checker_->IsTypeAssignableTo(defaultType, variable->TsType())) { in HandleDestructuringAssignment()
65 checker_->ThrowAssignmentError(defaultType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment()
68 if (inferedType && !checker_->IsTypeAssignableTo(inferedType, variable->TsType())) { in HandleDestructuringAssignment()
69 checker_->ThrowAssignmentError(inferedType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment()
78 if (!checker_ in SetInferedTypeForVariable()
[all...]
H A DtypeElaborationContext.cpp31 ArenaVector<Type *> bestMatchingType(checker_->Allocator()->Adapter()); in GetBestMatchingType()
32 Type *sourceType = sourceNode ? checker_->CheckTypeCached(sourceNode) : checker_->GlobalAnyType(); in GetBestMatchingType()
35 Type *currentType = checker_->GetPropertyTypeForIndexType(*it, indexType); in GetBestMatchingType()
42 if (!checker_->IsTypeAssignableTo(sourceType, currentType)) { in GetBestMatchingType()
51 return checker_->CreateUnionType(std::move(bestMatchingType)); in GetBestMatchingType()
65 util::StringView memberIndex = util::Helpers::ToStringView(checker_->Allocator(), index_); in Start()
70 targetElementType = GetBestMatchingType(checker_->CreateStringLiteralType(memberIndex), it); in Start()
73 checker_->GetPropertyTypeForIndexType(targetType_, checker_ in Start()
[all...]
H A DtypeElaborationContext.h36 : checker_(checker), in ElaborationContext()
51 Checker *checker_; member in panda::es2panda::panda::es2panda::checker::ElaborationContext
/arkcompiler/ets_frontend/ets2panda/checker/ts/
H A DdestructuringContext.cpp34 typeAnnotation->Check(checker_); in Prepare()
35 Type *annotationType = typeAnnotation->GetType(checker_); in Prepare()
38 checker_->ElaborateElementwise(annotationType, initializer, loc); in Prepare()
51 inferredType_ = initializer->Check(checker_); in Prepare()
58 checker_->ThrowTypeError({"Cannot find name '", ident->Name(), "'."}, ident->Start()); in HandleDestructuringAssignment()
64 if (defaultType != nullptr && !checker_->IsTypeAssignableTo(defaultType, variable->TsType())) { in HandleDestructuringAssignment()
65 checker_->ThrowAssignmentError(defaultType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment()
68 if (inferredType != nullptr && !checker_->IsTypeAssignableTo(inferredType, variable->TsType())) { in HandleDestructuringAssignment()
69 checker_->ThrowAssignmentError(inferredType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment()
78 if (!checker_ in SetInferredTypeForVariable()
[all...]
H A DtypeElaborationContext.cpp31 ArenaVector<Type *> bestMatchingType(checker_->Allocator()->Adapter()); in GetBestMatchingType()
32 Type *sourceType = sourceNode != nullptr ? checker_->CheckTypeCached(sourceNode) : checker_->GlobalAnyType(); in GetBestMatchingType()
35 Type *currentType = checker_->GetPropertyTypeForIndexType(*it, indexType); in GetBestMatchingType()
42 if (!checker_->IsTypeAssignableTo(sourceType, currentType)) { in GetBestMatchingType()
51 return checker_->CreateUnionType(std::move(bestMatchingType)); in GetBestMatchingType()
65 util::StringView memberIndex = util::Helpers::ToStringView(checker_->Allocator(), index_); in Start()
70 targetElementType = GetBestMatchingType(checker_->CreateStringLiteralType(memberIndex), it); in Start()
73 checker_->GetPropertyTypeForIndexType(targetType_, checker_ in Start()
[all...]
H A DtypeElaborationContext.h36 : checker_(checker), in ElaborationContext()
52 TSChecker *checker_; member in ark::es2panda::ark::es2panda::checker::ElaborationContext
/arkcompiler/ets_frontend/ets2panda/checker/ets/
H A DtypeRelationContext.cpp56 if (checker_->HasStatus(CheckerStatus::IN_INSTANCEOF_CONTEXT)) { in ValidateTypeArguments()
58 checker_->ReportWarning( in ValidateTypeArguments()
64 if (!checker_->CheckNumberOfTypeArguments(type, typeArgs, pos)) { in ValidateTypeArguments()
65 result_ = checker_->GlobalTypeError(); in ValidateTypeArguments()
78 ArenaVector<Type *> typeArgTypes(checker_->Allocator()->Adapter()); in InstantiateType()
83 auto *paramType = it->GetType(checker_); in InstantiateType()
90 checker_->Relation()->SetNode(it); in InstantiateType()
92 auto *const boxedTypeArg = checker_->PrimitiveTypeAsETSBuiltinType(paramType); in InstantiateType()
94 paramType = boxedTypeArg->Instantiate(checker_->Allocator(), checker_ in InstantiateType()
[all...]
H A DtypeRelationContext.h135 explicit ConstraintCheckScope(ETSChecker *checker) : checker_(checker), isheld_(true) in ConstraintCheckScope()
137 size_t &counter = checker_->ConstraintCheckScopesCount(); in ConstraintCheckScope()
138 ASSERT(counter != 0 || checker_->PendingConstraintCheckRecords().empty()); in ConstraintCheckScope()
159 return --checker_->ConstraintCheckScopesCount() == 0; in Unlock()
162 ETSChecker *checker_; member in ark::es2panda::checker::ConstraintCheckScope
170 : checker_(checker) in InstantiationContext()
180 : checker_(checker) in InstantiationContext()
202 ETSChecker *checker_; member in ark::es2panda::checker::InstantiationContext
H A DtypeConverter.cpp20 : checker_(checker), relation_(relation), target_(target), source_(source) in TypeConverter()
51 return checker_; in Checker()
H A DaliveAnalyzer.cpp181 checker_->LogTypeError("Initializer must be able to complete normally.", node->Start()); in AnalyzeDef()
192 checker_->LogTypeError("Unreachable statement.", node->Start()); in AnalyzeStat()
241 const auto isVoid = returnType->IsETSVoidType() || returnType == checker_->GlobalVoidType(); in AnalyzeMethodDef()
247 isPromiseVoid = asAsync->GetPromiseTypeArg() == checker_->GlobalETSUndefinedType(); in AnalyzeMethodDef()
250 if (status_ == LivenessStatus::ALIVE && !isVoid && !isPromiseVoid && !checker_->IsAsyncImplMethod(methodDef)) { in AnalyzeMethodDef()
252 checker_->LogTypeError("Function with a non void return type must return a value.", func->Id()->Start()); in AnalyzeMethodDef()
257 checker_->LogTypeError("Not all code paths return a value.", func->Id()->Start()); in AnalyzeMethodDef()
377 if (callExpr->Signature()->ReturnType() == checker_->GetGlobalTypesHolder()->GlobalBuiltinNeverType()) { in AnalyzeCall()
409 checker_->Warning("Possible fall-through into case", caseClause->Start()); in AnalyzeSwitch()
461 checker_ in AnalyzeTry()
[all...]
/arkcompiler/ets_frontend/ets2panda/evaluate/debugInfoDeserialization/
H A DmethodBuilder.cpp78 : checker_(checker), mda_(mda), params_(checker_->Allocator()->Adapter()), classModifierFlags_(classModifierFlags) in MethodBuilder()
80 methodName_ = util::UString(mda_.GetFullName(), checker_->Allocator()).View(); in MethodBuilder()
86 ArenaVector<ir::Statement *> statements(checker_->Allocator()->Adapter()); in Build()
98 auto *retStatement = CreateTypedReturnStatement(checker_, returnType_); in Build()
102 auto *id = checker_->AllocNode<ir::Identifier>(methodName_, checker_->Allocator()); in Build()
116 auto parameters = GetFunctionParameters(checker_, mda_); in CollectParametersAndReturnType()
117 auto *checker = checker_->Allocator(); in CollectParametersAndReturnType()
123 auto *paramIdent = checker_ in CollectParametersAndReturnType()
[all...]
H A DclassBuilder.cpp31 : checker_(checker), className_(name), cda_(cda), superClass_(superClass) in ClassBuilder()
44 auto *allocator = checker_->Allocator(); in Build()
51 auto *classId = checker_->AllocNode<ir::Identifier>(className_, allocator); in Build()
55 auto *classDef = checker_->AllocNode<ir::ClassDefinition>( in Build()
64 auto *classDecl = checker_->AllocNode<ir::ClassDeclaration>(classDef, allocator); in Build()
84 auto *typeNode = helpers::PandaTypeToTypeNode(pf, fda, checker_); in BuildFields()
87 auto *field = helpers::CreateClassProperty(checker_, name, typeNode, helpers::GetModifierFlags(fda, true)); in BuildFields()
95 auto *method = MethodBuilder(checker_, mda, modifierFlags_).Build(); in BuildMethods()
/arkcompiler/ets_frontend/es2panda/typescript/types/
H A DtypeRelation.cpp29 TypeRelation::TypeRelation(Checker *checker) : checker_(checker), result_(RelationResult::FALSE) {} in TypeRelation()
38 return checker_; in GetChecker()
43 return checker_; in GetChecker()
48 return checker_->Allocator(); in Allocator()
85 result_ = CacheLookup(source, target, checker_->IdenticalResults(), RelationType::IDENTICAL); in IsIdenticalTo()
87 checker_->ResolveStructuredTypeMembers(source); in IsIdenticalTo()
88 checker_->ResolveStructuredTypeMembers(target); in IsIdenticalTo()
91 checker_->IdenticalResults().cached.insert({{source->Id(), target->Id()}, {result_, RelationType::IDENTICAL}}); in IsIdenticalTo()
125 result_ = CacheLookup(source, target, checker_->AssignableResults(), RelationType::ASSIGNABLE); in IsAssignableTo()
137 checker_ in IsAssignableTo()
[all...]
/arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/
H A DtupleLowering.cpp34 : checker_(checker), update_(update) in TupleUpdateConverter()
63 *checker_->GetTupleElementAccessValue(argument_->AsMemberExpression()->Property()->TsType(), in ComputeTypes()
66 tupleElementTypeNode_ = checker_->AllocNode<ir::OpaqueTypeNode>(argumentType->AsETSTupleType()->ElementType()); in ComputeTypes()
67 tupleTypeAtIdxNode_ = checker_->AllocNode<ir::OpaqueTypeNode>(tupleTypeAtIdx_); in ComputeTypes()
83 auto *const gensymTsAs = checker_->AllocNode<ir::TSAsExpression>(argumentClone, tupleTypeAtIdxNode_, false); in GenerateExpressions()
84 auto *const tupleAsType = checker_->AllocNode<ir::AssignmentExpression>( in GenerateExpressions()
89 auto *identClone = gensym->Clone(checker_->Allocator(), nullptr); in GenerateExpressions()
92 checker_->AllocNode<ir::UpdateExpression>(identClone, update_->OperatorType(), update_->IsPrefix()); in GenerateExpressions()
93 auto *const gensym2Assignment = checker_->AllocNode<ir::AssignmentExpression>( in GenerateExpressions()
98 identClone = gensym->Clone(checker_ in GenerateExpressions()
154 checker::ETSChecker *const checker_; global() member in ark::es2panda::compiler::TupleUpdateConverter::checker
[all...]
H A DenumLowering.cpp99 bodyBlock = checker_->AllocNode<ir::BlockStatement>(Allocator(), std::move(functionInfo.body)); in MakeFunction()
103 auto *const function = checker_->AllocNode<ir::ScriptFunction>( in MakeFunction()
142 auto *const arrayExpr = checker_->AllocNode<ir::ArrayExpression>(std::move(elements), Allocator()); in MakeArray()
143 auto *const arrayIdent = checker_->AllocNode<ir::Identifier>(name, Allocator()); in MakeArray()
144 auto *const arrayClassProp = checker_->AllocNode<ir::ClassProperty>( in MakeArray()
163 auto *const stringTypeAnnotation = MakeTypeReference(checker_, "String"); // NOTE String -> Builtin? in CreateEnumNamesArray()
164 auto *const arrayTypeAnnotation = checker_->AllocNode<ir::TSArrayType>(stringTypeAnnotation); in CreateEnumNamesArray()
170 checker_->AllocNode<ir::StringLiteral>(member->Key()->AsIdentifier()->Name()); in CreateEnumNamesArray()
179 auto *ident = Allocator()->New<ir::Identifier>(GetEnumClassName(checker_, enumDecl).View(), Allocator()); in CreateClass()
184 auto *classDef = checker_ in CreateClass()
[all...]
/arkcompiler/ets_frontend/ets2panda/checker/types/
H A DtypeRelation.cpp25 return checker_->Allocator(); in Allocator()
62 result_ = CacheLookup(source, target, checker_->IdenticalResults(), RelationType::IDENTICAL); in IsIdenticalTo()
64 checker_->ResolveStructuredTypeMembers(source); in IsIdenticalTo()
65 checker_->ResolveStructuredTypeMembers(target); in IsIdenticalTo()
68 checker_->IdenticalResults().cached.insert({{source->Id(), target->Id()}, {result_, RelationType::IDENTICAL}}); in IsIdenticalTo()
102 result_ = CacheLookup(source, target, checker_->AssignableResults(), RelationType::ASSIGNABLE); in IsAssignableTo()
115 checker_->AssignableResults().cached.insert( in IsAssignableTo()
125 result_ = CacheLookup(source, target, checker_->ComparableResults(), RelationType::COMPARABLE); in IsComparableTo()
141 checker_->ComparableResults().cached.insert( in IsComparableTo()
150 result_ = CacheLookup(source, target, checker_ in IsCastableTo()
[all...]
H A DtypeRelation.h138 : checker_(checker), result_(RelationResult::FALSE), instantiationRecursionMap_(Allocator()->Adapter()) in TypeRelation()
244 return checker_; in GetChecker()
254 return checker_; in GetChecker()
350 Checker *checker_; member in ark::es2panda::checker::TypeRelation
/arkcompiler/ets_frontend/ets2panda/checker/
H A Dchecker.h236 explicit NamedTypeStackElement(Checker *checker, Type *element) : checker_(checker), element_(element) in NamedTypeStackElement()
238 checker_->namedTypeStack_.insert(element); in NamedTypeStackElement()
243 checker_->namedTypeStack_.erase(element_); in ~NamedTypeStackElement()
249 Checker *checker_; member in ark::es2panda::ark::es2panda::ark::es2panda::ark::es2panda::checker::NamedTypeStackElement
257 : checker_(checker), element_(element), hasErrorChecker_(false) in TypeStackElement()
260 checker_->LogTypeError(list, pos); in TypeStackElement()
266 : checker_(checker), element_(element), hasErrorChecker_(false) in TypeStackElement()
269 checker_->LogTypeError(err, pos); in TypeStackElement()
284 checker_->typeStack_.erase(element_); in ~TypeStackElement()
292 Checker *checker_; member in ark::es2panda::ark::es2panda::ark::es2panda::ark::es2panda::checker::TypeStackElement
314 Checker *checker_; global() member in ark::es2panda::ark::es2panda::ark::es2panda::ark::es2panda::checker::ScopeContext
351 Checker *checker_; global() member in ark::es2panda::ark::es2panda::ark::es2panda::ark::es2panda::checker::SavedCheckerContext
[all...]
H A DSemanticAnalyzer.h177 checker_ = checker; in SemanticAnalyzer()
196 return checker_; in GetChecker()
200 Checker *checker_; member in ark::es2panda::checker::SemanticAnalyzer
/arkcompiler/ets_frontend/ets2panda/evaluate/
H A DirCheckHelper.cpp25 : checker_(checker), varBinder_(varBinder), recursiveDecls_(checker->Allocator()->Adapter()) in IrCheckHelper()
27 ASSERT(checker_); in IrCheckHelper()
40 scope = checker_->Scope(); in CheckNewNode()
74 helpers::DoScopedAction(checker_, varBinder_, program, scope, parent, [this, node = node, scope = scope]() { in CheckDecls()
76 node->Check(checker_); in CheckDecls()
89 helpers::DoScopedAction(checker_, varBinder_, program, scope, parent, in HandleCustomNodes()
102 helpers::DoScopedAction(checker_, varBinder_, program, globalClassScope, globalClass, in CheckGlobalEntity()
H A DirCheckHelper.h86 return checker_; in GetChecker()
94 checker::ETSChecker *checker_ {nullptr};
H A DscopedDebugInfoPlugin.cpp87 checker_(checker), in ScopedDebugInfoPlugin()
98 ASSERT(checker_); in ScopedDebugInfoPlugin()
163 BreakLastStatement(checker_, scriptFunction->Id()->Name(), lastStatement); in InsertReturnStatement()
178 helpers::DoScopedAction(checker_, varBinder, GetEvaluatedExpressionProgram(), scope, nullptr, in InsertReturnStatement()
183 node->Check(checker_); in InsertReturnStatement()
217 helpers::SafeStateScope s(checker_, GetETSBinder()); in FindIdentifier()
450 return checker_->Allocator();
/arkcompiler/ets_frontend/ets2panda/checker/typeChecker/
H A DTypeChecker.h39 explicit TypeChecker(Checker *checker) : checker_(checker) {} in TypeChecker()
43 checker_->ThrowTypeError(list, pos); in ThrowTypeError()
48 checker_->LogTypeError(list, pos); in LogTypeError()
52 Checker *const checker_; member in ark::es2panda::checker::TypeChecker
/arkcompiler/ets_frontend/es2panda/typescript/
H A Dchecker.h501 explicit ScopeContext(Checker *checker, binder::Scope *newScope) : checker_(checker), prevScope_(checker_->scope_) in ScopeContext()
503 checker_->scope_ = newScope; in ScopeContext()
508 checker_->scope_ = prevScope_; in ~ScopeContext()
515 Checker *checker_; member in panda::es2panda::panda::es2panda::panda::es2panda::checker::ScopeContext
522 : checker_(checker), prev_(checker->context_) in SavedCheckerContext()
524 checker_->context_ = CheckerContext(newStatus); in SavedCheckerContext()
532 checker_->context_ = prev_; in ~SavedCheckerContext()
536 Checker *checker_; member in panda::es2panda::panda::es2panda::panda::es2panda::checker::SavedCheckerContext
/arkcompiler/ets_frontend/ets2panda/declgen_ets2ts/
H A DdeclgenEts2Ts.h32 : checker_(checker), program_(program) in TSDeclGen()
103 checker::ETSChecker *checker_ {};

Completed in 11 milliseconds

12