/arkcompiler/ets_frontend/es2panda/typescript/core/ |
H A D | binaryLikeExpression.cpp | 26 CheckNonNullType(leftType, leftExpr->Start()); in CheckBinaryOperator() 27 CheckNonNullType(rightType, rightExpr->Start()); in CheckBinaryOperator() 56 expr->Start()); in CheckBinaryOperator() 65 expr->Start()); in CheckBinaryOperator() 73 rightExpr->Start()); in CheckBinaryOperator() 83 ThrowTypeError({"operator ", op, " cannot be applied to types 'bigint' and 'bigint'"}, expr->Start()); in CheckBinaryOperator() 87 ThrowBinaryLikeError(op, leftType, rightType, expr->Start()); in CheckBinaryOperator() 98 CheckNonNullType(leftType, leftExpr->Start()); in CheckPlusOperator() 99 CheckNonNullType(rightType, rightExpr->Start()); in CheckPlusOperator() 110 ThrowTypeError("object is of type 'unknown'", leftExpr->Start()); in CheckPlusOperator() [all...] |
H A D | destructuringContext.cpp | 58 checker_->ThrowTypeError({"Cannot find name '", ident->Name(), "'."}, ident->Start()); in HandleDestructuringAssignment() 65 checker_->ThrowAssignmentError(defaultType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment() 69 checker_->ThrowAssignmentError(inferedType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment() 121 objPattern->Start()); in ValidateObjectLiteralType() 173 nextContext.Start(); in HandleAssignmentPattern() 181 nextContext.Start(); in HandleAssignmentPattern() 193 checker_->ThrowAssignmentError(defaultType, inferedType, assignmentPattern->Left()->Start()); in HandleIdentifierPattern() 197 assignmentPattern->Start()); in HandleIdentifierPattern() 206 id_->Start()); in ValidateInferedType() 214 id_->Start()); in ValidateInferedType() 452 void ArrayDestructuringContext::Start() Start() function in panda::es2panda::checker::ArrayDestructuringContext 648 void ObjectDestructuringContext::Start() Start() function in panda::es2panda::checker::ObjectDestructuringContext [all...] |
H A D | function.cpp | 57 ElaborateElementwise(returnType, func->Body()->AsExpression(), func->Body()->Start()); in HandleFunctionReturn() 62 func->ReturnTypeAnnotation()->Start()); in HandleFunctionReturn() 67 func, func->ReturnTypeAnnotation()->Start(), in HandleFunctionReturn() 105 ThrowTypeError("Return type annotation circularly reference itself", func->ReturnTypeAnnotation()->Start()); in ThrowReturnTypeCircularityError() 112 func->Id()->Start()); in ThrowReturnTypeCircularityError() 118 func->Start()); in ThrowReturnTypeCircularityError() 129 ThrowTypeError({"Parameter ", param->Name(), " implicitly has any type."}, param->Start()); in CheckFunctionIdentifierParameter() 221 ElaborateElementwise(paramType, param->Right(), paramIdent->Start()); in CheckFunctionAssignmentPatternParameter() 239 context.Start(); in CheckFunctionAssignmentPatternParameter() 246 context.Start(); in CheckFunctionAssignmentPatternParameter() [all...] |
H A D | helpers.cpp | 105 ThrowTypeError({"Cannot assign to '", name, "' because it is not a variable."}, expr->Start()); in CheckReferenceExpression() 109 ThrowTypeError(invalidOptionalChainMsg, expr->Start()); in CheckReferenceExpression() 112 ThrowTypeError(invalidReferenceMsg, expr->Start()); in CheckReferenceExpression() 326 ArrayElaborationContext(this, targetType, sourceType, sourceNode, pos).Start(); in ElaborateElementwise() 329 ObjectElaborationContext(this, targetType, sourceType, sourceNode, pos).Start(); in ElaborateElementwise() 331 ArrayElaborationContext(this, targetType, sourceType, sourceNode, pos).Start(); in ElaborateElementwise() 356 declarator->Id()->Start()); in InferSimpleVariableDeclaratorType() 371 decl->Node()->Start()); in GetTypeOfVariable() 379 decl->Node()->Start()); in GetTypeOfVariable() 424 ThrowTypeError({"Parameter ", ident->Name(), " implicitly has an 'any' type."}, ident->Start()); in GetTypeOfVariable() [all...] |
H A D | typeElaborationContext.cpp | 54 void ArrayElaborationContext::Start() in Start() function in panda::es2panda::checker::ArrayElaborationContext 80 checker_->ElaborateElementwise(targetElementType, it, it->Start()); in Start() 98 void ObjectElaborationContext::Start() in Start() function in panda::es2panda::checker::ObjectElaborationContext 147 " does not exist in type '", targetType_, "'."}, it->Start()); in Start() 157 checker_->ElaborateElementwise(targetElementType, prop->Value(), it->Start()); in Start()
|
/arkcompiler/ets_frontend/ets2panda/checker/ts/ |
H A D | binaryLikeExpression.cpp | 52 expr->Start()); in CheckBooleanLikeType() 59 CheckNonNullType(leftRightType->leftType, leftExpr->Start()); in CheckBinaryOperator() 60 CheckNonNullType(leftRightType->rightType, rightExpr->Start()); in CheckBinaryOperator() 69 expr->Start()); in CheckBinaryOperator() 77 rightExpr->Start()); in CheckBinaryOperator() 89 ThrowTypeError({"operator ", op, " cannot be applied to types 'bigint' and 'bigint'"}, expr->Start()); in CheckBinaryOperator() 93 ThrowBinaryLikeError(op, leftRightType->leftType, leftRightType->rightType, expr->Start()); in CheckBinaryOperator() 105 CheckNonNullType(leftRightType->leftType, leftExpr->Start()); in CheckPlusOperator() 106 CheckNonNullType(leftRightType->rightType, rightExpr->Start()); in CheckPlusOperator() 120 ThrowTypeError("object is of type 'unknown'", leftExpr->Start()); in CheckPlusOperator() [all...] |
H A D | destructuringContext.cpp | 58 checker_->ThrowTypeError({"Cannot find name '", ident->Name(), "'."}, ident->Start()); in HandleDestructuringAssignment() 65 checker_->ThrowAssignmentError(defaultType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment() 69 checker_->ThrowAssignmentError(inferredType, variable->TsType(), ident->Start()); in HandleDestructuringAssignment() 122 objPattern->Start()); in ValidateObjectLiteralType() 134 nextContext.Start(); in HandleAssignmentPatternArrayPattern() 142 checker_->ThrowAssignmentError(defaultType, inferredType, assignmentPattern->Left()->Start()); in HandleAssignmentPatternIdentifier() 146 assignmentPattern->Start()); in HandleAssignmentPatternIdentifier() 202 nextContext.Start(); in HandleAssignmentPattern() 211 id_->Start()); in ValidateInferredType() 219 id_->Start()); in ValidateInferredType() 495 void ArrayDestructuringContext::Start() Start() function in ark::es2panda::checker::ArrayDestructuringContext 653 void ObjectDestructuringContext::Start() Start() function in ark::es2panda::checker::ObjectDestructuringContext [all...] |
H A D | typeElaborationContext.cpp | 54 void ArrayElaborationContext::Start() in Start() function in ark::es2panda::checker::ArrayElaborationContext 80 checker_->ElaborateElementwise(targetElementType, it, it->Start()); in Start() 118 void ObjectElaborationContext::Start() in Start() function in ark::es2panda::checker::ObjectElaborationContext 149 it->Start()); in Start() 159 checker_->ElaborateElementwise(targetElementType, prop->Value(), it->Start()); in Start()
|
H A D | function.cpp | 55 ElaborateElementwise(returnType, func->Body()->AsExpression(), func->Body()->Start()); in HandleFunctionReturn() 60 func->ReturnTypeAnnotation()->Start()); in HandleFunctionReturn() 65 func, func->ReturnTypeAnnotation()->Start(), in HandleFunctionReturn() 103 ThrowTypeError("Return type annotation circularly reference itself", func->ReturnTypeAnnotation()->Start()); in ThrowReturnTypeCircularityError() 110 func->Id()->Start()); in ThrowReturnTypeCircularityError() 116 func->Start()); in ThrowReturnTypeCircularityError() 127 ThrowTypeError({"Parameter ", param->Name(), " implicitly has any type."}, param->Start()); in CheckFunctionIdentifierParameter() 216 ElaborateElementwise(paramType, param->Right(), paramIdent->Start()); in CheckFunctionAssignmentPatternParameter() 234 context.Start(); in CheckFunctionAssignmentPatternParameter() 241 context.Start(); in CheckFunctionAssignmentPatternParameter() [all...] |
H A D | helpers.cpp | 103 ThrowTypeError({"Cannot assign to '", name, "' because it is not a variable."}, expr->Start()); in CheckReferenceExpression() 107 ThrowTypeError(invalidOptionalChainMsg, expr->Start()); in CheckReferenceExpression() 110 ThrowTypeError(invalidReferenceMsg, expr->Start()); in CheckReferenceExpression() 324 ArrayElaborationContext(this, targetType, sourceType, sourceNode, pos).Start(); in ElaborateElementwise() 327 ObjectElaborationContext(this, targetType, sourceType, sourceNode, pos).Start(); in ElaborateElementwise() 329 ArrayElaborationContext(this, targetType, sourceType, sourceNode, pos).Start(); in ElaborateElementwise() 354 declarator->Id()->Start()); in InferSimpleVariableDeclaratorType() 383 ThrowTypeError({"Parameter ", ident->Name(), " implicitly has an 'any' type."}, ident->Start()); in GetTypeParam() 411 decl->Node()->Start()); in GetTypeEnum() 424 decl->Node()->Start()); in GetDeclTsType() [all...] |
/arkcompiler/ets_frontend/ets2panda/ast_verifier/ |
H A D | everyChildInParentRange.cpp | 30 if (ast->Start().line > node->Start().line || ast->End().line < node->End().line) { in operator ()() 33 if (ast->Start().line == node->Start().line && ast->Start().index > node->Start().index) { in operator ()() 39 ctx.AddCheckMessage("INCORRECT_CHILD_RANGE", *node, node->Start()); in operator ()()
|
H A D | forLoopCorrectlyInitialized.cpp | 43 ctx.AddCheckMessage("NULL FOR-IN-LEFT", *ast, ast->Start()); in HandleForInStatement() 48 ctx.AddCheckMessage("INCORRECT FOR-IN-LEFT", *ast, ast->Start()); in HandleForInStatement() 59 ctx.AddCheckMessage("NULL FOR-OF-LEFT", *ast, ast->Start()); in HandleForOfStatement() 64 ctx.AddCheckMessage("INCORRECT FOR-OF-LEFT", *ast, ast->Start()); in HandleForOfStatement() 78 ctx.AddCheckMessage("NULL FOR-TEST AND FOR-BODY", *ast, ast->Start()); in HandleForUpdateStatement() 86 ctx.AddCheckMessage("NULL FOR VAR", *ast, ast->Start()); in HandleForUpdateStatement()
|
H A D | nodeHasSourceRange.cpp | 23 ast->Start().line != 0 || ast->Start().index != 0 || ast->End().line != 0 || ast->End().index != 0; in operator ()() 25 ctx.AddCheckMessage("NULL_RANGE", *ast, ast->Start()); in operator ()()
|
H A D | sequenceExpressionHasLastType.cpp | 29 ctx.AddCheckMessage("Sequence expression type is null", *expr, expr->Start()); in operator ()() 33 ctx.AddCheckMessage("Sequence expression last type is null", *last, last->Start()); in operator ()() 37 ctx.AddCheckMessage("Sequence expression type and last expression type are not the same", *expr, expr->Start()); in operator ()()
|
/arkcompiler/ets_frontend/ets2panda/checker/ets/ |
H A D | etsWarningAnalyzer.cpp | 73 ETSThrowWarning("Suggest 'final' modifier for class", classDef->Ident()->Start()); in AnalyzeClassDefForFinalModifier() 116 ETSThrowWarning("Suggest 'final' modifier for method", methodDef->Function()->Start()); in AnalyzeClassMethodForFinalModifier() 141 lexer::SourcePosition pos = exprCallee->Start(); in CheckTopLevelExpressions() 143 pos = exprCallee->AsMemberExpression()->Object()->Start(); in CheckTopLevelExpressions() 148 ETSThrowWarning("Prohibit top-level statements", assignmentExpr->Left()->Start()); in CheckTopLevelExpressions() 167 ETSThrowWarning("Prohibit top-level statements", statement->Start()); in CheckProhibitedTopLevelStatements() 218 ETSThrowWarning("Boost Equality Statement. Change sides of binary expression", node->Start()); in ETSWarningBoostEqualityStatement() 230 ETSThrowWarning("Replace asynchronous function with coroutine", methodDefinition->Start()); in ETSWarningRemoveAsync() 241 ETSThrowWarning("Replace the lambda function with a regular function", node->Start()); in ETSWarningRemoveLambda() 253 ETSThrowWarning("Implicit Boxing to Int" + GetBoxingUnboxingType(node), node->Start()); in CheckTypeOfBoxing() [all...] |
/arkcompiler/runtime_core/static_core/libpandabase/utils/ |
H A D | cframe_layout.h | 38 static constexpr ssize_t Start() in Start() function in ark::StackRegion 44 return Start() + GetSize(); in End() 87 static constexpr ssize_t HEADER_SIZE = FlagsSlot::End() - LrSlot::Start(); 99 static constexpr ptrdiff_t STACK_ARGS_START = StackArgSlot::Start(); 100 static constexpr ptrdiff_t FRAME_START_SLOT = LrSlot::Start(); 138 return StackArgSlot::Start(); in GetStackArgsStartSlot() 174 return GetOffset<ORIGIN, UNIT>(MethodSlot::Start()); in GetMethodOffset() 180 return GetOffset<ORIGIN, UNIT>(LrSlot::Start()); in GetReturnAddressOffset() 278 return LocalsRegion::Start() + static_cast<ssize_t>(GetLocalsCount()) - 1; in GetOsrFpLrSlot() 288 static_assert(MethodSlot::Start() > LrSlo in GetFpLrSlotsCount() [all...] |
/arkcompiler/ets_frontend/ets2panda/parser/ |
H A D | ETSFormattedParser.cpp | 66 ThrowSyntaxError(INVALID_NUMBER_NODE, Lexer()->GetToken().Start()); in GetFormatPlaceholderType() 76 ThrowSyntaxError(INSERT_NODE_ABSENT, Lexer()->GetToken().Start()); in ParseExpressionFormatPlaceholder() 81 ThrowSyntaxError(INVALID_FORMAT_NODE, Lexer()->GetToken().Start()); in ParseExpressionFormatPlaceholder() 89 ThrowSyntaxError(INVALID_FORMAT_NODE, Lexer()->GetToken().Start()); in ParseExpressionFormatPlaceholder() 96 ThrowSyntaxError(INVALID_INSERT_NODE, Lexer()->GetToken().Start()); in ParseExpressionFormatPlaceholder() 108 ThrowSyntaxError(INSERT_NODE_ABSENT, Lexer()->GetToken().Start()); in ParseTypeFormatPlaceholder() 113 ThrowSyntaxError(INVALID_FORMAT_NODE, Lexer()->GetToken().Start()); in ParseTypeFormatPlaceholder() 121 ThrowSyntaxError(INVALID_INSERT_NODE, Lexer()->GetToken().Start()); in ParseTypeFormatPlaceholder() 133 ThrowSyntaxError(INSERT_NODE_ABSENT, Lexer()->GetToken().Start()); in ParseIdentifierFormatPlaceholder() 138 ThrowSyntaxError(INVALID_FORMAT_NODE, Lexer()->GetToken().Start()); in ParseIdentifierFormatPlaceholder() [all...] |
/arkcompiler/runtime_core/libpandabase/utils/ |
H A D | cframe_layout.h | 38 static constexpr ssize_t Start() in Start() function in panda::StackRegion 44 return Start() + GetSize(); in End() 87 static constexpr ssize_t HEADER_SIZE = FlagsSlot::End() - LrSlot::Start(); 141 return StackArgSlot::Start(); in GetStackArgsStartSlot() 177 return GetOffset<origin, unit>(MethodSlot::Start()); in GetMethodOffset() 183 return GetOffset<origin, unit>(LrSlot::Start()); in GetReturnAddressOffset() 281 return LocalsRegion::Start() + static_cast<ssize_t>(GetLocalsCount()) - 1; in GetOsrFpLrSlot() 291 static_assert(MethodSlot::Start() > LrSlot::Start()); in GetFpLrSlotsCount() 292 return MethodSlot::Start() in GetFpLrSlotsCount() [all...] |
/arkcompiler/runtime_core/static_core/runtime/include/ |
H A D | cframe.h | 96 return CFrameLayout::FrameKindField::Get(*GetPtr<SlotType>(CFrameLayout::FlagsSlot::Start())) == in IsOsr() 102 return CFrameLayout::FrameKindField::Get(*GetPtr<SlotType>(CFrameLayout::FlagsSlot::Start())) == in IsNative() 108 CFrameLayout::FrameKindField::Set(kind, GetPtr<SlotType>(CFrameLayout::FlagsSlot::Start())); in SetFrameKind() 115 return CFrameLayout::ShouldDeoptimizeFlag::Get(*GetPtr<SlotType>(CFrameLayout::FlagsSlot::Start())); in ShouldDeoptimize() 120 CFrameLayout::ShouldDeoptimizeFlag::Set(v, GetPtr<SlotType>(CFrameLayout::FlagsSlot::Start())); in SetShouldDeoptimize() 125 CFrameLayout::HasFloatRegsFlag::Set(has, GetPtr<SlotType>(CFrameLayout::FlagsSlot::Start())); in SetHasFloatRegs() 130 return *GetPtr<SlotType *>(CFrameLayout::PrevFrameSlot::Start()); in GetPrevFrame() 135 return *GetPtr<SlotType *>(CFrameLayout::PrevFrameSlot::Start()); in GetPrevFrame() 140 *GetPtr<SlotType>(CFrameLayout::PrevFrameSlot::Start()) = bit_cast<SlotType>(prevFrame); in SetPrevFrame() 145 return *GetPtr<Method *>(CFrameLayout::MethodSlot::Start()); in GetMethod() [all...] |
/arkcompiler/ets_frontend/es2panda/ir/expressions/ |
H A D | memberExpression.cpp | 105 checker::Type *baseType = checker->CheckNonNullType(object_->Check(checker), object_->Start()); in Check() 116 checker->ThrowTypeError({"Type ", indexType, " cannot be used as index type"}, property_->Start()); in Check() 121 Start()); in Check() 126 Start()); in Check() 133 property_->Start()); in Check() 138 property_->Start()); in Check() 143 property_->Start()); in Check() 176 property_->Start()); in Check()
|
H A D | unaryExpression.cpp | 133 argument_->Start()); in Check() 140 argument_->Start()); in Check() 147 argument_->Start()); in Check() 151 checker->ThrowTypeError("The operand of a delete operator must be a optional.", argument_->Start()); in Check() 178 checker->CheckNonNullType(operandType, Start()); in Check() 183 checker->ThrowTypeError({"Operator '+' cannot be applied to type '", operandType, "'"}, Start()); in Check() 192 checker->CheckTruthinessOfType(operandType, Start()); in Check()
|
/arkcompiler/ets_frontend/ets2panda/checker/ |
H A D | TSAnalyzer.cpp | 39 st->Start()); in Check() 73 checker->Allocator()->New<checker::IndexInfo>(indexType, paramName, node->Readonly(), node->Start()); in Check() 106 node->Start()); in Check() 131 checker->ThrowTypeError("Property implicitly has an 'any' type.", node->Start()); in Check() 153 node->Start()); in Check() 158 node->Start()); in Check() 260 GetSpreadElementType(checker, spreadType, elementTypes, it->Start()); in Check() 384 destructuringContext.Start(); in Check() 392 destructuringContext.Start(); in Check() 400 expr->Left()->Start()); in Check() [all...] |
H A D | ETSAnalyzer.cpp | 48 exceptionType = checker->CheckExceptionOrErrorType(catchParamAnnotationType, st->Param()->Start()); in Check() 101 checker->LogTypeError("Static initializer is not allowed in inner class.", st->Start()); in Check() 127 checker->LogTypeError("'Native' method should have explicit return type", scriptFunc->Start()); in HandleNativeAndAsyncMethods() 139 checker->LogTypeError("Return type of async function must be 'Promise'.", scriptFunc->Start()); in HandleNativeAndAsyncMethods() 158 checker->LogTypeError("Invalid function expression", node->Start()); in Check() 170 checker->LogTypeError("Only abstract or native methods can't have body.", scriptFunc->Start()); in Check() 177 checker->LogTypeError("Native and Declare methods should have explicit return type.", scriptFunc->Start()); in Check() 220 node->Start()); in CheckMethodModifiers() 226 checker->LogTypeError("Invalid function expression", node->Start()); in CheckMethodModifiers() 234 checker->LogTypeError("Non abstract class has abstract method.", node->Start()); in CheckMethodModifiers() [all...] |
/arkcompiler/ets_frontend/ets2panda/ir/expressions/ |
H A D | memberExpression.cpp | 186 checker->ValidatePropertyAccess(var, objType_, property_->Start()); in ResolveObjectMember() 214 checker->LogTypeError("Member type must be the same for all union objects.", Start()); in TraverseUnionMember() 227 checker->LogTypeError({"Type ", unionType, " is illegal in union member expression."}, Start()); in TraverseUnionMember() 274 checker->LogTypeError("Index value cannot be less than zero.", property_->Start()); in CheckArrayIndexValue() 282 checker->LogTypeError("Index value cannot be less than zero or fractional.", property_->Start()); in CheckArrayIndexValue() 291 checker->LogTypeError("Index value cannot be greater than or equal to the array size.", property_->Start()); in CheckArrayIndexValue() 315 checker->LogTypeError("Object type doesn't have proper index access method.", Start()); in CheckIndexAccessMethod() 331 checker::Signature *signature = checker->ValidateSignatures(signatures, nullptr, arguments, Start(), "indexing", in CheckIndexAccessMethod() 334 checker->LogTypeError("Cannot find index access method with the required signature.", Property()->Start()); in CheckIndexAccessMethod() 337 checker->ValidateSignatureAccessibility(objType_, nullptr, signature, Start(), in CheckIndexAccessMethod() [all...] |
/arkcompiler/ets_frontend/ets2panda/compiler/lowering/scopesInit/ |
H A D | scopesInitPhase.cpp | 136 AddOrGetDecl<varbinder::ConstDecl>(VarBinder(), classDef->PrivateId(), classDef, classDef->Start(), in VisitClassDefinition() 228 auto [decl, var] = AddOrGetVarDecl(varDecl->Flag(), varDecl->Start(), binding); in VisitVariableDeclarator() 286 AddOrGetDecl<varbinder::ExportDecl>(VarBinder(), name, exportAllDecl, exportAllDecl->Start(), name, "*"); in VisitExportAllDeclaration() 293 AddOrGetDecl<varbinder::ImportDecl>(VarBinder(), importSpec->Local()->Name(), importSpec, importSpec->Start(), "*", in VisitImportNamespaceSpecifier() 301 AddOrGetDecl<varbinder::ImportDecl>(VarBinder(), importSpec->Local()->Name(), importSpec, importSpec->Start(), in VisitImportSpecifier() 309 AddOrGetDecl<varbinder::ImportDecl>(VarBinder(), local->Name(), importSpec, local->Start(), "default", in VisitImportDefaultSpecifier() 342 AddOrGetDecl<varbinder::ExportDecl>(VarBinder(), spec->Local()->Name(), spec, exportDecl->Start(), in VisitExportNamedDeclaration() 390 AddOrGetDecl<varbinder::FunctionDecl>(VarBinder(), func->Id()->Name(), func, func->Id()->Start(), Allocator(), in CreateFuncDecl() 406 auto identDecl = AddOrGetDecl<varbinder::ConstDecl>(VarBinder(), identNode->Name(), classDef, identNode->Start(), in BindClassName() 425 const auto locStart = classDef->Ident()->Start(); in BindClassDefinition() [all...] |