/arkcompiler/ets_frontend/ets2panda/checker/ts/ |
H A D | object.cpp | 47 ObjectType *objType = type->AsObjectType(); in CheckIndexConstraints() local 48 ResolveStructuredTypeMembers(objType); in CheckIndexConstraints() 50 IndexInfo *numberInfo = objType->NumberIndexInfo(); in CheckIndexConstraints() 51 IndexInfo *stringInfo = objType->StringIndexInfo(); in CheckIndexConstraints() 52 const ArenaVector<varbinder::LocalVariable *> &properties = objType->Properties(); in CheckIndexConstraints() 86 ObjectType *objType = type->AsObjectType(); in ResolveStructuredTypeMembers() local 88 if (objType->IsObjectLiteralType()) { in ResolveStructuredTypeMembers() 89 ResolveObjectTypeMembers(objType); in ResolveStructuredTypeMembers() 93 if (objType->IsInterfaceType()) { in ResolveStructuredTypeMembers() 94 ResolveInterfaceOrClassTypeMembers(objType in ResolveStructuredTypeMembers() 122 ObjectType *objType = it->AsObjectType(); ResolveUnionTypeMembers() local 313 ObjectType *objType = it->AsObjectType(); GetPropertyOfUnionType() local [all...] |
H A D | typeCreation.cpp | 127 auto *objType = Allocator()->New<ObjectLiteralType>(Allocator()->New<ObjectDescriptor>(Allocator())); in CreateObjectTypeWithCallSignature() local 128 objType->AddCallSignature(callSignature); in CreateObjectTypeWithCallSignature() 129 return objType; in CreateObjectTypeWithCallSignature() 134 auto *objType = Allocator()->New<ObjectLiteralType>(Allocator()->New<ObjectDescriptor>(Allocator())); in CreateObjectTypeWithConstructSignature() local 135 objType->AddConstructSignature(constructSignature); in CreateObjectTypeWithConstructSignature() 136 return objType; in CreateObjectTypeWithConstructSignature()
|
H A D | destructuringContext.cpp | 99 void DestructuringContext::ValidateObjectLiteralType(ObjectType *objType, ir::ObjectExpression *objPattern) in ValidateObjectLiteralType() argument 101 for (const auto *sourceProp : objType->Properties()) { in ValidateObjectLiteralType() 554 Type *ObjectDestructuringContext::CreateObjectTypeForRest(ObjectType *objType) in CreateObjectTypeForRest() argument 558 for (auto *it : objType->AsObjectType()->Properties()) { in CreateObjectTypeForRest() 638 checker::ObjectType *objType = inferredType_->AsObjectType(); in NextInferredType() local 640 if (objType->StringIndexInfo() != nullptr) { in NextInferredType() 641 return objType->StringIndexInfo()->GetType(); in NextInferredType()
|
H A D | destructuringContext.h | 68 void ValidateObjectLiteralType(ObjectType *objType, ir::ObjectExpression *objPattern); 126 Type *CreateObjectTypeForRest(ObjectType *objType);
|
/arkcompiler/ets_frontend/es2panda/typescript/core/ |
H A D | object.cpp | 49 ObjectType *objType = type->AsObjectType(); in CheckIndexConstraints() local 50 ResolveStructuredTypeMembers(objType); in CheckIndexConstraints() 52 IndexInfo *numberInfo = objType->NumberIndexInfo(); in CheckIndexConstraints() 53 IndexInfo *stringInfo = objType->StringIndexInfo(); in CheckIndexConstraints() 54 const ArenaVector<binder::LocalVariable *> &properties = objType->Properties(); in CheckIndexConstraints() 88 ObjectType *objType = type->AsObjectType(); in ResolveStructuredTypeMembers() local 90 if (objType->IsObjectLiteralType()) { in ResolveStructuredTypeMembers() 91 ResolveObjectTypeMembers(objType); in ResolveStructuredTypeMembers() 95 if (objType->IsInterfaceType()) { in ResolveStructuredTypeMembers() 96 ResolveInterfaceOrClassTypeMembers(objType in ResolveStructuredTypeMembers() 125 ObjectType *objType = it->AsObjectType(); ResolveUnionTypeMembers() local 321 ObjectType *objType = it->AsObjectType(); GetPropertyOfUnionType() local [all...] |
H A D | typeCreation.cpp | 130 auto *objType = allocator_->New<ObjectLiteralType>(allocator_->New<ObjectDescriptor>(allocator_)); in CreateObjectTypeWithCallSignature() local 131 CHECK_NOT_NULL(objType); in CreateObjectTypeWithCallSignature() 132 objType->AddCallSignature(callSignature); in CreateObjectTypeWithCallSignature() 133 return objType; in CreateObjectTypeWithCallSignature() 138 auto *objType = allocator_->New<ObjectLiteralType>(allocator_->New<ObjectDescriptor>(allocator_)); in CreateObjectTypeWithConstructSignature() local 139 CHECK_NOT_NULL(objType); in CreateObjectTypeWithConstructSignature() 140 objType->AddConstructSignature(constructSignature); in CreateObjectTypeWithConstructSignature() 141 return objType; in CreateObjectTypeWithConstructSignature()
|
H A D | destructuringContext.cpp | 98 void DestructuringContext::ValidateObjectLiteralType(ObjectType *objType, const ir::ObjectExpression *objPattern) in ValidateObjectLiteralType() argument 100 for (const auto *sourceProp : objType->Properties()) { in ValidateObjectLiteralType() 546 Type *ObjectDestructuringContext::CreateObjectTypeForRest(ObjectType *objType) in CreateObjectTypeForRest() argument 551 for (auto *it : objType->AsObjectType()->Properties()) { in CreateObjectTypeForRest() 633 checker::ObjectType *objType = inferedType_->AsObjectType(); in NextInferedType() local 635 if (objType->StringIndexInfo()) { in NextInferedType() 636 return objType->StringIndexInfo()->GetType(); in NextInferedType()
|
H A D | destructuringContext.h | 56 void ValidateObjectLiteralType(ObjectType *objType, const ir::ObjectExpression *objPattern); 120 Type *CreateObjectTypeForRest(ObjectType *objType);
|
/arkcompiler/ets_frontend/es2panda/ir/ts/ |
H A D | tsQualifiedName.cpp | 47 checker::ObjectType *objType = baseType->AsObjectType(); in Check() local 49 if (objType->StringIndexInfo()) { in Check() 50 return objType->StringIndexInfo()->GetType(); in Check()
|
/arkcompiler/ets_frontend/es2panda/ir/expressions/ |
H A D | memberExpression.cpp | 163 checker::ObjectType *objType = baseType->AsObjectType(); in Check() local 165 if (objType->StringIndexInfo()) { in Check() 166 checker::Type *indexType = objType->StringIndexInfo()->GetType(); in Check() 167 if (objType->StringIndexInfo()->Readonly()) { in Check()
|
/arkcompiler/ets_frontend/ets2panda/checker/ets/ |
H A D | typeCreation.cpp | 444 ETSObjectType *ETSChecker::UpdateBoxedGlobalType(ETSObjectType *objType, util::StringView name) in UpdateBoxedGlobalType() argument 457 GetGlobalTypesHolder()->GlobalTypes()[static_cast<size_t>(id->second)] = objType; in UpdateBoxedGlobalType() 461 return objType; in UpdateBoxedGlobalType() 464 ETSObjectType *ETSChecker::UpdateGlobalType(ETSObjectType *objType, util::StringView name) in UpdateGlobalType() argument 477 GetGlobalTypesHolder()->GlobalTypes()[static_cast<size_t>(id->second)] = objType; in UpdateGlobalType() 481 auto *nullish = CreateETSUnionType({objType, GlobalETSNullType(), GlobalETSUndefinedType()}); in UpdateGlobalType() 488 return objType; in UpdateGlobalType() 519 auto *objType = CreateNewETSObjectType(name, declNode, flags); in CreateETSObjectTypeCheckBuiltins() local 522 return UpdateGlobalType(objType, name); in CreateETSObjectTypeCheckBuiltins() 536 auto *objType in CreateETSObjectType() local [all...] |
/arkcompiler/ets_runtime/ecmascript/compiler/ |
H A D | mcr_circuit_builder.h | 215 GateRef objType = GetObjectType(LoadHClass(obj)); in TaggedIsSymbol() local 216 result = Equal(objType, Int32(static_cast<int32_t>(JSType::SYMBOL))); in TaggedIsSymbol() 241 GateRef objType = GetObjectType(LoadHClass(obj)); in TaggedIsStringOrSymbol() local 242 result = Equal(objType, Int32(static_cast<int32_t>(JSType::SYMBOL))); in TaggedIsStringOrSymbol() 262 GateRef objType = GetObjectType(LoadHClass(obj)); in TaggedIsProtoChangeMarker() local 263 result = Equal(objType, Int32(static_cast<int32_t>(JSType::PROTO_CHANGE_MARKER))); in TaggedIsProtoChangeMarker() 274 GateRef objType = GetObjectType(LoadHClass(obj)); in TaggedObjectIsJSMap() local 275 return Equal(objType, Int32(static_cast<int32_t>(JSType::JS_MAP))); in TaggedObjectIsJSMap() 280 GateRef objType = GetObjectType(LoadHClass(obj)); in TaggedObjectIsJSSet() local 281 return Equal(objType, Int3 in TaggedObjectIsJSSet() 286 GateRef objType = GetObjectType(LoadHClass(obj)); TaggedObjectIsJSDate() local 299 GateRef objType = GetObjectType(LoadHClass(obj)); TaggedObjectIsJSArray() local 305 GateRef objType = GetObjectType(LoadHClass(obj)); TaggedIsBoundFunction() local [all...] |
/arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
H A D | unionLowering.cpp | 186 auto *objType = in Perform() 188 if (objType->IsETSUnionType()) { in Perform() 214 auto *objType = in Postcondition() 221 return objType->IsETSUnionType() && ast->AsMemberExpression()->PropVar() == nullptr; in Postcondition()
|
H A D | opAssignment.cpp | 246 checker::Type *objType = checker->GlobalVoidType(); // placeholder in ConstructUpdateResult() local 263 objType = object->TsType(); in ConstructUpdateResult() 284 newAssignmentStatements, id1, object, objType, id2, property, propType, GetClone(allocator, id1), in ConstructUpdateResult() 293 return parser->CreateFormattedExpression(newAssignmentStatements, id1, object, objType, id2, property, propType, in ConstructUpdateResult()
|
/arkcompiler/runtime_core/static_core/plugins/ets/runtime/mem/ |
H A D | ets_reference.h | 114 EtsReference *NewEtsRef(EtsObject *obj, EtsReference::EtsObjectType objType) in NewEtsRef() argument 116 mem::Reference *ref = NewRef(obj->GetCoreType(), objType); in NewEtsRef()
|
/arkcompiler/ets_frontend/ets2panda/checker/ |
H A D | ETSAnalyzerHelpers.h | 29 void CheckExtensionIsShadowedInCurrentClassOrInterface(checker::ETSChecker *checker, checker::ETSObjectType *objType, 32 void CheckExtensionIsShadowedByMethod(checker::ETSChecker *checker, checker::ETSObjectType *objType,
|
H A D | ETSAnalyzerHelpers.cpp | 20 void CheckExtensionIsShadowedInCurrentClassOrInterface(checker::ETSChecker *checker, checker::ETSObjectType *objType, in CheckExtensionIsShadowedInCurrentClassOrInterface() argument 25 auto *const variable = objType->GetOwnProperty<checker::PropertyType::INSTANCE_METHOD>(methodName); in CheckExtensionIsShadowedInCurrentClassOrInterface() 38 funcSignature, "' in class ", objType->Name()}, in CheckExtensionIsShadowedInCurrentClassOrInterface() 44 void CheckExtensionIsShadowedByMethod(checker::ETSChecker *checker, checker::ETSObjectType *objType, in CheckExtensionIsShadowedByMethod() argument 47 if (objType == nullptr) { in CheckExtensionIsShadowedByMethod() 51 CheckExtensionIsShadowedInCurrentClassOrInterface(checker, objType, extensionFunc, signature); in CheckExtensionIsShadowedByMethod() 53 for (auto *interface : objType->Interfaces()) { in CheckExtensionIsShadowedByMethod() 57 CheckExtensionIsShadowedByMethod(checker, objType->SuperType(), extensionFunc, signature); in CheckExtensionIsShadowedByMethod()
|
H A D | ETSAnalyzer.cpp | 1463 checker::ETSObjectType *objType = expr->PreferredType()->AsETSObjectType(); in Check() local 1464 if (objType->HasObjectFlag(checker::ETSObjectFlags::INTERFACE)) { in Check() 1471 expr->SetTsType(objType); in Check() 1472 return objType; in Check() 1475 if (objType->HasObjectFlag(checker::ETSObjectFlags::ABSTRACT)) { in Check() 1476 checker->LogTypeError({"target type for class composite ", objType->Name(), " is not instantiable"}, in Check() 1488 expr->SetTsType(objType); in Check() 1489 return objType; in Check() 1493 for (checker::Signature *sig : objType->ConstructSignatures()) { in Check() 1496 checker->ValidateSignatureAccessibility(objType, nullpt in Check() 1517 checker::ETSObjectType *objType = expr->PreferredType()->AsETSObjectType(); CheckObjectExprProps() local [all...] |
/arkcompiler/ets_runtime/ecmascript/pgo_profiler/ |
H A D | pgo_profiler_layout.h | 189 RootHClassLayoutDesc(ProfileType type, JSType objType, uint32_t objSize) in RootHClassLayoutDesc() argument 190 : HClassLayoutDesc(type), objType_(objType), objSize_(objSize) {} in RootHClassLayoutDesc() 218 void SetObjectType(JSType objType) in SetObjectType() argument 220 objType_ = objType; in SetObjectType() 441 void SetObjectType(JSType objType) in SetObjectType() argument 443 objType_ = objType; in SetObjectType()
|
/arkcompiler/ets_frontend/ets2panda/ast_verifier/ |
H A D | helpers.cpp | 267 auto *objType = ast->ObjType(); in ValidateVariableAccess() local 268 if (objType == nullptr) { in ValidateVariableAccess() 271 const auto *objTypeDeclNode = objType->GetDeclNode(); in ValidateVariableAccess()
|
/arkcompiler/ets_frontend/ets2panda/ir/expressions/ |
H A D | memberExpression.h | 163 void SetObjectType(checker::ETSObjectType *objType) noexcept 165 objType_ = objType;
|
H A D | memberExpression.cpp | 243 auto *const objType = checker->GetApparentType(Object()->TsType()); in AdjustType() local 246 } else if (IsComputed() && objType->IsETSArrayType()) { // access erased array or tuple type in AdjustType() 247 uncheckedType_ = checker->GuaranteedTypeForUncheckedCast(objType->AsETSArrayType()->ElementType(), type); in AdjustType()
|
/arkcompiler/ets_runtime/ecmascript/snapshot/mem/ |
H A D | snapshot_processor.cpp | 1379 size_t objType, size_t &constSpecialIndex) in HandleRootObject() 1383 if (JSType(objType) == JSType::GLOBAL_ENV) { in HandleRootObject() 1386 } else if (JSType(objType) == JSType::MICRO_JOB_QUEUE) { in HandleRootObject() 1538 auto objType = encodeBit.GetObjectType(); in RelocateSpaceObject() 1539 if (objType == Constants::MASK_METHOD_SPACE_BEGIN) { in RelocateSpaceObject() 1549 (JSType(objType) >= JSType::STRING_FIRST && JSType(objType) <= JSType::STRING_LAST)) { in RelocateSpaceObject() 1553 if (JSType(objType) == JSType::CONSTANT_STRING) { in RelocateSpaceObject() 1561 HandleRootObject(type, begin, objType, constSpecialIndex); in RelocateSpaceObject() 1378 HandleRootObject(SnapshotType type, uintptr_t rootObjectAddr, size_t objType, size_t &constSpecialIndex) HandleRootObject() argument
|
H A D | snapshot_processor.h | 133 void HandleRootObject(SnapshotType type, uintptr_t rootObjectAddr, size_t objType, size_t &constSpecialIndex);
|
/arkcompiler/runtime_core/static_core/verification/absint/ |
H A D | abs_int_inl.h | 1719 Type objType = TypeOfClass(ctor->GetClass()); in CheckCallCtor() local 1724 SetAcc(objType); in CheckCallCtor() 1732 bool check = CheckMethodArgs(ctorNameGetter, ctor, regs, objType); in CheckCallCtor() 1734 SetAcc(objType); in CheckCallCtor() 1874 Type objType = GetRegType(regIdx); in CheckFieldAccess() local 1875 if (objType == nullRefType_) { in CheckFieldAccess() 1884 if (!IsSubtype(objType, fieldObjType, GetTypeSystem())) { in CheckFieldAccess() 1886 LOG_VERIFIER_INCONSISTENT_REGISTER_AND_FIELD_TYPES(GetFieldName(field), regIdx, ToString(objType), in CheckFieldAccess() 2718 Type objType; in CheckFieldAccessByName() local 2720 if (!CheckFieldAccessByNameStartCheck(regIdx, rawField, objType)) { in CheckFieldAccessByName() 4215 CheckFieldAccessByNameStartCheck(int regIdx, Field const *&rawField, Type &objType) CheckFieldAccessByNameStartCheck() argument [all...] |