| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175 |
- //-------------------------------------------------------------------------------------------------------
- // Copyright (C) Microsoft. All rights reserved.
- // Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
- //-------------------------------------------------------------------------------------------------------
- #include "RuntimeLibraryPch.h"
- #include "Types/NullTypeHandler.h"
- namespace Js
- {
- Var JavascriptObject::NewInstance(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- AssertMsg(args.Info.Count > 0, "Should always have implicit 'this'");
- // SkipDefaultNewObject function flag should have prevented the default object from
- // being created, except when call true a host dispatch.
- Var newTarget = callInfo.Flags & CallFlags_NewTarget ? args.Values[args.Info.Count] : args[0];
- bool isCtorSuperCall = (callInfo.Flags & CallFlags_New) && newTarget != nullptr && !JavascriptOperators::IsUndefined(newTarget);
- Assert(isCtorSuperCall || !(callInfo.Flags & CallFlags_New) || args[0] == nullptr
- || JavascriptOperators::GetTypeId(args[0]) == TypeIds_HostDispatch);
- if (args.Info.Count > 1)
- {
- switch (JavascriptOperators::GetTypeId(args[1]))
- {
- case TypeIds_Undefined:
- case TypeIds_Null:
- // Break to return a new object
- break;
- case TypeIds_StringObject:
- case TypeIds_Function:
- case TypeIds_Array:
- case TypeIds_ES5Array:
- case TypeIds_RegEx:
- case TypeIds_NumberObject:
- case TypeIds_SIMDObject:
- case TypeIds_Date:
- case TypeIds_BooleanObject:
- case TypeIds_Error:
- case TypeIds_Object:
- case TypeIds_Arguments:
- case TypeIds_ActivationObject:
- case TypeIds_SymbolObject:
- return isCtorSuperCall ?
- JavascriptOperators::OrdinaryCreateFromConstructor(RecyclableObject::FromVar(newTarget), RecyclableObject::FromVar(args[1]), nullptr, scriptContext) :
- args[1];
- default:
- RecyclableObject* result = nullptr;
- if (FALSE == JavascriptConversion::ToObject(args[1], scriptContext, &result))
- {
- // JavascriptConversion::ToObject should only return FALSE for null and undefined.
- Assert(false);
- }
- return isCtorSuperCall ?
- JavascriptOperators::OrdinaryCreateFromConstructor(RecyclableObject::FromVar(newTarget), result, nullptr, scriptContext) :
- result;
- }
- }
- if (callInfo.Flags & CallFlags_NotUsed)
- {
- return args[0];
- }
- Var newObj = scriptContext->GetLibrary()->CreateObject(true);
- return isCtorSuperCall ?
- JavascriptOperators::OrdinaryCreateFromConstructor(RecyclableObject::FromVar(newTarget), RecyclableObject::FromVar(newObj), nullptr, scriptContext) :
- newObj;
- }
- Var JavascriptObject::EntryHasOwnProperty(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- AssertMsg(args.Info.Count > 0, "Should always have implicit 'this'");
- RecyclableObject* dynamicObject = nullptr;
- if (FALSE == JavascriptConversion::ToObject(args[0], scriptContext, &dynamicObject))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_This_NullOrUndefined, _u("Object.prototype.hasOwnProperty"));
- }
- // no property specified
- if (args.Info.Count == 1)
- {
- return scriptContext->GetLibrary()->GetFalse();
- }
- const PropertyRecord* propertyRecord;
- JavascriptConversion::ToPropertyKey(args[1], scriptContext, &propertyRecord);
- if (JavascriptOperators::HasOwnProperty(dynamicObject, propertyRecord->GetPropertyId(), scriptContext))
- {
- return scriptContext->GetLibrary()->GetTrue();
- }
- return scriptContext->GetLibrary()->GetFalse();
- }
- Var JavascriptObject::EntryPropertyIsEnumerable(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- AssertMsg(args.Info.Count > 0, "Should always have implicit 'this'");
- RecyclableObject* dynamicObject = nullptr;
- if (FALSE == JavascriptConversion::ToObject(args[0], scriptContext, &dynamicObject))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_This_NullOrUndefined, _u("Object.prototype.propertyIsEnumerable"));
- }
- if (args.Info.Count >= 2)
- {
- const PropertyRecord* propertyRecord;
- JavascriptConversion::ToPropertyKey(args[1], scriptContext, &propertyRecord);
- PropertyId propertyId = propertyRecord->GetPropertyId();
- PropertyDescriptor currentDescriptor;
- BOOL isCurrentDescriptorDefined = JavascriptOperators::GetOwnPropertyDescriptor(dynamicObject, propertyId, scriptContext, ¤tDescriptor);
- if (isCurrentDescriptorDefined == TRUE)
- {
- if (currentDescriptor.IsEnumerable())
- {
- return scriptContext->GetLibrary()->GetTrue();
- }
- }
- }
- return scriptContext->GetLibrary()->GetFalse();
- }
- BOOL JavascriptObject::ChangePrototype(RecyclableObject* object, RecyclableObject* newPrototype, bool shouldThrow, ScriptContext* scriptContext)
- {
- // 8.3.2 [[SetInheritance]] (V)
- // When the [[SetInheritance]] internal method of O is called with argument V the following steps are taken:
- // 1. Assert: Either Type(V) is Object or Type(V) is Null.
- Assert(JavascriptOperators::IsObject(object));
- Assert(JavascriptOperators::IsObjectOrNull(newPrototype));
- if (JavascriptProxy::Is(object))
- {
- JavascriptProxy* proxy = JavascriptProxy::FromVar(object);
- CrossSite::ForceCrossSiteThunkOnPrototypeChain(newPrototype);
- return proxy->SetPrototypeTrap(newPrototype, shouldThrow);
- }
- // 2. Let extensible be the value of the [[Extensible]] internal data property of O.
- // 3. Let current be the value of the [[Prototype]] internal data property of O.
- // 4. If SameValue(V, current), then return true.
- if (newPrototype == JavascriptObject::GetPrototypeOf(object, scriptContext))
- {
- return TRUE;
- }
- // 5. If extensible is false, then return false.
- if (!object->IsExtensible())
- {
- if (shouldThrow)
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_NonExtensibleObject);
- }
- return FALSE;
- }
- // 6. If V is not null, then
- // a. Let p be V.
- // b. Repeat, while p is not null
- // i. If SameValue(p, O) is true, then return false.
- // ii. Let nextp be the result of calling the [[GetInheritance]] internal method of p with no arguments.
- // iii. ReturnIfAbrupt(nextp).
- // iv. Let p be nextp.
- if (IsPrototypeOf(object, newPrototype, scriptContext)) // Reject cycle
- {
- if (shouldThrow)
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_CyclicProtoValue);
- }
- return FALSE;
- }
- // 7. Set the value of the [[Prototype]] internal data property of O to V.
- // 8. Return true.
- // Notify old prototypes that they are being removed from a prototype chain. This triggers invalidating protocache, etc.
- if (!JavascriptProxy::Is(object))
- {
- JavascriptOperators::MapObjectAndPrototypes<true>(object->GetPrototype(), [=](RecyclableObject* obj)
- {
- obj->RemoveFromPrototype(scriptContext);
- });
- }
- // Examine new prototype chain. If it brings in any non-WritableData property, we need to invalidate related caches.
- bool objectAndPrototypeChainHasOnlyWritableDataProperties =
- JavascriptOperators::CheckIfObjectAndPrototypeChainHasOnlyWritableDataProperties(newPrototype);
- if (!objectAndPrototypeChainHasOnlyWritableDataProperties
- || object->GetScriptContext() != newPrototype->GetScriptContext())
- {
- // The HaveOnlyWritableDataProperties cache is cleared when a property is added or changed,
- // but only for types in the same script context. Therefore, if the prototype is in another
- // context, the object's cache won't be cleared when a property is added or changed on the prototype.
- // Moreover, an object is added to the cache only when its whole prototype chain is in the same
- // context.
- //
- // Since we don't have a way to find out which objects have a certain object as their prototype,
- // we clear the cache here instead.
- // Invalidate fast prototype chain writable data test flag
- object->GetLibrary()->NoPrototypeChainsAreEnsuredToHaveOnlyWritableDataProperties();
- }
- if (!objectAndPrototypeChainHasOnlyWritableDataProperties)
- {
- // Invalidate StoreField/PropertyGuards for any non-WritableData property in the new chain
- JavascriptOperators::MapObjectAndPrototypes<true>(newPrototype, [=](RecyclableObject* obj)
- {
- if (!obj->HasOnlyWritableDataProperties())
- {
- obj->AddToPrototype(scriptContext);
- }
- });
- }
- // Set to new prototype
- if (object->IsExternal() || (DynamicType::Is(object->GetTypeId()) && (DynamicObject::FromVar(object))->IsCrossSiteObject()))
- {
- CrossSite::ForceCrossSiteThunkOnPrototypeChain(newPrototype);
- }
- object->SetPrototype(newPrototype);
- return TRUE;
- }
- Var JavascriptObject::EntryIsPrototypeOf(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- AssertMsg(args.Info.Count > 0, "Should always have implicit 'this'");
- // no property specified
- if (args.Info.Count == 1 || !JavascriptOperators::IsObject(args[1]))
- {
- return scriptContext->GetLibrary()->GetFalse();
- }
- RecyclableObject* dynamicObject = nullptr;
- if (FALSE == JavascriptConversion::ToObject(args[0], scriptContext, &dynamicObject))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_This_NullOrUndefined, _u("Object.prototype.isPrototypeOf"));
- }
- RecyclableObject* value = RecyclableObject::FromVar(args[1]);
- if (dynamicObject->GetTypeId() == TypeIds_GlobalObject)
- {
- dynamicObject = RecyclableObject::FromVar(static_cast<Js::GlobalObject*>(dynamicObject)->ToThis());
- }
- while (JavascriptOperators::GetTypeId(value) != TypeIds_Null)
- {
- value = JavascriptOperators::GetPrototype(value);
- if (dynamicObject == value)
- {
- return scriptContext->GetLibrary()->GetTrue();
- }
- }
- return scriptContext->GetLibrary()->GetFalse();
- }
- // 19.1.3.5 - Object.prototype.toLocaleString as of ES6 (6.0)
- Var JavascriptObject::EntryToLocaleString(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- AssertMsg(args.Info.Count, "Should always have implicit 'this'");
- Var thisValue = args[0];
- RecyclableObject* dynamicObject = nullptr;
- if (FALSE == JavascriptConversion::ToObject(thisValue, scriptContext, &dynamicObject))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_This_NullOrUndefined, _u("Object.prototype.toLocaleString"));
- }
- Var toStringVar = nullptr;
- if (!JavascriptOperators::GetProperty(thisValue, dynamicObject, Js::PropertyIds::toString, &toStringVar, scriptContext) || !JavascriptConversion::IsCallable(toStringVar))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedFunction, _u("Object.prototype.toLocaleString"));
- }
- RecyclableObject* toStringFunc = RecyclableObject::FromVar(toStringVar);
- return toStringFunc->GetEntryPoint()(toStringFunc, CallInfo(CallFlags_Value, 1), thisValue);
- }
- Var JavascriptObject::EntryToString(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- AssertMsg(args.Info.Count, "Should always have implicit 'this'");
- return ToStringHelper(args[0], scriptContext);
- }
- JavascriptString* JavascriptObject::ToStringTagHelper(Var thisArg, ScriptContext* scriptContext, TypeId type)
- {
- JavascriptString* tag = nullptr;
- bool addTilde = true;
- bool isES6ToStringTagEnabled = scriptContext->GetConfig()->IsES6ToStringTagEnabled();
- JavascriptLibrary* library = scriptContext->GetLibrary();
- if (isES6ToStringTagEnabled && RecyclableObject::Is(thisArg))
- {
- RecyclableObject* thisArgObject = RecyclableObject::FromVar(thisArg);
- if (JavascriptOperators::HasProperty(thisArgObject, PropertyIds::_symbolToStringTag)) // Let hasTag be the result of HasProperty(O, @@toStringTag).
- {
- Var tagVar;
- try
- {
- tagVar = JavascriptOperators::GetProperty(thisArgObject, PropertyIds::_symbolToStringTag, scriptContext); // Let tag be the result of Get(O, @@toStringTag).
- }
- catch (JavascriptExceptionObject*)
- {
- // tag = "???"
- return library->CreateStringFromCppLiteral(_u("[object ???]")); // If tag is an abrupt completion, let tag be NormalCompletion("???").
- }
- if (!JavascriptString::Is(tagVar))
- {
- // tag = "???"
- return library->CreateStringFromCppLiteral(_u("[object ???]")); // If Type(tag) is not String, let tag be "???".
- }
- tag = JavascriptString::FromVar(tagVar);
- }
- }
- // If tag is any of "Arguments", "Array", "Boolean", "Date", "Error", "Function", "Number", "RegExp", or "String" and
- // SameValue(tag, builtinTag) is false, then let tag be the string value "~" concatenated with the current value of tag.
- switch (type)
- {
- case TypeIds_Arguments:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Arguments")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Arguments]"));
- }
- break;
- case TypeIds_Array:
- case TypeIds_ES5Array:
- case TypeIds_NativeIntArray:
- #if ENABLE_COPYONACCESS_ARRAY
- case TypeIds_CopyOnAccessNativeIntArray:
- #endif
- case TypeIds_NativeFloatArray:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Array")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Array]"));
- }
- break;
- case TypeIds_Boolean:
- case TypeIds_BooleanObject:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Boolean")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Boolean]"));
- }
- break;
- case TypeIds_DataView:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("DataView")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object DataView]"));
- }
- break;
- case TypeIds_Date:
- case TypeIds_WinRTDate:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Date")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Date]"));
- }
- break;
- case TypeIds_Error:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Error")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Error]"));
- }
- break;
- case TypeIds_Function:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Function")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Function]"));
- }
- break;
- case TypeIds_Number:
- case TypeIds_Int64Number:
- case TypeIds_UInt64Number:
- case TypeIds_Integer:
- case TypeIds_NumberObject:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Number")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Number]"));
- }
- break;
- case TypeIds_Promise:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Promise")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Promise]"));
- }
- break;
- case TypeIds_SIMDObject:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("SIMD")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object SIMD]"));
- }
- break;
- case TypeIds_RegEx:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("RegExp")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object RegExp]"));
- }
- break;
- case TypeIds_String:
- case TypeIds_StringObject:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("String")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object String]"));
- }
- break;
- case TypeIds_ModuleNamespace:
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Module")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Module]"));
- }
- break;
- case TypeIds_Proxy:
- if (JavascriptOperators::IsArray(JavascriptProxy::FromVar(thisArg)->GetTarget()))
- {
- if (!isES6ToStringTagEnabled || tag == nullptr || wcscmp(tag->UnsafeGetBuffer(), _u("Array")) == 0)
- {
- return library->CreateStringFromCppLiteral(_u("[object Array]"));
- }
- }
- //otherwise, fall though
- case TypeIds_Object:
- default:
- if (tag == nullptr)
- {
- // Else, let builtinTag be "Object".
- // If hasTag is false, then let tag be builtinTag.
- return library->GetObjectDisplayString(); // "[object Object]"
- }
- addTilde = false;
- break;
- }
- Assert(tag != nullptr);
- Assert(isES6ToStringTagEnabled);
- CompoundString::Builder<32> stringBuilder(scriptContext);
- if (addTilde)
- stringBuilder.AppendChars(_u("[object ~"));
- else
- stringBuilder.AppendChars(_u("[object "));
- stringBuilder.AppendChars(tag);
- stringBuilder.AppendChars(_u(']'));
- return stringBuilder.ToString();
- }
- Var JavascriptObject::LegacyToStringHelper(ScriptContext* scriptContext, TypeId type)
- {
- JavascriptLibrary* library = scriptContext->GetLibrary();
- switch (type)
- {
- case TypeIds_ArrayBuffer:
- return library->CreateStringFromCppLiteral(_u("[object ArrayBuffer]"));
- case TypeIds_Int8Array:
- return library->CreateStringFromCppLiteral(_u("[object Int8Array]"));
- case TypeIds_Uint8Array:
- return library->CreateStringFromCppLiteral(_u("[object Uint8Array]"));
- case TypeIds_Uint8ClampedArray:
- return library->CreateStringFromCppLiteral(_u("[object Uint8ClampedArray]"));
- case TypeIds_Int16Array:
- return library->CreateStringFromCppLiteral(_u("[object Int16Array]"));
- case TypeIds_Uint16Array:
- return library->CreateStringFromCppLiteral(_u("[object Uint16Array]"));
- case TypeIds_Int32Array:
- return library->CreateStringFromCppLiteral(_u("[object Int32Array]"));
- case TypeIds_Uint32Array:
- return library->CreateStringFromCppLiteral(_u("[object Uint32Array]"));
- case TypeIds_Float32Array:
- return library->CreateStringFromCppLiteral(_u("[object Float32Array]"));
- case TypeIds_Float64Array:
- return library->CreateStringFromCppLiteral(_u("[object Float64Array]"));
- case TypeIds_Symbol:
- case TypeIds_SymbolObject:
- return library->CreateStringFromCppLiteral(_u("[object Symbol]"));
- case TypeIds_Map:
- return library->CreateStringFromCppLiteral(_u("[object Map]"));
- case TypeIds_Set:
- return library->CreateStringFromCppLiteral(_u("[object Set]"));
- case TypeIds_WeakMap:
- return library->CreateStringFromCppLiteral(_u("[object WeakMap]"));
- case TypeIds_WeakSet:
- return library->CreateStringFromCppLiteral(_u("[object WeakSet]"));
- case TypeIds_Generator:
- return library->CreateStringFromCppLiteral(_u("[object Generator]"));
- default:
- AssertMsg(false, "We should never be here");
- return library->GetUndefined();
- }
- }
- Var JavascriptObject::ToStringHelper(Var thisArg, ScriptContext* scriptContext)
- {
- TypeId type = JavascriptOperators::GetTypeId(thisArg);
- JavascriptLibrary* library = scriptContext->GetLibrary();
- switch (type)
- {
- case TypeIds_Undefined:
- return library->CreateStringFromCppLiteral(_u("[object Undefined]"));
- case TypeIds_Null:
- return library->CreateStringFromCppLiteral(_u("[object Null]"));
- case TypeIds_Enumerator:
- case TypeIds_Proxy:
- case TypeIds_Object:
- if (scriptContext->GetConfig()->IsES6ToStringTagEnabled())
- {
- // Math, Object and JSON handled by toStringTag now,
- return ToStringTagHelper(thisArg, scriptContext, type);
- }
- if (thisArg == scriptContext->GetLibrary()->GetMathObject())
- {
- return library->CreateStringFromCppLiteral(_u("[object Math]"));
- }
- else if (thisArg == library->GetJSONObject())
- {
- return library->CreateStringFromCppLiteral(_u("[object JSON]"));
- }
- default:
- {
- RecyclableObject* obj = RecyclableObject::FromVar(thisArg);
- if (!obj->CanHaveInterceptors())
- {
- //this will handle printing Object for non interceptor cases
- return library->GetObjectDisplayString();
- }
- // otherwise, fall through.
- RecyclableObject* recyclableObject = Js::RecyclableObject::FromVar(thisArg);
- JavascriptString* name = scriptContext->GetLibrary()->CreateStringFromCppLiteral(_u("[object "));
- name = JavascriptString::Concat(name, recyclableObject->GetClassName(scriptContext));
- name = JavascriptString::Concat(name, scriptContext->GetLibrary()->CreateStringFromCppLiteral(_u("]")));
- return name;
- }
- case TypeIds_HostObject:
- AssertMsg(false, "Host object should never be here");
- return library->GetUndefined();
- case TypeIds_StringIterator:
- case TypeIds_ArrayIterator:
- case TypeIds_MapIterator:
- case TypeIds_SetIterator:
- case TypeIds_DataView:
- case TypeIds_Promise:
- case TypeIds_Boolean:
- case TypeIds_BooleanObject:
- case TypeIds_Date:
- case TypeIds_WinRTDate:
- case TypeIds_Error:
- case TypeIds_Number:
- case TypeIds_Int64Number:
- case TypeIds_UInt64Number:
- case TypeIds_Integer:
- case TypeIds_NumberObject:
- case TypeIds_SIMDObject:
- case TypeIds_RegEx:
- case TypeIds_Array:
- case TypeIds_ES5Array:
- case TypeIds_NativeIntArray:
- #if ENABLE_COPYONACCESS_ARRAY
- case TypeIds_CopyOnAccessNativeIntArray:
- #endif
- case TypeIds_NativeFloatArray:
- case TypeIds_Function:
- case TypeIds_String:
- case TypeIds_StringObject:
- case TypeIds_Arguments:
- return ToStringTagHelper(thisArg, scriptContext, type);
- case TypeIds_GlobalObject:
- {
- GlobalObject* globalObject = static_cast<Js::GlobalObject*>(thisArg);
- AssertMsg(globalObject == thisArg, "Should be the global object");
- Var toThis = globalObject->ToThis();
- if (toThis == globalObject)
- {
- return library->GetObjectDisplayString();
- }
- else
- {
- return ToStringHelper(toThis, scriptContext);
- }
- }
- case TypeIds_HostDispatch:
- {
- RecyclableObject* hostDispatchObject = RecyclableObject::FromVar(thisArg);
- DynamicObject* remoteObject = hostDispatchObject->GetRemoteObject();
- if (remoteObject)
- {
- return ToStringHelper(remoteObject, scriptContext);
- }
- else
- {
- Var result;
- Js::Var values[1];
- Js::CallInfo info(Js::CallFlags_Value, 1);
- Js::Arguments args(info, values);
- values[0] = thisArg;
- if (hostDispatchObject->InvokeBuiltInOperationRemotely(EntryToString, args, &result))
- {
- return result;
- }
- }
- return library->GetObjectDisplayString();
- }
- case TypeIds_ArrayBuffer:
- case TypeIds_Int8Array:
- case TypeIds_Uint8Array:
- case TypeIds_Uint8ClampedArray:
- case TypeIds_Int16Array:
- case TypeIds_Uint16Array:
- case TypeIds_Int32Array:
- case TypeIds_Uint32Array:
- case TypeIds_Float32Array:
- case TypeIds_Float64Array:
- case TypeIds_Symbol:
- case TypeIds_SymbolObject:
- case TypeIds_Map:
- case TypeIds_Set:
- case TypeIds_WeakMap:
- case TypeIds_WeakSet:
- case TypeIds_Generator:
- if (scriptContext->GetConfig()->IsES6ToStringTagEnabled())
- {
- JavascriptString* toStringValue = nullptr;
- if (!scriptContext->GetThreadContext()->IsScriptActive())
- {
- // Note we need this for typed Arrays in the debugger b/c they invoke a function call to get the toStringTag
- BEGIN_JS_RUNTIME_CALL_EX(scriptContext, false);
- toStringValue = ToStringTagHelper(thisArg, scriptContext, type);
- END_JS_RUNTIME_CALL(scriptContext);
- }
- else
- {
- toStringValue = ToStringTagHelper(thisArg, scriptContext, type);
- }
- return toStringValue;
- }
- else
- {
- return LegacyToStringHelper(scriptContext, type);
- }
- }
- }
- // -----------------------------------------------------------
- // Object.prototype.valueOf
- // 1. Let O be the result of calling ToObject passing the this value as the argument.
- // 2. If O is the result of calling the Object constructor with a host object (15.2.2.1), then
- // a. Return either O or another value such as the host object originally passed to the constructor. The specific result that is returned is implementation-defined.
- // 3. Return O.
- // -----------------------------------------------------------
- Var JavascriptObject::EntryValueOf(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- AssertMsg(args.Info.Count > 0, "Should always have implicit 'this'");
- TypeId argType = JavascriptOperators::GetTypeId(args[0]);
- // throw a TypeError if TypeId is null or undefined, and apply ToObject to the 'this' value otherwise.
- if ((argType == TypeIds_Null) || (argType == TypeIds_Undefined))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_This_NullOrUndefined, _u("Object.prototype.valueOf"));
- }
- else
- {
- return JavascriptOperators::ToObject(args[0], scriptContext);
- }
- }
- Var JavascriptObject::EntryGetOwnPropertyDescriptor(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- RecyclableObject* obj = nullptr;
- if (args.Info.Count < 2)
- {
- obj = RecyclableObject::FromVar(JavascriptOperators::ToObject(scriptContext->GetLibrary()->GetUndefined(), scriptContext));
- }
- else
- {
- // Convert the argument to object first
- obj = RecyclableObject::FromVar(JavascriptOperators::ToObject(args[1], scriptContext));
- }
- // If the object is HostDispatch try to invoke the operation remotely
- if (obj->GetTypeId() == TypeIds_HostDispatch)
- {
- Var result;
- if (obj->InvokeBuiltInOperationRemotely(EntryGetOwnPropertyDescriptor, args, &result))
- {
- return result;
- }
- }
- Var propertyKey = args.Info.Count > 2 ? args[2] : obj->GetLibrary()->GetUndefined();
- return JavascriptObject::GetOwnPropertyDescriptorHelper(obj, propertyKey, scriptContext);
- }
- Var JavascriptObject::GetOwnPropertyDescriptorHelper(RecyclableObject* obj, Var propertyKey, ScriptContext* scriptContext)
- {
- const PropertyRecord* propertyRecord;
- JavascriptConversion::ToPropertyKey(propertyKey, scriptContext, &propertyRecord);
- PropertyId propertyId = propertyRecord->GetPropertyId();
- obj->ThrowIfCannotGetOwnPropertyDescriptor(propertyId);
- PropertyDescriptor propertyDescriptor;
- BOOL isPropertyDescriptorDefined;
- isPropertyDescriptorDefined = JavascriptObject::GetOwnPropertyDescriptorHelper(obj, propertyId, scriptContext, propertyDescriptor);
- if (!isPropertyDescriptorDefined)
- {
- return scriptContext->GetLibrary()->GetUndefined();
- }
- return JavascriptOperators::FromPropertyDescriptor(propertyDescriptor, scriptContext);
- }
- BOOL JavascriptObject::GetOwnPropertyDescriptorHelper(RecyclableObject* obj, PropertyId propertyId, ScriptContext* scriptContext, PropertyDescriptor& propertyDescriptor)
- {
- BOOL isPropertyDescriptorDefined;
- if (obj->CanHaveInterceptors())
- {
- isPropertyDescriptorDefined = obj->HasOwnProperty(propertyId) ?
- JavascriptOperators::GetOwnPropertyDescriptor(obj, propertyId, scriptContext, &propertyDescriptor) : obj->GetDefaultPropertyDescriptor(propertyDescriptor);
- }
- else
- {
- isPropertyDescriptorDefined = JavascriptOperators::GetOwnPropertyDescriptor(obj, propertyId, scriptContext, &propertyDescriptor) ||
- obj->GetDefaultPropertyDescriptor(propertyDescriptor);
- }
- return isPropertyDescriptorDefined;
- }
- Var JavascriptObject::EntryGetPrototypeOf(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectGetPrototypeOfCount);
- // 19.1.2.9
- // Object.getPrototypeOf ( O )
- // When the getPrototypeOf function is called with argument O, the following steps are taken:
- RecyclableObject *object = nullptr;
- // 1. Let obj be ToObject(O).
- // 2. ReturnIfAbrupt(obj).
- if (args.Info.Count < 2 || !JavascriptConversion::ToObject(args[1], scriptContext, &object))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedObject, _u("Object.getPrototypeOf"));
- }
- // 3. Return obj.[[GetPrototypeOf]]().
- return CrossSite::MarshalVar(scriptContext, GetPrototypeOf(object, scriptContext));
- }
- Var JavascriptObject::EntrySetPrototypeOf(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- Assert(!(callInfo.Flags & CallFlags_New));
- ScriptContext* scriptContext = function->GetScriptContext();
- // 19.1.2.18
- // Object.setPrototypeOf ( O, proto )
- // When the setPrototypeOf function is called with arguments O and proto, the following steps are taken:
- // 1. Let O be RequireObjectCoercible(O).
- // 2. ReturnIfAbrupt(O).
- // 3. If Type(proto) is neither Object or Null, then throw a TypeError exception.
- long errCode = NOERROR;
- if (args.Info.Count < 2 || !JavascriptConversion::CheckObjectCoercible(args[1], scriptContext))
- {
- errCode = JSERR_FunctionArgument_NeedObject;
- }
- else if (args.Info.Count < 3 || !JavascriptOperators::IsObjectOrNull(args[2]))
- {
- errCode = JSERR_FunctionArgument_NotObjectOrNull;
- }
- if (errCode != NOERROR)
- {
- JavascriptError::ThrowTypeError(scriptContext, errCode, _u("Object.setPrototypeOf"));
- }
- // 4. If Type(O) is not Object, return O.
- if (!JavascriptOperators::IsObject(args[1]))
- {
- return args[1];
- }
- #if ENABLE_COPYONACCESS_ARRAY
- JavascriptLibrary::CheckAndConvertCopyOnAccessNativeIntArray<Var>(args[1]);
- #endif
- RecyclableObject* object = RecyclableObject::FromVar(args[1]);
- RecyclableObject* newPrototype = RecyclableObject::FromVar(args[2]);
- // 5. Let status be O.[[SetPrototypeOf]](proto).
- // 6. ReturnIfAbrupt(status).
- // 7. If status is false, throw a TypeError exception.
- ChangePrototype(object, newPrototype, /*shouldThrow*/true, scriptContext);
- // 8. Return O.
- return object;
- }
- Var JavascriptObject::EntrySeal(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectSealCount);
- // Spec update in Rev29 under section 19.1.2.17
- if (args.Info.Count < 2)
- {
- return scriptContext->GetLibrary()->GetUndefined();
- }
- else if (!JavascriptOperators::IsObject(args[1]))
- {
- return args[1];
- }
- RecyclableObject *object = RecyclableObject::FromVar(args[1]);
- GlobalObject* globalObject = object->GetLibrary()->GetGlobalObject();
- if (globalObject != object && globalObject && (globalObject->ToThis() == object))
- {
- globalObject->Seal();
- }
- object->Seal();
- return object;
- }
- Var JavascriptObject::EntryFreeze(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectFreezeCount);
- // Spec update in Rev29 under section 19.1.2.5
- if (args.Info.Count < 2)
- {
- return scriptContext->GetLibrary()->GetUndefined();
- }
- else if (!JavascriptOperators::IsObject(args[1]))
- {
- return args[1];
- }
- RecyclableObject *object = RecyclableObject::FromVar(args[1]);
- GlobalObject* globalObject = object->GetLibrary()->GetGlobalObject();
- if (globalObject != object && globalObject && (globalObject->ToThis() == object))
- {
- globalObject->Freeze();
- }
- object->Freeze();
- return object;
- }
- Var JavascriptObject::EntryPreventExtensions(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectPreventExtensionCount);
- // Spec update in Rev29 under section 19.1.2.15
- if (args.Info.Count < 2)
- {
- return scriptContext->GetLibrary()->GetUndefined();
- }
- else if (!JavascriptOperators::IsObject(args[1]))
- {
- return args[1];
- }
- RecyclableObject *object = RecyclableObject::FromVar(args[1]);
- GlobalObject* globalObject = object->GetLibrary()->GetGlobalObject();
- if (globalObject != object && globalObject && (globalObject->ToThis() == object))
- {
- globalObject->PreventExtensions();
- }
- object->PreventExtensions();
- return object;
- }
- Var JavascriptObject::EntryIsSealed(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectIsSealedCount);
- if (args.Info.Count < 2 || !JavascriptOperators::IsObject(args[1]))
- {
- return scriptContext->GetLibrary()->GetTrue();
- }
- RecyclableObject *object = RecyclableObject::FromVar(args[1]);
- BOOL isSealed = object->IsSealed();
- GlobalObject* globalObject = object->GetLibrary()->GetGlobalObject();
- if (isSealed && globalObject != object && globalObject && (globalObject->ToThis() == object))
- {
- isSealed = globalObject->IsSealed();
- }
- return scriptContext->GetLibrary()->GetTrueOrFalse(isSealed);
- }
- Var JavascriptObject::EntryIsFrozen(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectIsFrozenCount);
- if (args.Info.Count < 2 || !JavascriptOperators::IsObject(args[1]))
- {
- return scriptContext->GetLibrary()->GetTrue();
- }
- RecyclableObject *object = RecyclableObject::FromVar(args[1]);
- BOOL isFrozen = object->IsFrozen();
- GlobalObject* globalObject = object->GetLibrary()->GetGlobalObject();
- if (isFrozen && globalObject != object && globalObject && (globalObject->ToThis() == object))
- {
- isFrozen = globalObject->IsFrozen();
- }
- return scriptContext->GetLibrary()->GetTrueOrFalse(isFrozen);
- }
- Var JavascriptObject::EntryIsExtensible(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectIsExtensibleCount);
- Assert(!(callInfo.Flags & CallFlags_New));
- if (args.Info.Count < 2 || !JavascriptOperators::IsObject(args[1]))
- {
- return scriptContext->GetLibrary()->GetFalse();
- }
- RecyclableObject *object = RecyclableObject::FromVar(args[1]);
- BOOL isExtensible = object->IsExtensible();
- GlobalObject* globalObject = object->GetLibrary()->GetGlobalObject();
- if (isExtensible && globalObject != object && globalObject && (globalObject->ToThis() == object))
- {
- isExtensible = globalObject->IsExtensible();
- }
- return scriptContext->GetLibrary()->GetTrueOrFalse(isExtensible);
- }
- Var JavascriptObject::EntryGetOwnPropertyNames(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectGetOwnPropertyNamesCount);
- Var tempVar = args.Info.Count < 2 ? scriptContext->GetLibrary()->GetUndefined() : args[1];
- RecyclableObject *object = RecyclableObject::FromVar(JavascriptOperators::ToObject(tempVar, scriptContext));
- if (object->GetTypeId() == TypeIds_HostDispatch)
- {
- Var result;
- if (object->InvokeBuiltInOperationRemotely(EntryGetOwnPropertyNames, args, &result))
- {
- return result;
- }
- }
- return JavascriptOperators::GetOwnPropertyNames(object, scriptContext);
- }
- Var JavascriptObject::EntryGetOwnPropertySymbols(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- Var tempVar = args.Info.Count < 2 ? scriptContext->GetLibrary()->GetUndefined() : args[1];
- RecyclableObject *object = RecyclableObject::FromVar(JavascriptOperators::ToObject(tempVar, scriptContext));
- if (object->GetTypeId() == TypeIds_HostDispatch)
- {
- Var result;
- if (object->InvokeBuiltInOperationRemotely(EntryGetOwnPropertySymbols, args, &result))
- {
- return result;
- }
- }
- return JavascriptOperators::GetOwnPropertySymbols(object, scriptContext);
- }
- Var JavascriptObject::EntryKeys(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectKeysCount);
- Var tempVar = args.Info.Count < 2 ? scriptContext->GetLibrary()->GetUndefined() : args[1];
- RecyclableObject *object = RecyclableObject::FromVar(JavascriptOperators::ToObject(tempVar, scriptContext));
- if (object->GetTypeId() == TypeIds_HostDispatch)
- {
- Var result;
- if (object->InvokeBuiltInOperationRemotely(EntryKeys, args, &result))
- {
- return result;
- }
- }
- return JavascriptOperators::GetOwnEnumerablePropertyNames(object, scriptContext);
- }
- Var JavascriptObject::GetValuesOrEntries(RecyclableObject* object, bool valuesToReturn, ScriptContext* scriptContext)
- {
- Assert(object != nullptr);
- Assert(scriptContext != nullptr);
- JavascriptArray* valuesArray = scriptContext->GetLibrary()->CreateArray(0);
- Var ownKeysVar = JavascriptOperators::GetOwnPropertyNames(object, scriptContext);
- JavascriptArray* ownKeysResult = nullptr;
- if (JavascriptArray::Is(ownKeysVar))
- {
- ownKeysResult = JavascriptArray::FromVar(ownKeysVar);
- }
- else
- {
- return valuesArray;
- }
- uint32 length = ownKeysResult->GetLength();
- Var nextKey;
- const PropertyRecord* propertyRecord = nullptr;
- PropertyId propertyId;
- for (uint32 i = 0, index = 0; i < length; i++)
- {
- nextKey = ownKeysResult->DirectGetItem(i);
- Assert(JavascriptString::Is(nextKey));
- PropertyDescriptor propertyDescriptor;
- BOOL propertyKeyResult = JavascriptConversion::ToPropertyKey(nextKey, scriptContext, &propertyRecord);
- Assert(propertyKeyResult);
- propertyId = propertyRecord->GetPropertyId();
- Assert(propertyId != Constants::NoProperty);
- if (JavascriptOperators::GetOwnPropertyDescriptor(object, propertyId, scriptContext, &propertyDescriptor))
- {
- if (propertyDescriptor.IsEnumerable())
- {
- Var value = JavascriptOperators::GetProperty(object, propertyId, scriptContext);
- if (!valuesToReturn)
- {
- // For Object.entries each entry is key, value pair
- JavascriptArray* entry = scriptContext->GetLibrary()->CreateArray(2);
- entry->DirectSetItemAt(0, CrossSite::MarshalVar(scriptContext, nextKey));
- entry->DirectSetItemAt(1, CrossSite::MarshalVar(scriptContext, value));
- value = entry;
- }
- valuesArray->DirectSetItemAt(index++, CrossSite::MarshalVar(scriptContext, value));
- }
- }
- }
- return valuesArray;
- }
- Var JavascriptObject::EntryValues(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectValuesCount);
- Var tempVar = args.Info.Count < 2 ? scriptContext->GetLibrary()->GetUndefined() : args[1];
- RecyclableObject *object = RecyclableObject::FromVar(JavascriptOperators::ToObject(tempVar, scriptContext));
- return GetValuesOrEntries(object, true /*valuesToReturn*/, scriptContext);
- }
- Var JavascriptObject::EntryEntries(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectEntriesCount);
- Var tempVar = args.Info.Count < 2 ? scriptContext->GetLibrary()->GetUndefined() : args[1];
- RecyclableObject *object = RecyclableObject::FromVar(JavascriptOperators::ToObject(tempVar, scriptContext));
- return GetValuesOrEntries(object, false /*valuesToReturn*/, scriptContext);
- }
- Var JavascriptObject::CreateOwnSymbolPropertiesHelper(RecyclableObject* object, ScriptContext* scriptContext)
- {
- return CreateKeysHelper(object, scriptContext, TRUE, true /*includeSymbolsOnly */, false, true /*includeSpecialProperties*/);
- }
- Var JavascriptObject::CreateOwnStringPropertiesHelper(RecyclableObject* object, ScriptContext* scriptContext)
- {
- return CreateKeysHelper(object, scriptContext, TRUE, false, true /*includeStringsOnly*/, true /*includeSpecialProperties*/);
- }
- Var JavascriptObject::CreateOwnStringSymbolPropertiesHelper(RecyclableObject* object, ScriptContext* scriptContext)
- {
- return CreateKeysHelper(object, scriptContext, TRUE, true/*includeSymbolsOnly*/, true /*includeStringsOnly*/, true /*includeSpecialProperties*/);
- }
- Var JavascriptObject::CreateOwnEnumerableStringPropertiesHelper(RecyclableObject* object, ScriptContext* scriptContext)
- {
- return CreateKeysHelper(object, scriptContext, FALSE, false, true/*includeStringsOnly*/, false);
- }
- Var JavascriptObject::CreateOwnEnumerableStringSymbolPropertiesHelper(RecyclableObject* object, ScriptContext* scriptContext)
- {
- return CreateKeysHelper(object, scriptContext, FALSE, true/*includeSymbolsOnly*/, true/*includeStringsOnly*/, false);
- }
- // 9.1.12 [[OwnPropertyKeys]] () in RC#4 dated April 3rd 2015.
- Var JavascriptObject::CreateKeysHelper(RecyclableObject* object, ScriptContext* scriptContext, BOOL includeNonEnumerable, bool includeSymbolProperties, bool includeStringProperties, bool includeSpecialProperties)
- {
- //1. Let keys be a new empty List.
- //2. For each own property key P of O that is an integer index, in ascending numeric index order
- // a. Add P as the last element of keys.
- //3. For each own property key P of O that is a String but is not an integer index, in property creation order
- // a. Add P as the last element of keys.
- //4. For each own property key P of O that is a Symbol, in property creation order
- // a. Add P as the last element of keys.
- //5. Return keys.
- AssertMsg(includeStringProperties || includeSymbolProperties, "Should either get string or symbol properties.");
- Var enumeratorVar;
- JavascriptArray* newArr = scriptContext->GetLibrary()->CreateArray(0);
- JavascriptArray* newArrForSymbols = scriptContext->GetLibrary()->CreateArray(0);
- if (!object->GetEnumerator(includeNonEnumerable, &enumeratorVar, scriptContext, false, includeSymbolProperties))
- {
- return newArr; // Return an empty array if we don't have an enumerator
- }
- JavascriptEnumerator *pEnumerator = JavascriptEnumerator::FromVar(enumeratorVar);
- RecyclableObject *undefined = scriptContext->GetLibrary()->GetUndefined();
- Var propertyName = nullptr;
- PropertyId propertyId;
- uint32 propertyIndex = 0;
- uint32 symbolIndex = 0;
- const PropertyRecord* propertyRecord;
- JavascriptSymbol* symbol;
- while ((propertyName = pEnumerator->GetCurrentAndMoveNext(propertyId)) != NULL)
- {
- if (!JavascriptOperators::IsUndefinedObject(propertyName, undefined)) //There are some code paths in which GetCurrentIndex can return undefined
- {
- if (includeSymbolProperties)
- {
- propertyRecord = scriptContext->GetPropertyName(propertyId);
- if (propertyRecord->IsSymbol())
- {
- symbol = scriptContext->GetLibrary()->CreateSymbol(propertyRecord);
- newArrForSymbols->DirectSetItemAt(symbolIndex++, CrossSite::MarshalVar(scriptContext, symbol));
- continue;
- }
- }
- if (includeStringProperties)
- {
- newArr->DirectSetItemAt(propertyIndex++, CrossSite::MarshalVar(scriptContext, propertyName));
- }
- }
- }
- // Special properties
- if (includeSpecialProperties && includeStringProperties)
- {
- uint32 index = 0;
- while (object->GetSpecialPropertyName(index, &propertyName, scriptContext))
- {
- if (!JavascriptOperators::IsUndefinedObject(propertyName, undefined))
- {
- newArr->DirectSetItemAt(propertyIndex++, propertyName);
- }
- index++;
- }
- }
- // Append all the symbols at the end of list
- uint32 totalSymbols = newArrForSymbols->GetLength();
- for (uint32 symIndex = 0; symIndex < totalSymbols; symIndex++)
- {
- newArr->DirectSetItemAt(propertyIndex++, newArrForSymbols->DirectGetItem(symIndex));
- }
- return newArr;
- }
- // args[1] this object to operate on.
- // args[2] property name.
- // args[3] object that attributes for the new descriptor.
- Var JavascriptObject::EntryDefineProperty(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- if (args.Info.Count < 2 || !JavascriptOperators::IsObject(args[1]))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedObject, _u("Object.defineProperty"));
- }
- #if ENABLE_COPYONACCESS_ARRAY
- JavascriptLibrary::CheckAndConvertCopyOnAccessNativeIntArray<Var>(args[1]);
- #endif
- RecyclableObject* obj = RecyclableObject::FromVar(args[1]);
- // If the object is HostDispatch try to invoke the operation remotely
- if (obj->GetTypeId() == TypeIds_HostDispatch)
- {
- if (obj->InvokeBuiltInOperationRemotely(EntryDefineProperty, args, NULL))
- {
- return obj;
- }
- }
- Var propertyKey = args.Info.Count > 2 ? args[2] : obj->GetLibrary()->GetUndefined();
- PropertyRecord const * propertyRecord;
- JavascriptConversion::ToPropertyKey(propertyKey, scriptContext, &propertyRecord);
- Var descVar = args.Info.Count > 3 ? args[3] : obj->GetLibrary()->GetUndefined();
- PropertyDescriptor propertyDescriptor;
- if (!JavascriptOperators::ToPropertyDescriptor(descVar, &propertyDescriptor, scriptContext))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_PropertyDescriptor_Invalid, scriptContext->GetPropertyName(propertyRecord->GetPropertyId())->GetBuffer());
- }
- if (CONFIG_FLAG(UseFullName))
- {
- ModifyGetterSetterFuncName(propertyRecord, propertyDescriptor, scriptContext);
- }
- DefineOwnPropertyHelper(obj, propertyRecord->GetPropertyId(), propertyDescriptor, scriptContext);
- return obj;
- }
- Var JavascriptObject::EntryDefineProperties(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectDefinePropertiesCount);
- Assert(!(callInfo.Flags & CallFlags_New));
- if (args.Info.Count < 2 || !JavascriptOperators::IsObject(args[1]))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedObject, _u("Object.defineProperties"));
- }
- #if ENABLE_COPYONACCESS_ARRAY
- JavascriptLibrary::CheckAndConvertCopyOnAccessNativeIntArray<Var>(args[1]);
- #endif
- RecyclableObject *object = RecyclableObject::FromVar(args[1]);
- // If the object is HostDispatch try to invoke the operation remotely
- if (object->GetTypeId() == TypeIds_HostDispatch)
- {
- if (object->InvokeBuiltInOperationRemotely(EntryDefineProperties, args, NULL))
- {
- return object;
- }
- }
- Var propertiesVar = args.Info.Count > 2 ? args[2] : object->GetLibrary()->GetUndefined();
- RecyclableObject* properties = nullptr;
- if (FALSE == JavascriptConversion::ToObject(propertiesVar, scriptContext, &properties))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NullOrUndefined, _u("Object.defineProperties"));
- }
- return DefinePropertiesHelper(object, properties, scriptContext);
- }
- // args[1] property name.
- // args[2] function object to use as the getter function.
- Var JavascriptObject::EntryDefineGetter(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- // For browser interop, simulate LdThis by calling OP implementation directly.
- // Do not have module id here so use the global id, 0.
- //
- #if ENABLE_COPYONACCESS_ARRAY
- JavascriptLibrary::CheckAndConvertCopyOnAccessNativeIntArray<Var>(args[0]);
- #endif
- Var thisArg = JavascriptOperators::OP_GetThisNoFastPath(args[0], 0, scriptContext);
- RecyclableObject* obj = RecyclableObject::FromVar(thisArg);
- Var propertyKey = args.Info.Count > 1 ? args[1] : obj->GetLibrary()->GetUndefined();
- const PropertyRecord* propertyRecord;
- JavascriptConversion::ToPropertyKey(propertyKey, scriptContext, &propertyRecord);
- Var getterFunc = args.Info.Count > 2 ? args[2] : obj->GetLibrary()->GetUndefined();
- if (!JavascriptConversion::IsCallable(getterFunc))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedFunction, _u("Object.prototype.__defineGetter__"));
- }
- PropertyDescriptor propertyDescriptor;
- propertyDescriptor.SetEnumerable(true);
- propertyDescriptor.SetConfigurable(true);
- propertyDescriptor.SetGetter(getterFunc);
- DefineOwnPropertyHelper(obj, propertyRecord->GetPropertyId(), propertyDescriptor, scriptContext);
- return obj->GetLibrary()->GetUndefined();
- }
- // args[1] property name.
- // args[2] function object to use as the setter function.
- Var JavascriptObject::EntryDefineSetter(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- // For browser interop, simulate LdThis by calling OP implementation directly.
- // Do not have module id here so use the global id, 0.
- //
- Var thisArg = JavascriptOperators::OP_GetThisNoFastPath(args[0], 0, scriptContext);
- RecyclableObject* obj = RecyclableObject::FromVar(thisArg);
- Var propertyKey = args.Info.Count > 1 ? args[1] : obj->GetLibrary()->GetUndefined();
- const PropertyRecord* propertyRecord;
- JavascriptConversion::ToPropertyKey(propertyKey, scriptContext, &propertyRecord);
- Var setterFunc = args.Info.Count > 2 ? args[2] : obj->GetLibrary()->GetUndefined();
- if (!JavascriptConversion::IsCallable(setterFunc))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedFunction, _u("Object.prototype.__defineSetter__"));
- }
- PropertyDescriptor propertyDescriptor;
- propertyDescriptor.SetEnumerable(true);
- propertyDescriptor.SetConfigurable(true);
- propertyDescriptor.SetSetter(setterFunc);
- DefineOwnPropertyHelper(obj, propertyRecord->GetPropertyId(), propertyDescriptor, scriptContext);
- return obj->GetLibrary()->GetUndefined();
- }
- // args[1] property name.
- Var JavascriptObject::EntryLookupGetter(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- RecyclableObject* obj = nullptr;
- if (!JavascriptConversion::ToObject(args[0], scriptContext, &obj))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_This_NullOrUndefined, _u("Object.prototype.__lookupGetter__"));
- }
- Var propertyKey = args.Info.Count > 1 ? args[1] : obj->GetLibrary()->GetUndefined();
- const PropertyRecord* propertyRecord;
- JavascriptConversion::ToPropertyKey(propertyKey, scriptContext, &propertyRecord);
- Var getter = nullptr;
- Var unused = nullptr;
- if (JavascriptOperators::GetAccessors(obj, propertyRecord->GetPropertyId(), scriptContext, &getter, &unused))
- {
- if (getter != nullptr)
- {
- return getter;
- }
- }
- return obj->GetLibrary()->GetUndefined();
- }
- // args[1] property name.
- Var JavascriptObject::EntryLookupSetter(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- RecyclableObject* obj = nullptr;
- if (!JavascriptConversion::ToObject(args[0], scriptContext, &obj))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_This_NullOrUndefined, _u("Object.prototype.__lookupSetter__"));
- }
- Var propertyKey = args.Info.Count > 1 ? args[1] : obj->GetLibrary()->GetUndefined();
- const PropertyRecord* propertyRecord;
- JavascriptConversion::ToPropertyKey(propertyKey, scriptContext, &propertyRecord);
- Var unused = nullptr;
- Var setter = nullptr;
- if (JavascriptOperators::GetAccessors(obj, propertyRecord->GetPropertyId(), scriptContext, &unused, &setter))
- {
- if (setter != nullptr)
- {
- return setter;
- }
- }
- return obj->GetLibrary()->GetUndefined();
- }
- Var JavascriptObject::EntryIs(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- Var x = args.Info.Count > 1 ? args[1] : scriptContext->GetLibrary()->GetUndefined();
- Var y = args.Info.Count > 2 ? args[2] : scriptContext->GetLibrary()->GetUndefined();
- return JavascriptBoolean::ToVar(JavascriptConversion::SameValue(x, y), scriptContext);
- }
- //ES6 19.1.2.1
- Var JavascriptObject::EntryAssign(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Assert(!(callInfo.Flags & CallFlags_New));
- // 1. Let to be ToObject(target).
- // 2. ReturnIfAbrupt(to).
- // 3 If only one argument was passed, return to.
- RecyclableObject* to = nullptr;
- if (args.Info.Count == 1 || !JavascriptConversion::ToObject(args[1], scriptContext, &to))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedObject, _u("Object.assign"));
- }
- if (args.Info.Count < 3)
- {
- return to;
- }
- // 4. Let sources be the List of argument values starting with the second argument.
- // 5. For each element nextSource of sources, in ascending index order,
- for (unsigned int i = 2; i < args.Info.Count; i++)
- {
- // a. If nextSource is undefined or null, let keys be an empty List.
- // b. Else,
- // i.Let from be ToObject(nextSource).
- // ii.ReturnIfAbrupt(from).
- // iii.Let keys be from.[[OwnPropertyKeys]]().
- // iv.ReturnIfAbrupt(keys).
- if (JavascriptOperators::IsUndefinedOrNull(args[i]))
- {
- continue;
- }
- RecyclableObject* from = nullptr;
- if (!JavascriptConversion::ToObject(args[i], scriptContext, &from))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NeedObject, _u("Object.assign"));
- }
- #if ENABLE_COPYONACCESS_ARRAY
- JavascriptLibrary::CheckAndConvertCopyOnAccessNativeIntArray<Var>(from);
- #endif
- // if proxy, take slow path by calling [[OwnPropertyKeys]] on source
- if (JavascriptProxy::Is(from))
- {
- AssignForProxyObjects(from, to, scriptContext);
- }
- // else use enumerator to extract keys from source
- else
- {
- AssignForGenericObjects(from, to, scriptContext);
- }
- }
- // 6. Return to.
- return to;
- }
- void JavascriptObject::AssignForGenericObjects(RecyclableObject* from, RecyclableObject* to, ScriptContext* scriptContext)
- {
- Var enumeratorVar = nullptr;
- if (!from->GetEnumerator(FALSE /*only enumerable properties*/, &enumeratorVar, scriptContext, true, true))
- {
- //nothing to enumerate, continue with the nextSource.
- return;
- }
- JavascriptEnumerator *pEnumerator = JavascriptEnumerator::FromVar(enumeratorVar);
- PropertyId nextKey = Constants::NoProperty;
- Var propValue = nullptr;
- Var propertyVar = nullptr;
- //enumerate through each property of properties and fetch the property descriptor
- while ((propertyVar = pEnumerator->GetCurrentAndMoveNext(nextKey)) != NULL)
- {
- if (nextKey == Constants::NoProperty)
- {
- if (JavascriptOperators::IsUndefinedObject(propertyVar)) //There are some code paths in which GetCurrentIndex can return undefined
- {
- continue;
- }
- PropertyRecord const * propertyRecord = nullptr;
- JavascriptString* propertyName = JavascriptString::FromVar(propertyVar);
- scriptContext->GetOrAddPropertyRecord(propertyName->GetString(), propertyName->GetLength(), &propertyRecord);
- nextKey = propertyRecord->GetPropertyId();
- }
- if (!JavascriptOperators::GetOwnProperty(from, nextKey, &propValue, scriptContext))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_Operand_Invalid_NeedObject, _u("Object.assign"));
- }
- if (!JavascriptOperators::SetProperty(to, to, nextKey, propValue, scriptContext, PropertyOperationFlags::PropertyOperation_ThrowIfNonWritable))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_Operand_Invalid_NeedObject, _u("Object.assign"));
- }
- }
- }
- void JavascriptObject::AssignForProxyObjects(RecyclableObject* from, RecyclableObject* to, ScriptContext* scriptContext)
- {
- Var keysResult = JavascriptOperators::GetOwnEnumerablePropertyNamesSymbols(from, scriptContext);
- JavascriptArray *keys;
- if (JavascriptArray::Is(keysResult))
- {
- keys = JavascriptArray::FromVar(keysResult);
- }
- else
- {
- return;
- }
- // c. Repeat for each element nextKey of keys in List order,
- // i. Let desc be from.[[GetOwnProperty]](nextKey).
- // ii. ReturnIfAbrupt(desc).
- // iii. if desc is not undefined and desc.[[Enumerable]] is true, then
- // 1. Let propValue be Get(from, nextKey).
- // 2. ReturnIfAbrupt(propValue).
- // 3. Let status be Set(to, nextKey, propValue, true);
- // 4. ReturnIfAbrupt(status).
- uint32 length = keys->GetLength();
- Var nextKey;
- const PropertyRecord* propertyRecord = nullptr;
- PropertyId propertyId;
- Var propValue = nullptr;
- for (uint32 j = 0; j < length; j++)
- {
- PropertyDescriptor propertyDescriptor;
- nextKey = keys->DirectGetItem(j);
- AssertMsg(JavascriptSymbol::Is(nextKey) || JavascriptString::Is(nextKey), "Invariant check during ownKeys proxy trap should make sure we only get property key here. (symbol or string primitives)");
- // Spec doesn't strictly call for us to use ToPropertyKey but since we know nextKey is already a symbol or string primitive, ToPropertyKey will be a nop and return us the propertyRecord
- JavascriptConversion::ToPropertyKey(nextKey, scriptContext, &propertyRecord);
- propertyId = propertyRecord->GetPropertyId();
- AssertMsg(propertyId != Constants::NoProperty, "AssignForProxyObjects - OwnPropertyKeys returned a propertyId with value NoProperty.");
- if (JavascriptOperators::GetOwnPropertyDescriptor(from, propertyRecord->GetPropertyId(), scriptContext, &propertyDescriptor))
- {
- if (propertyDescriptor.IsEnumerable())
- {
- if (!JavascriptOperators::GetOwnProperty(from, propertyId, &propValue, scriptContext))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_Operand_Invalid_NeedObject, _u("Object.assign"));
- }
- if (!JavascriptOperators::SetProperty(to, to, propertyId, propValue, scriptContext))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_Operand_Invalid_NeedObject, _u("Object.assign"));
- }
- }
- }
- }
- }
- //ES5 15.2.3.5
- Var JavascriptObject::EntryCreate(RecyclableObject* function, CallInfo callInfo, ...)
- {
- PROBE_STACK(function->GetScriptContext(), Js::Constants::MinStackDefault);
- ARGUMENTS(args, callInfo);
- ScriptContext* scriptContext = function->GetScriptContext();
- Recycler *recycler = scriptContext->GetRecycler();
- CHAKRATEL_LANGSTATS_INC_BUILTINCOUNT(ObjectCreateCount);
- Assert(!(callInfo.Flags & CallFlags_New));
- if (args.Info.Count < 2)
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NotObjectOrNull, _u("Object.create"));
- }
- TypeId typeId = JavascriptOperators::GetTypeId(args[1]);
- if (typeId != TypeIds_Null && !JavascriptOperators::IsObjectType(typeId))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NotObjectOrNull, _u("Object.create"));
- }
- //Create a new DynamicType with first argument as prototype and non shared type
- RecyclableObject *prototype = RecyclableObject::FromVar(args[1]);
- DynamicType *objectType = DynamicType::New(scriptContext, TypeIds_Object, prototype, nullptr, NullTypeHandler<false>::GetDefaultInstance(), false);
- //Create a new Object using this type.
- DynamicObject* object = DynamicObject::New(recycler, objectType);
- JS_ETW(EventWriteJSCRIPT_RECYCLER_ALLOCATE_OBJECT(object));
- #if ENABLE_DEBUG_CONFIG_OPTIONS
- if (Js::Configuration::Global.flags.IsEnabled(Js::autoProxyFlag))
- {
- object = DynamicObject::FromVar(JavascriptProxy::AutoProxyWrapper(object));
- }
- #endif
- if (args.Info.Count > 2 && JavascriptOperators::GetTypeId(args[2]) != TypeIds_Undefined)
- {
- RecyclableObject* properties = nullptr;
- if (FALSE == JavascriptConversion::ToObject(args[2], scriptContext, &properties))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_FunctionArgument_NullOrUndefined, _u("Object.create"));
- }
- return DefinePropertiesHelper(object, properties, scriptContext);
- }
- return object;
- }
- Var JavascriptObject::DefinePropertiesHelper(RecyclableObject *object, RecyclableObject* props, ScriptContext *scriptContext)
- {
- if (JavascriptProxy::Is(props))
- {
- return DefinePropertiesHelperForProxyObjects(object, props, scriptContext);
- }
- else
- {
- return DefinePropertiesHelperForGenericObjects(object, props, scriptContext);
- }
- }
- Var JavascriptObject::DefinePropertiesHelperForGenericObjects(RecyclableObject *object, RecyclableObject* props, ScriptContext *scriptContext)
- {
- size_t descSize = 16;
- size_t descCount = 0;
- struct DescriptorMap
- {
- PropertyRecord const * propRecord;
- PropertyDescriptor descriptor;
- Var originalVar;
- };
- Var tempVar = nullptr;
- if (!props->GetEnumerator(FALSE, &tempVar, scriptContext, false, true))
- {
- return object;
- }
- JavascriptEnumerator *pEnumerator = JavascriptEnumerator::FromVar(tempVar);
- ENTER_PINNED_SCOPE(DescriptorMap, descriptors);
- descriptors = RecyclerNewArray(scriptContext->GetRecycler(), DescriptorMap, descSize);
- PropertyId propId;
- PropertyRecord const * propertyRecord;
- JavascriptString* propertyName = nullptr;
- RecyclableObject *undefined = scriptContext->GetLibrary()->GetUndefined();
- //enumerate through each property of properties and fetch the property descriptor
- while ((tempVar = pEnumerator->GetCurrentAndMoveNext(propId)) != NULL)
- {
- if (propId == Constants::NoProperty) //try current property id query first
- {
- if (!JavascriptOperators::IsUndefinedObject(tempVar, undefined)) //There are some enumerators returning propertyName but not propId
- {
- propertyName = JavascriptString::FromVar(tempVar);
- scriptContext->GetOrAddPropertyRecord(propertyName->GetString(), propertyName->GetLength(), &propertyRecord);
- propId = propertyRecord->GetPropertyId();
- }
- else
- {
- continue;
- }
- }
- else
- {
- propertyRecord = scriptContext->GetPropertyName(propId);
- }
- if (descCount == descSize)
- {
- //reallocate - consider linked list of DescriptorMap if the descSize is too high
- descSize = AllocSizeMath::Mul(descCount, 2);
- __analysis_assume(descSize == descCount * 2);
- DescriptorMap *temp = RecyclerNewArray(scriptContext->GetRecycler(), DescriptorMap, descSize);
- for (size_t i = 0; i < descCount; i++)
- {
- temp[i] = descriptors[i];
- }
- descriptors = temp;
- }
- tempVar = JavascriptOperators::GetProperty(props, propId, scriptContext);
- if (!JavascriptOperators::ToPropertyDescriptor(tempVar, &descriptors[descCount].descriptor, scriptContext))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_PropertyDescriptor_Invalid, scriptContext->GetPropertyName(propId)->GetBuffer());
- }
- // In proxy, we need to get back the original ToPropertDescriptor var in [[defineProperty]] trap.
- descriptors[descCount].originalVar = tempVar;
- if (CONFIG_FLAG(UseFullName))
- {
- ModifyGetterSetterFuncName(propertyRecord, descriptors[descCount].descriptor, scriptContext);
- }
- descriptors[descCount].propRecord = propertyRecord;
- descCount++;
- }
- //Once all the property descriptors are in place set each property descriptor to the object
- for (size_t i = 0; i < descCount; i++)
- {
- DefineOwnPropertyHelper(object, descriptors[i].propRecord->GetPropertyId(), descriptors[i].descriptor, scriptContext);
- }
- LEAVE_PINNED_SCOPE();
- return object;
- }
- //ES5 15.2.3.7
- Var JavascriptObject::DefinePropertiesHelperForProxyObjects(RecyclableObject *object, RecyclableObject* props, ScriptContext *scriptContext)
- {
- Assert(JavascriptProxy::Is(props));
- //1. If Type(O) is not Object throw a TypeError exception.
- //2. Let props be ToObject(Properties).
- size_t descCount = 0;
- struct DescriptorMap
- {
- PropertyRecord const * propRecord;
- PropertyDescriptor descriptor;
- };
- //3. Let keys be props.[[OwnPropertyKeys]]().
- //4. ReturnIfAbrupt(keys).
- //5. Let descriptors be an empty List.
- JavascriptArray* keys;
- Var ownKeysResult = JavascriptOperators::GetOwnEnumerablePropertyNamesSymbols(props, scriptContext);
- if (JavascriptArray::Is(ownKeysResult))
- {
- keys = JavascriptArray::FromVar(ownKeysResult);
- }
- else
- {
- return object;
- }
- uint32 length = keys->GetLength();
- ENTER_PINNED_SCOPE(DescriptorMap, descriptors);
- descriptors = RecyclerNewArray(scriptContext->GetRecycler(), DescriptorMap, length);
- //6. Repeat for each element nextKey of keys in List order,
- // 1. Let propDesc be props.[[GetOwnProperty]](nextKey).
- // 2. ReturnIfAbrupt(propDesc).
- // 3. If propDesc is not undefined and propDesc.[[Enumerable]] is true, then
- // 1. Let descObj be Get(props, nextKey).
- // 2. ReturnIfAbrupt(descObj).
- // 3. Let desc be ToPropertyDescriptor(descObj).
- // 4. ReturnIfAbrupt(desc).
- // 5. Append the pair(a two element List) consisting of nextKey and desc to the end of descriptors.
- Var nextKey;
- const PropertyRecord* propertyRecord = nullptr;
- PropertyId propertyId;
- Var descObj;
- for (uint32 j = 0; j < length; j++)
- {
- PropertyDescriptor propertyDescriptor;
- nextKey = keys->DirectGetItem(j);
- AssertMsg(JavascriptSymbol::Is(nextKey) || JavascriptString::Is(nextKey), "Invariant check during ownKeys proxy trap should make sure we only get property key here. (symbol or string primitives)");
- JavascriptConversion::ToPropertyKey(nextKey, scriptContext, &propertyRecord);
- propertyId = propertyRecord->GetPropertyId();
- AssertMsg(propertyId != Constants::NoProperty, "DefinePropertiesHelper - OwnPropertyKeys returned a propertyId with value NoProperty.");
- if (JavascriptOperators::GetOwnPropertyDescriptor(props, propertyRecord->GetPropertyId(), scriptContext, &propertyDescriptor))
- {
- if (propertyDescriptor.IsEnumerable())
- {
- descObj = JavascriptOperators::GetProperty(props, propertyId, scriptContext);
- if (!JavascriptOperators::ToPropertyDescriptor(descObj, &descriptors[descCount].descriptor, scriptContext))
- {
- JavascriptError::ThrowTypeError(scriptContext, JSERR_PropertyDescriptor_Invalid, scriptContext->GetPropertyName(propertyId)->GetBuffer());
- }
- if (CONFIG_FLAG(UseFullName))
- {
- ModifyGetterSetterFuncName(propertyRecord, descriptors[descCount].descriptor, scriptContext);
- }
- descriptors[descCount].propRecord = propertyRecord;
- descCount++;
- }
- }
- }
- //7. For each pair from descriptors in list order,
- // 1. Let P be the first element of pair.
- // 2. Let desc be the second element of pair.
- // 3. Let status be DefinePropertyOrThrow(O, P, desc).
- // 4. ReturnIfAbrupt(status).
- for (size_t i = 0; i < descCount; i++)
- {
- DefineOwnPropertyHelper(object, descriptors[i].propRecord->GetPropertyId(), descriptors[i].descriptor, scriptContext);
- }
- LEAVE_PINNED_SCOPE();
- //8. Return O.
- return object;
- }
- Var JavascriptObject::GetPrototypeOf(RecyclableObject* obj, ScriptContext* scriptContext)
- {
- return obj->IsExternal() ? obj->GetConfigurablePrototype(scriptContext) : obj->GetPrototype();
- }
- //
- // Check if "proto" is a prototype of "object" (on its prototype chain).
- //
- bool JavascriptObject::IsPrototypeOf(RecyclableObject* proto, RecyclableObject* object, ScriptContext* scriptContext)
- {
- return JavascriptOperators::MapObjectAndPrototypesUntil<false>(object, [=](RecyclableObject* obj)
- {
- return obj == proto;
- });
- }
- static const size_t ConstructNameGetSetLength = 5; // 5 = 1 ( for .) + 3 (get or set) + 1 for null)
- /*static*/
- char16 * JavascriptObject::ConstructName(const PropertyRecord * propertyRecord, const char16 * getOrSetStr, ScriptContext* scriptContext)
- {
- Assert(propertyRecord);
- Assert(scriptContext);
- char16 * finalName = nullptr;
- size_t propertyLength = (size_t)propertyRecord->GetLength();
- if (propertyLength > 0)
- {
- size_t totalChars;
- if (SizeTAdd(propertyLength, ConstructNameGetSetLength, &totalChars) == S_OK)
- {
- finalName = RecyclerNewArrayLeaf(scriptContext->GetRecycler(), char16, totalChars);
- Assert(finalName != nullptr);
- const char16* propertyName = propertyRecord->GetBuffer();
- Assert(propertyName != nullptr);
- wcscpy_s(finalName, totalChars, propertyName);
- Assert(getOrSetStr != nullptr);
- Assert(wcslen(getOrSetStr) == 4);
- wcscpy_s(finalName + propertyLength, ConstructNameGetSetLength, getOrSetStr);
- }
- }
- return finalName;
- }
- /*static*/
- char16 * JavascriptObject::ConstructAccessorNameES6(const PropertyRecord * propertyRecord, const char16 * getOrSetStr, ScriptContext* scriptContext)
- {
- Assert(propertyRecord);
- Assert(scriptContext);
- char16 * finalName = nullptr;
- size_t propertyLength = static_cast<size_t>(propertyRecord->GetLength() + 1); //+ 1 (for null terminator)
- if (propertyLength > 0)
- {
- size_t totalChars;
- const size_t getSetLength = 4; // 4 = 3 (get or set) +1 (for space)
- if (SizeTAdd(propertyLength, getSetLength, &totalChars) == S_OK)
- {
- finalName = RecyclerNewArrayLeaf(scriptContext->GetRecycler(), char16, totalChars);
- Assert(finalName != nullptr);
- Assert(getOrSetStr != nullptr);
- Assert(wcslen(getOrSetStr) == 4);
- wcscpy_s(finalName, totalChars, getOrSetStr);
- const char16* propertyName = propertyRecord->GetBuffer();
- Assert(propertyName != nullptr);
- js_wmemcpy_s(finalName + getSetLength, propertyLength, propertyName, propertyLength);
- }
- }
- return finalName;
- }
- /*static*/
- void JavascriptObject::ModifyGetterSetterFuncName(const PropertyRecord * propertyRecord, const PropertyDescriptor& descriptor, ScriptContext* scriptContext)
- {
- Assert(scriptContext);
- Assert(propertyRecord);
- if (descriptor.GetterSpecified() || descriptor.SetterSpecified())
- {
- if (descriptor.GetterSpecified()
- && Js::ScriptFunction::Is(descriptor.GetGetter())
- && _wcsicmp(Js::ScriptFunction::FromVar(descriptor.GetGetter())->GetFunctionProxy()->GetDisplayName(), _u("get")) == 0)
- {
- // modify to name.get
- char16* finalName;
- if (scriptContext->GetConfig()->IsES6FunctionNameEnabled())
- {
- finalName = ConstructAccessorNameES6(propertyRecord, _u("get "), scriptContext);
- }
- else
- {
- finalName = ConstructName(propertyRecord, _u(".get"), scriptContext);
- }
- if (finalName != nullptr)
- {
- FunctionProxy::SetDisplayNameFlags flags = (FunctionProxy::SetDisplayNameFlags) (FunctionProxy::SetDisplayNameFlagsDontCopy | FunctionProxy::SetDisplayNameFlagsRecyclerAllocated);
- Js::ScriptFunction::FromVar(descriptor.GetGetter())->GetFunctionProxy()->SetDisplayName(finalName, propertyRecord->GetLength() + 4 /*".get" or "get "*/, flags);
- }
- }
- if (descriptor.SetterSpecified()
- && Js::ScriptFunction::Is(descriptor.GetSetter())
- && _wcsicmp(Js::ScriptFunction::FromVar(descriptor.GetSetter())->GetFunctionProxy()->GetDisplayName(), _u("set")) == 0)
- {
- // modify to name.set
- char16* finalName;
- if (scriptContext->GetConfig()->IsES6FunctionNameEnabled())
- {
- finalName = ConstructAccessorNameES6(propertyRecord, _u("set "), scriptContext);
- }
- else
- {
- finalName = ConstructName(propertyRecord, _u(".set"), scriptContext);
- }
- if (finalName != nullptr)
- {
- FunctionProxy::SetDisplayNameFlags flags = (FunctionProxy::SetDisplayNameFlags) (FunctionProxy::SetDisplayNameFlagsDontCopy | FunctionProxy::SetDisplayNameFlagsRecyclerAllocated);
- Js::ScriptFunction::FromVar(descriptor.GetSetter())->GetFunctionProxy()->SetDisplayName(finalName, propertyRecord->GetLength() + 4 /*".set" or "set "*/, flags);
- }
- }
- }
- }
- BOOL JavascriptObject::DefineOwnPropertyHelper(RecyclableObject* obj, PropertyId propId, const PropertyDescriptor& descriptor, ScriptContext* scriptContext, bool throwOnError /* = true*/)
- {
- BOOL returnValue;
- obj->ThrowIfCannotDefineProperty(propId, descriptor);
- Type* oldType = obj->GetType();
- obj->ClearWritableDataOnlyDetectionBit();
- // HostDispatch: it doesn't support changing property attributes and default attributes are not per ES5,
- // so there is no benefit in using ES5 DefineOwnPropertyDescriptor for it, use old implementation.
- if (TypeIds_HostDispatch != obj->GetTypeId())
- {
- if (DynamicObject::IsAnyArray(obj))
- {
- returnValue = JavascriptOperators::DefineOwnPropertyForArray(
- JavascriptArray::FromAnyArray(obj), propId, descriptor, throwOnError, scriptContext);
- }
- else
- {
- returnValue = JavascriptOperators::DefineOwnPropertyDescriptor(obj, propId, descriptor, throwOnError, scriptContext);
- if (propId == PropertyIds::__proto__)
- {
- scriptContext->GetLibrary()->GetObjectPrototypeObject()->PostDefineOwnProperty__proto__(obj);
- }
- }
- }
- else
- {
- returnValue = JavascriptOperators::SetPropertyDescriptor(obj, propId, descriptor);
- }
- if (propId == PropertyIds::_symbolSpecies && obj == scriptContext->GetLibrary()->GetArrayConstructor())
- {
- scriptContext->GetLibrary()->SetArrayObjectHasUserDefinedSpecies(true);
- }
- if (obj->IsWritableDataOnlyDetectionBitSet())
- {
- if (obj->GetType() == oldType)
- {
- // Also, if the object's type has not changed, we need to ensure that
- // the cached property string for this property, if any, does not
- // specify this object's type.
- scriptContext->InvalidatePropertyStringCache(propId, obj->GetType());
- }
- }
- if (descriptor.IsAccessorDescriptor())
- {
- scriptContext->optimizationOverrides.SetSideEffects(Js::SideEffects_Accessor);
- }
- return returnValue;
- }
- }
|