|
1 /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*- |
|
2 * vim: set ts=8 sts=4 et sw=4 tw=99: |
|
3 * This Source Code Form is subject to the terms of the Mozilla Public |
|
4 * License, v. 2.0. If a copy of the MPL was not distributed with this |
|
5 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
|
6 |
|
7 /* |
|
8 * JS function support. |
|
9 */ |
|
10 |
|
11 #include "jsfuninlines.h" |
|
12 |
|
13 #include "mozilla/ArrayUtils.h" |
|
14 #include "mozilla/PodOperations.h" |
|
15 |
|
16 #include <string.h> |
|
17 |
|
18 #include "jsapi.h" |
|
19 #include "jsarray.h" |
|
20 #include "jsatom.h" |
|
21 #include "jscntxt.h" |
|
22 #include "jsobj.h" |
|
23 #include "jsproxy.h" |
|
24 #include "jsscript.h" |
|
25 #include "jsstr.h" |
|
26 #include "jstypes.h" |
|
27 #include "jswrapper.h" |
|
28 |
|
29 #include "builtin/Eval.h" |
|
30 #include "builtin/Object.h" |
|
31 #include "frontend/BytecodeCompiler.h" |
|
32 #include "frontend/TokenStream.h" |
|
33 #include "gc/Marking.h" |
|
34 #ifdef JS_ION |
|
35 #include "jit/Ion.h" |
|
36 #include "jit/JitFrameIterator.h" |
|
37 #endif |
|
38 #include "vm/Interpreter.h" |
|
39 #include "vm/Shape.h" |
|
40 #include "vm/StringBuffer.h" |
|
41 #include "vm/WrapperObject.h" |
|
42 #include "vm/Xdr.h" |
|
43 |
|
44 #include "jsscriptinlines.h" |
|
45 |
|
46 #include "vm/Interpreter-inl.h" |
|
47 #include "vm/Stack-inl.h" |
|
48 |
|
49 using namespace js; |
|
50 using namespace js::gc; |
|
51 using namespace js::types; |
|
52 using namespace js::frontend; |
|
53 |
|
54 using mozilla::ArrayLength; |
|
55 using mozilla::PodCopy; |
|
56 |
|
57 static bool |
|
58 fun_getProperty(JSContext *cx, HandleObject obj_, HandleId id, MutableHandleValue vp) |
|
59 { |
|
60 RootedObject obj(cx, obj_); |
|
61 while (!obj->is<JSFunction>()) { |
|
62 if (!JSObject::getProto(cx, obj, &obj)) |
|
63 return false; |
|
64 if (!obj) |
|
65 return true; |
|
66 } |
|
67 RootedFunction fun(cx, &obj->as<JSFunction>()); |
|
68 |
|
69 /* Set to early to null in case of error */ |
|
70 vp.setNull(); |
|
71 |
|
72 /* Find fun's top-most activation record. */ |
|
73 NonBuiltinScriptFrameIter iter(cx); |
|
74 for (; !iter.done(); ++iter) { |
|
75 if (!iter.isFunctionFrame() || iter.isEvalFrame()) |
|
76 continue; |
|
77 if (iter.callee() == fun) |
|
78 break; |
|
79 } |
|
80 if (iter.done()) |
|
81 return true; |
|
82 |
|
83 if (JSID_IS_ATOM(id, cx->names().arguments)) { |
|
84 if (fun->hasRest()) { |
|
85 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, |
|
86 JSMSG_FUNCTION_ARGUMENTS_AND_REST); |
|
87 return false; |
|
88 } |
|
89 /* Warn if strict about f.arguments or equivalent unqualified uses. */ |
|
90 if (!JS_ReportErrorFlagsAndNumber(cx, JSREPORT_WARNING | JSREPORT_STRICT, js_GetErrorMessage, |
|
91 nullptr, JSMSG_DEPRECATED_USAGE, js_arguments_str)) { |
|
92 return false; |
|
93 } |
|
94 |
|
95 ArgumentsObject *argsobj = ArgumentsObject::createUnexpected(cx, iter); |
|
96 if (!argsobj) |
|
97 return false; |
|
98 |
|
99 #ifdef JS_ION |
|
100 // Disabling compiling of this script in IonMonkey. |
|
101 // IonMonkey does not guarantee |f.arguments| can be |
|
102 // fully recovered, so we try to mitigate observing this behavior by |
|
103 // detecting its use early. |
|
104 JSScript *script = iter.script(); |
|
105 jit::ForbidCompilation(cx, script); |
|
106 #endif |
|
107 |
|
108 vp.setObject(*argsobj); |
|
109 return true; |
|
110 } |
|
111 |
|
112 if (JSID_IS_ATOM(id, cx->names().caller)) { |
|
113 ++iter; |
|
114 if (iter.done() || !iter.isFunctionFrame()) { |
|
115 JS_ASSERT(vp.isNull()); |
|
116 return true; |
|
117 } |
|
118 |
|
119 /* Callsite clones should never escape to script. */ |
|
120 JSObject &maybeClone = iter.calleev().toObject(); |
|
121 if (maybeClone.is<JSFunction>()) |
|
122 vp.setObject(*maybeClone.as<JSFunction>().originalFunction()); |
|
123 else |
|
124 vp.set(iter.calleev()); |
|
125 |
|
126 if (!cx->compartment()->wrap(cx, vp)) |
|
127 return false; |
|
128 |
|
129 /* |
|
130 * Censor the caller if we don't have full access to it. |
|
131 */ |
|
132 RootedObject caller(cx, &vp.toObject()); |
|
133 if (caller->is<WrapperObject>() && Wrapper::wrapperHandler(caller)->hasSecurityPolicy()) { |
|
134 vp.setNull(); |
|
135 } else if (caller->is<JSFunction>()) { |
|
136 JSFunction *callerFun = &caller->as<JSFunction>(); |
|
137 if (callerFun->isInterpreted() && callerFun->strict()) { |
|
138 JS_ReportErrorFlagsAndNumber(cx, JSREPORT_ERROR, js_GetErrorMessage, nullptr, |
|
139 JSMSG_CALLER_IS_STRICT); |
|
140 return false; |
|
141 } |
|
142 } |
|
143 |
|
144 return true; |
|
145 } |
|
146 |
|
147 MOZ_ASSUME_UNREACHABLE("fun_getProperty"); |
|
148 } |
|
149 |
|
150 |
|
151 |
|
152 /* NB: no sentinels at ends -- use ArrayLength to bound loops. |
|
153 * Properties censored into [[ThrowTypeError]] in strict mode. */ |
|
154 static const uint16_t poisonPillProps[] = { |
|
155 NAME_OFFSET(arguments), |
|
156 NAME_OFFSET(caller), |
|
157 }; |
|
158 |
|
159 static bool |
|
160 fun_enumerate(JSContext *cx, HandleObject obj) |
|
161 { |
|
162 JS_ASSERT(obj->is<JSFunction>()); |
|
163 |
|
164 RootedId id(cx); |
|
165 bool found; |
|
166 |
|
167 if (!obj->isBoundFunction() && !obj->as<JSFunction>().isArrow()) { |
|
168 id = NameToId(cx->names().prototype); |
|
169 if (!JSObject::hasProperty(cx, obj, id, &found)) |
|
170 return false; |
|
171 } |
|
172 |
|
173 id = NameToId(cx->names().length); |
|
174 if (!JSObject::hasProperty(cx, obj, id, &found)) |
|
175 return false; |
|
176 |
|
177 id = NameToId(cx->names().name); |
|
178 if (!JSObject::hasProperty(cx, obj, id, &found)) |
|
179 return false; |
|
180 |
|
181 for (unsigned i = 0; i < ArrayLength(poisonPillProps); i++) { |
|
182 const uint16_t offset = poisonPillProps[i]; |
|
183 id = NameToId(AtomStateOffsetToName(cx->names(), offset)); |
|
184 if (!JSObject::hasProperty(cx, obj, id, &found)) |
|
185 return false; |
|
186 } |
|
187 |
|
188 return true; |
|
189 } |
|
190 |
|
191 static JSObject * |
|
192 ResolveInterpretedFunctionPrototype(JSContext *cx, HandleObject obj) |
|
193 { |
|
194 #ifdef DEBUG |
|
195 JSFunction *fun = &obj->as<JSFunction>(); |
|
196 JS_ASSERT(fun->isInterpreted()); |
|
197 JS_ASSERT(!fun->isFunctionPrototype()); |
|
198 #endif |
|
199 |
|
200 // Assert that fun is not a compiler-created function object, which |
|
201 // must never leak to script or embedding code and then be mutated. |
|
202 // Also assert that obj is not bound, per the ES5 15.3.4.5 ref above. |
|
203 JS_ASSERT(!IsInternalFunctionObject(obj)); |
|
204 JS_ASSERT(!obj->isBoundFunction()); |
|
205 |
|
206 // Make the prototype object an instance of Object with the same parent as |
|
207 // the function object itself, unless the function is an ES6 generator. In |
|
208 // that case, per the 15 July 2013 ES6 draft, section 15.19.3, its parent is |
|
209 // the GeneratorObjectPrototype singleton. |
|
210 bool isStarGenerator = obj->as<JSFunction>().isStarGenerator(); |
|
211 Rooted<GlobalObject*> global(cx, &obj->global()); |
|
212 JSObject *objProto; |
|
213 if (isStarGenerator) |
|
214 objProto = GlobalObject::getOrCreateStarGeneratorObjectPrototype(cx, global); |
|
215 else |
|
216 objProto = obj->global().getOrCreateObjectPrototype(cx); |
|
217 if (!objProto) |
|
218 return nullptr; |
|
219 const Class *clasp = &JSObject::class_; |
|
220 |
|
221 RootedObject proto(cx, NewObjectWithGivenProto(cx, clasp, objProto, nullptr, SingletonObject)); |
|
222 if (!proto) |
|
223 return nullptr; |
|
224 |
|
225 // Per ES5 15.3.5.2 a user-defined function's .prototype property is |
|
226 // initially non-configurable, non-enumerable, and writable. |
|
227 RootedValue protoVal(cx, ObjectValue(*proto)); |
|
228 if (!JSObject::defineProperty(cx, obj, cx->names().prototype, |
|
229 protoVal, JS_PropertyStub, JS_StrictPropertyStub, |
|
230 JSPROP_PERMANENT)) |
|
231 { |
|
232 return nullptr; |
|
233 } |
|
234 |
|
235 // Per ES5 13.2 the prototype's .constructor property is configurable, |
|
236 // non-enumerable, and writable. However, per the 15 July 2013 ES6 draft, |
|
237 // section 15.19.3, the .prototype of a generator function does not link |
|
238 // back with a .constructor. |
|
239 if (!isStarGenerator) { |
|
240 RootedValue objVal(cx, ObjectValue(*obj)); |
|
241 if (!JSObject::defineProperty(cx, proto, cx->names().constructor, |
|
242 objVal, JS_PropertyStub, JS_StrictPropertyStub, 0)) |
|
243 { |
|
244 return nullptr; |
|
245 } |
|
246 } |
|
247 |
|
248 return proto; |
|
249 } |
|
250 |
|
251 bool |
|
252 js::FunctionHasResolveHook(const JSAtomState &atomState, PropertyName *name) |
|
253 { |
|
254 if (name == atomState.prototype || name == atomState.length || name == atomState.name) |
|
255 return true; |
|
256 |
|
257 for (unsigned i = 0; i < ArrayLength(poisonPillProps); i++) { |
|
258 const uint16_t offset = poisonPillProps[i]; |
|
259 |
|
260 if (name == AtomStateOffsetToName(atomState, offset)) |
|
261 return true; |
|
262 } |
|
263 |
|
264 return false; |
|
265 } |
|
266 |
|
267 bool |
|
268 js::fun_resolve(JSContext *cx, HandleObject obj, HandleId id, MutableHandleObject objp) |
|
269 { |
|
270 if (!JSID_IS_ATOM(id)) |
|
271 return true; |
|
272 |
|
273 RootedFunction fun(cx, &obj->as<JSFunction>()); |
|
274 |
|
275 if (JSID_IS_ATOM(id, cx->names().prototype)) { |
|
276 /* |
|
277 * Built-in functions do not have a .prototype property per ECMA-262, |
|
278 * or (Object.prototype, Function.prototype, etc.) have that property |
|
279 * created eagerly. |
|
280 * |
|
281 * ES5 15.3.4: the non-native function object named Function.prototype |
|
282 * does not have a .prototype property. |
|
283 * |
|
284 * ES5 15.3.4.5: bound functions don't have a prototype property. The |
|
285 * isBuiltin() test covers this case because bound functions are native |
|
286 * (and thus built-in) functions by definition/construction. |
|
287 * |
|
288 * ES6 19.2.4.3: arrow functions also don't have a prototype property. |
|
289 */ |
|
290 if (fun->isBuiltin() || fun->isArrow() || fun->isFunctionPrototype()) |
|
291 return true; |
|
292 |
|
293 if (!ResolveInterpretedFunctionPrototype(cx, fun)) |
|
294 return false; |
|
295 objp.set(fun); |
|
296 return true; |
|
297 } |
|
298 |
|
299 if (JSID_IS_ATOM(id, cx->names().length) || JSID_IS_ATOM(id, cx->names().name)) { |
|
300 JS_ASSERT(!IsInternalFunctionObject(obj)); |
|
301 |
|
302 RootedValue v(cx); |
|
303 if (JSID_IS_ATOM(id, cx->names().length)) { |
|
304 if (fun->isInterpretedLazy() && !fun->getOrCreateScript(cx)) |
|
305 return false; |
|
306 uint16_t length = fun->hasScript() ? fun->nonLazyScript()->funLength() : |
|
307 fun->nargs() - fun->hasRest(); |
|
308 v.setInt32(length); |
|
309 } else { |
|
310 v.setString(fun->atom() == nullptr ? cx->runtime()->emptyString : fun->atom()); |
|
311 } |
|
312 |
|
313 if (!DefineNativeProperty(cx, fun, id, v, JS_PropertyStub, JS_StrictPropertyStub, |
|
314 JSPROP_PERMANENT | JSPROP_READONLY)) { |
|
315 return false; |
|
316 } |
|
317 objp.set(fun); |
|
318 return true; |
|
319 } |
|
320 |
|
321 for (unsigned i = 0; i < ArrayLength(poisonPillProps); i++) { |
|
322 const uint16_t offset = poisonPillProps[i]; |
|
323 |
|
324 if (JSID_IS_ATOM(id, AtomStateOffsetToName(cx->names(), offset))) { |
|
325 JS_ASSERT(!IsInternalFunctionObject(fun)); |
|
326 |
|
327 PropertyOp getter; |
|
328 StrictPropertyOp setter; |
|
329 unsigned attrs = JSPROP_PERMANENT | JSPROP_SHARED; |
|
330 if (fun->isInterpretedLazy() && !fun->getOrCreateScript(cx)) |
|
331 return false; |
|
332 if (fun->isInterpreted() ? fun->strict() : fun->isBoundFunction()) { |
|
333 JSObject *throwTypeError = fun->global().getThrowTypeError(); |
|
334 |
|
335 getter = CastAsPropertyOp(throwTypeError); |
|
336 setter = CastAsStrictPropertyOp(throwTypeError); |
|
337 attrs |= JSPROP_GETTER | JSPROP_SETTER; |
|
338 } else { |
|
339 getter = fun_getProperty; |
|
340 setter = JS_StrictPropertyStub; |
|
341 } |
|
342 |
|
343 if (!DefineNativeProperty(cx, fun, id, UndefinedHandleValue, getter, setter, attrs)) |
|
344 return false; |
|
345 objp.set(fun); |
|
346 return true; |
|
347 } |
|
348 } |
|
349 |
|
350 return true; |
|
351 } |
|
352 |
|
353 template<XDRMode mode> |
|
354 bool |
|
355 js::XDRInterpretedFunction(XDRState<mode> *xdr, HandleObject enclosingScope, HandleScript enclosingScript, |
|
356 MutableHandleObject objp) |
|
357 { |
|
358 enum FirstWordFlag { |
|
359 HasAtom = 0x1, |
|
360 IsStarGenerator = 0x2, |
|
361 IsLazy = 0x4, |
|
362 HasSingletonType = 0x8 |
|
363 }; |
|
364 |
|
365 /* NB: Keep this in sync with CloneFunctionAndScript. */ |
|
366 RootedAtom atom(xdr->cx()); |
|
367 uint32_t firstword = 0; /* bitmask of FirstWordFlag */ |
|
368 uint32_t flagsword = 0; /* word for argument count and fun->flags */ |
|
369 |
|
370 JSContext *cx = xdr->cx(); |
|
371 RootedFunction fun(cx); |
|
372 RootedScript script(cx); |
|
373 Rooted<LazyScript *> lazy(cx); |
|
374 |
|
375 if (mode == XDR_ENCODE) { |
|
376 fun = &objp->as<JSFunction>(); |
|
377 if (!fun->isInterpreted()) { |
|
378 JSAutoByteString funNameBytes; |
|
379 if (const char *name = GetFunctionNameBytes(cx, fun, &funNameBytes)) { |
|
380 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, |
|
381 JSMSG_NOT_SCRIPTED_FUNCTION, name); |
|
382 } |
|
383 return false; |
|
384 } |
|
385 |
|
386 if (fun->atom() || fun->hasGuessedAtom()) |
|
387 firstword |= HasAtom; |
|
388 |
|
389 if (fun->isStarGenerator()) |
|
390 firstword |= IsStarGenerator; |
|
391 |
|
392 if (fun->isInterpretedLazy()) { |
|
393 // This can only happen for re-lazified cloned functions, so this |
|
394 // does not apply to any JSFunction produced by the parser, only to |
|
395 // JSFunction created by the runtime. |
|
396 JS_ASSERT(!fun->lazyScript()->maybeScript()); |
|
397 |
|
398 // Encode a lazy script. |
|
399 firstword |= IsLazy; |
|
400 lazy = fun->lazyScript(); |
|
401 } else { |
|
402 // Encode the script. |
|
403 script = fun->nonLazyScript(); |
|
404 } |
|
405 |
|
406 if (fun->hasSingletonType()) |
|
407 firstword |= HasSingletonType; |
|
408 |
|
409 atom = fun->displayAtom(); |
|
410 flagsword = (fun->nargs() << 16) | fun->flags(); |
|
411 |
|
412 // The environment of any function which is not reused will always be |
|
413 // null, it is later defined when a function is cloned or reused to |
|
414 // mirror the scope chain. |
|
415 JS_ASSERT_IF(fun->hasSingletonType() && |
|
416 !((lazy && lazy->hasBeenCloned()) || (script && script->hasBeenCloned())), |
|
417 fun->environment() == nullptr); |
|
418 } |
|
419 |
|
420 if (!xdr->codeUint32(&firstword)) |
|
421 return false; |
|
422 |
|
423 if ((firstword & HasAtom) && !XDRAtom(xdr, &atom)) |
|
424 return false; |
|
425 if (!xdr->codeUint32(&flagsword)) |
|
426 return false; |
|
427 |
|
428 if (mode == XDR_DECODE) { |
|
429 JSObject *proto = nullptr; |
|
430 if (firstword & IsStarGenerator) { |
|
431 proto = GlobalObject::getOrCreateStarGeneratorFunctionPrototype(cx, cx->global()); |
|
432 if (!proto) |
|
433 return false; |
|
434 } |
|
435 |
|
436 gc::AllocKind allocKind = JSFunction::FinalizeKind; |
|
437 if (uint16_t(flagsword) & JSFunction::EXTENDED) |
|
438 allocKind = JSFunction::ExtendedFinalizeKind; |
|
439 fun = NewFunctionWithProto(cx, NullPtr(), nullptr, 0, JSFunction::INTERPRETED, |
|
440 /* parent = */ NullPtr(), NullPtr(), proto, |
|
441 allocKind, TenuredObject); |
|
442 if (!fun) |
|
443 return false; |
|
444 script = nullptr; |
|
445 } |
|
446 |
|
447 if (firstword & IsLazy) { |
|
448 if (!XDRLazyScript(xdr, enclosingScope, enclosingScript, fun, &lazy)) |
|
449 return false; |
|
450 } else { |
|
451 if (!XDRScript(xdr, enclosingScope, enclosingScript, fun, &script)) |
|
452 return false; |
|
453 } |
|
454 |
|
455 if (mode == XDR_DECODE) { |
|
456 fun->setArgCount(flagsword >> 16); |
|
457 fun->setFlags(uint16_t(flagsword)); |
|
458 fun->initAtom(atom); |
|
459 if (firstword & IsLazy) { |
|
460 fun->initLazyScript(lazy); |
|
461 } else { |
|
462 fun->initScript(script); |
|
463 script->setFunction(fun); |
|
464 JS_ASSERT(fun->nargs() == script->bindings.numArgs()); |
|
465 } |
|
466 |
|
467 bool singleton = firstword & HasSingletonType; |
|
468 if (!JSFunction::setTypeForScriptedFunction(cx, fun, singleton)) |
|
469 return false; |
|
470 objp.set(fun); |
|
471 } |
|
472 |
|
473 return true; |
|
474 } |
|
475 |
|
476 template bool |
|
477 js::XDRInterpretedFunction(XDRState<XDR_ENCODE> *, HandleObject, HandleScript, MutableHandleObject); |
|
478 |
|
479 template bool |
|
480 js::XDRInterpretedFunction(XDRState<XDR_DECODE> *, HandleObject, HandleScript, MutableHandleObject); |
|
481 |
|
482 JSObject * |
|
483 js::CloneFunctionAndScript(JSContext *cx, HandleObject enclosingScope, HandleFunction srcFun) |
|
484 { |
|
485 /* NB: Keep this in sync with XDRInterpretedFunction. */ |
|
486 JSObject *cloneProto = nullptr; |
|
487 if (srcFun->isStarGenerator()) { |
|
488 cloneProto = GlobalObject::getOrCreateStarGeneratorFunctionPrototype(cx, cx->global()); |
|
489 if (!cloneProto) |
|
490 return nullptr; |
|
491 } |
|
492 |
|
493 gc::AllocKind allocKind = JSFunction::FinalizeKind; |
|
494 if (srcFun->isExtended()) |
|
495 allocKind = JSFunction::ExtendedFinalizeKind; |
|
496 RootedFunction clone(cx, NewFunctionWithProto(cx, NullPtr(), nullptr, 0, |
|
497 JSFunction::INTERPRETED, NullPtr(), NullPtr(), |
|
498 cloneProto, allocKind, TenuredObject)); |
|
499 if (!clone) |
|
500 return nullptr; |
|
501 |
|
502 RootedScript srcScript(cx, srcFun->getOrCreateScript(cx)); |
|
503 if (!srcScript) |
|
504 return nullptr; |
|
505 RootedScript clonedScript(cx, CloneScript(cx, enclosingScope, clone, srcScript)); |
|
506 if (!clonedScript) |
|
507 return nullptr; |
|
508 |
|
509 clone->setArgCount(srcFun->nargs()); |
|
510 clone->setFlags(srcFun->flags()); |
|
511 clone->initAtom(srcFun->displayAtom()); |
|
512 clone->initScript(clonedScript); |
|
513 clonedScript->setFunction(clone); |
|
514 if (!JSFunction::setTypeForScriptedFunction(cx, clone)) |
|
515 return nullptr; |
|
516 |
|
517 RootedScript cloneScript(cx, clone->nonLazyScript()); |
|
518 CallNewScriptHook(cx, cloneScript, clone); |
|
519 return clone; |
|
520 } |
|
521 |
|
522 /* |
|
523 * [[HasInstance]] internal method for Function objects: fetch the .prototype |
|
524 * property of its 'this' parameter, and walks the prototype chain of v (only |
|
525 * if v is an object) returning true if .prototype is found. |
|
526 */ |
|
527 static bool |
|
528 fun_hasInstance(JSContext *cx, HandleObject objArg, MutableHandleValue v, bool *bp) |
|
529 { |
|
530 RootedObject obj(cx, objArg); |
|
531 |
|
532 while (obj->is<JSFunction>() && obj->isBoundFunction()) |
|
533 obj = obj->as<JSFunction>().getBoundFunctionTarget(); |
|
534 |
|
535 RootedValue pval(cx); |
|
536 if (!JSObject::getProperty(cx, obj, obj, cx->names().prototype, &pval)) |
|
537 return false; |
|
538 |
|
539 if (pval.isPrimitive()) { |
|
540 /* |
|
541 * Throw a runtime error if instanceof is called on a function that |
|
542 * has a non-object as its .prototype value. |
|
543 */ |
|
544 RootedValue val(cx, ObjectValue(*obj)); |
|
545 js_ReportValueError(cx, JSMSG_BAD_PROTOTYPE, -1, val, js::NullPtr()); |
|
546 return false; |
|
547 } |
|
548 |
|
549 RootedObject pobj(cx, &pval.toObject()); |
|
550 bool isDelegate; |
|
551 if (!IsDelegate(cx, pobj, v, &isDelegate)) |
|
552 return false; |
|
553 *bp = isDelegate; |
|
554 return true; |
|
555 } |
|
556 |
|
557 inline void |
|
558 JSFunction::trace(JSTracer *trc) |
|
559 { |
|
560 if (isExtended()) { |
|
561 MarkValueRange(trc, ArrayLength(toExtended()->extendedSlots), |
|
562 toExtended()->extendedSlots, "nativeReserved"); |
|
563 } |
|
564 |
|
565 if (atom_) |
|
566 MarkString(trc, &atom_, "atom"); |
|
567 |
|
568 if (isInterpreted()) { |
|
569 // Functions can be be marked as interpreted despite having no script |
|
570 // yet at some points when parsing, and can be lazy with no lazy script |
|
571 // for self-hosted code. |
|
572 if (hasScript() && u.i.s.script_) { |
|
573 // Functions can be relazified under the following conditions: |
|
574 // - their compartment isn't currently executing scripts or being |
|
575 // debugged |
|
576 // - they are not in the self-hosting compartment |
|
577 // - they aren't generators |
|
578 // - they don't have JIT code attached |
|
579 // - they haven't ever been inlined |
|
580 // - they don't have child functions |
|
581 // - they have information for un-lazifying them again later |
|
582 // This information can either be a LazyScript, or the name of a |
|
583 // self-hosted function which can be cloned over again. The latter |
|
584 // is stored in the first extended slot. |
|
585 if (IS_GC_MARKING_TRACER(trc) && !compartment()->hasBeenEntered() && |
|
586 !compartment()->debugMode() && !compartment()->isSelfHosting && |
|
587 u.i.s.script_->isRelazifiable() && (!isSelfHostedBuiltin() || isExtended())) |
|
588 { |
|
589 relazify(trc); |
|
590 } else { |
|
591 MarkScriptUnbarriered(trc, &u.i.s.script_, "script"); |
|
592 } |
|
593 } else if (isInterpretedLazy() && u.i.s.lazy_) { |
|
594 MarkLazyScriptUnbarriered(trc, &u.i.s.lazy_, "lazyScript"); |
|
595 } |
|
596 if (u.i.env_) |
|
597 MarkObjectUnbarriered(trc, &u.i.env_, "fun_callscope"); |
|
598 } |
|
599 } |
|
600 |
|
601 static void |
|
602 fun_trace(JSTracer *trc, JSObject *obj) |
|
603 { |
|
604 obj->as<JSFunction>().trace(trc); |
|
605 } |
|
606 |
|
607 const Class JSFunction::class_ = { |
|
608 js_Function_str, |
|
609 JSCLASS_NEW_RESOLVE | JSCLASS_IMPLEMENTS_BARRIERS | |
|
610 JSCLASS_HAS_CACHED_PROTO(JSProto_Function), |
|
611 JS_PropertyStub, /* addProperty */ |
|
612 JS_DeletePropertyStub, /* delProperty */ |
|
613 JS_PropertyStub, /* getProperty */ |
|
614 JS_StrictPropertyStub, /* setProperty */ |
|
615 fun_enumerate, |
|
616 (JSResolveOp)js::fun_resolve, |
|
617 JS_ConvertStub, |
|
618 nullptr, /* finalize */ |
|
619 nullptr, /* call */ |
|
620 fun_hasInstance, |
|
621 nullptr, /* construct */ |
|
622 fun_trace |
|
623 }; |
|
624 |
|
625 const Class* const js::FunctionClassPtr = &JSFunction::class_; |
|
626 |
|
627 /* Find the body of a function (not including braces). */ |
|
628 bool |
|
629 js::FindBody(JSContext *cx, HandleFunction fun, ConstTwoByteChars chars, size_t length, |
|
630 size_t *bodyStart, size_t *bodyEnd) |
|
631 { |
|
632 // We don't need principals, since those are only used for error reporting. |
|
633 CompileOptions options(cx); |
|
634 options.setFileAndLine("internal-findBody", 0); |
|
635 |
|
636 // For asm.js modules, there's no script. |
|
637 if (fun->hasScript()) |
|
638 options.setVersion(fun->nonLazyScript()->getVersion()); |
|
639 |
|
640 AutoKeepAtoms keepAtoms(cx->perThreadData); |
|
641 TokenStream ts(cx, options, chars.get(), length, nullptr); |
|
642 int nest = 0; |
|
643 bool onward = true; |
|
644 // Skip arguments list. |
|
645 do { |
|
646 switch (ts.getToken()) { |
|
647 case TOK_NAME: |
|
648 case TOK_YIELD: |
|
649 if (nest == 0) |
|
650 onward = false; |
|
651 break; |
|
652 case TOK_LP: |
|
653 nest++; |
|
654 break; |
|
655 case TOK_RP: |
|
656 if (--nest == 0) |
|
657 onward = false; |
|
658 break; |
|
659 case TOK_ERROR: |
|
660 // Must be memory. |
|
661 return false; |
|
662 default: |
|
663 break; |
|
664 } |
|
665 } while (onward); |
|
666 TokenKind tt = ts.getToken(); |
|
667 if (tt == TOK_ARROW) |
|
668 tt = ts.getToken(); |
|
669 if (tt == TOK_ERROR) |
|
670 return false; |
|
671 bool braced = tt == TOK_LC; |
|
672 JS_ASSERT_IF(fun->isExprClosure(), !braced); |
|
673 *bodyStart = ts.currentToken().pos.begin; |
|
674 if (braced) |
|
675 *bodyStart += 1; |
|
676 ConstTwoByteChars end(chars.get() + length, chars.get(), length); |
|
677 if (end[-1] == '}') { |
|
678 end--; |
|
679 } else { |
|
680 JS_ASSERT(!braced); |
|
681 for (; unicode::IsSpaceOrBOM2(end[-1]); end--) |
|
682 ; |
|
683 } |
|
684 *bodyEnd = end - chars; |
|
685 JS_ASSERT(*bodyStart <= *bodyEnd); |
|
686 return true; |
|
687 } |
|
688 |
|
689 JSString * |
|
690 js::FunctionToString(JSContext *cx, HandleFunction fun, bool bodyOnly, bool lambdaParen) |
|
691 { |
|
692 if (fun->isInterpretedLazy() && !fun->getOrCreateScript(cx)) |
|
693 return nullptr; |
|
694 |
|
695 if (IsAsmJSModule(fun)) |
|
696 return AsmJSModuleToString(cx, fun, !lambdaParen); |
|
697 if (IsAsmJSFunction(fun)) |
|
698 return AsmJSFunctionToString(cx, fun); |
|
699 |
|
700 StringBuffer out(cx); |
|
701 RootedScript script(cx); |
|
702 |
|
703 if (fun->hasScript()) { |
|
704 script = fun->nonLazyScript(); |
|
705 if (script->isGeneratorExp()) { |
|
706 if ((!bodyOnly && !out.append("function genexp() {")) || |
|
707 !out.append("\n [generator expression]\n") || |
|
708 (!bodyOnly && !out.append("}"))) |
|
709 { |
|
710 return nullptr; |
|
711 } |
|
712 return out.finishString(); |
|
713 } |
|
714 } |
|
715 if (!bodyOnly) { |
|
716 // If we're not in pretty mode, put parentheses around lambda functions. |
|
717 if (fun->isInterpreted() && !lambdaParen && fun->isLambda() && !fun->isArrow()) { |
|
718 if (!out.append("(")) |
|
719 return nullptr; |
|
720 } |
|
721 if (!fun->isArrow()) { |
|
722 if (!(fun->isStarGenerator() ? out.append("function* ") : out.append("function "))) |
|
723 return nullptr; |
|
724 } |
|
725 if (fun->atom()) { |
|
726 if (!out.append(fun->atom())) |
|
727 return nullptr; |
|
728 } |
|
729 } |
|
730 bool haveSource = fun->isInterpreted() && !fun->isSelfHostedBuiltin(); |
|
731 if (haveSource && !script->scriptSource()->hasSourceData() && |
|
732 !JSScript::loadSource(cx, script->scriptSource(), &haveSource)) |
|
733 { |
|
734 return nullptr; |
|
735 } |
|
736 if (haveSource) { |
|
737 RootedString srcStr(cx, script->sourceData(cx)); |
|
738 if (!srcStr) |
|
739 return nullptr; |
|
740 Rooted<JSFlatString *> src(cx, srcStr->ensureFlat(cx)); |
|
741 if (!src) |
|
742 return nullptr; |
|
743 |
|
744 ConstTwoByteChars chars(src->chars(), src->length()); |
|
745 bool exprBody = fun->isExprClosure(); |
|
746 |
|
747 // The source data for functions created by calling the Function |
|
748 // constructor is only the function's body. This depends on the fact, |
|
749 // asserted below, that in Function("function f() {}"), the inner |
|
750 // function's sourceStart points to the '(', not the 'f'. |
|
751 bool funCon = !fun->isArrow() && |
|
752 script->sourceStart() == 0 && |
|
753 script->sourceEnd() == script->scriptSource()->length() && |
|
754 script->scriptSource()->argumentsNotIncluded(); |
|
755 |
|
756 // Functions created with the constructor can't be arrow functions or |
|
757 // expression closures. |
|
758 JS_ASSERT_IF(funCon, !fun->isArrow()); |
|
759 JS_ASSERT_IF(funCon, !exprBody); |
|
760 JS_ASSERT_IF(!funCon && !fun->isArrow(), src->length() > 0 && chars[0] == '('); |
|
761 |
|
762 // If a function inherits strict mode by having scopes above it that |
|
763 // have "use strict", we insert "use strict" into the body of the |
|
764 // function. This ensures that if the result of toString is evaled, the |
|
765 // resulting function will have the same semantics. |
|
766 bool addUseStrict = script->strict() && !script->explicitUseStrict() && !fun->isArrow(); |
|
767 |
|
768 bool buildBody = funCon && !bodyOnly; |
|
769 if (buildBody) { |
|
770 // This function was created with the Function constructor. We don't |
|
771 // have source for the arguments, so we have to generate that. Part |
|
772 // of bug 755821 should be cobbling the arguments passed into the |
|
773 // Function constructor into the source string. |
|
774 if (!out.append("(")) |
|
775 return nullptr; |
|
776 |
|
777 // Fish out the argument names. |
|
778 BindingVector *localNames = cx->new_<BindingVector>(cx); |
|
779 ScopedJSDeletePtr<BindingVector> freeNames(localNames); |
|
780 if (!FillBindingVector(script, localNames)) |
|
781 return nullptr; |
|
782 for (unsigned i = 0; i < fun->nargs(); i++) { |
|
783 if ((i && !out.append(", ")) || |
|
784 (i == unsigned(fun->nargs() - 1) && fun->hasRest() && !out.append("...")) || |
|
785 !out.append((*localNames)[i].name())) { |
|
786 return nullptr; |
|
787 } |
|
788 } |
|
789 if (!out.append(") {\n")) |
|
790 return nullptr; |
|
791 } |
|
792 if ((bodyOnly && !funCon) || addUseStrict) { |
|
793 // We need to get at the body either because we're only supposed to |
|
794 // return the body or we need to insert "use strict" into the body. |
|
795 size_t bodyStart = 0, bodyEnd; |
|
796 |
|
797 // If the function is defined in the Function constructor, we |
|
798 // already have a body. |
|
799 if (!funCon) { |
|
800 JS_ASSERT(!buildBody); |
|
801 if (!FindBody(cx, fun, chars, src->length(), &bodyStart, &bodyEnd)) |
|
802 return nullptr; |
|
803 } else { |
|
804 bodyEnd = src->length(); |
|
805 } |
|
806 |
|
807 if (addUseStrict) { |
|
808 // Output source up to beginning of body. |
|
809 if (!out.append(chars, bodyStart)) |
|
810 return nullptr; |
|
811 if (exprBody) { |
|
812 // We can't insert a statement into a function with an |
|
813 // expression body. Do what the decompiler did, and insert a |
|
814 // comment. |
|
815 if (!out.append("/* use strict */ ")) |
|
816 return nullptr; |
|
817 } else { |
|
818 if (!out.append("\n\"use strict\";\n")) |
|
819 return nullptr; |
|
820 } |
|
821 } |
|
822 |
|
823 // Output just the body (for bodyOnly) or the body and possibly |
|
824 // closing braces (for addUseStrict). |
|
825 size_t dependentEnd = bodyOnly ? bodyEnd : src->length(); |
|
826 if (!out.append(chars + bodyStart, dependentEnd - bodyStart)) |
|
827 return nullptr; |
|
828 } else { |
|
829 if (!out.append(src)) |
|
830 return nullptr; |
|
831 } |
|
832 if (buildBody) { |
|
833 if (!out.append("\n}")) |
|
834 return nullptr; |
|
835 } |
|
836 if (bodyOnly) { |
|
837 // Slap a semicolon on the end of functions with an expression body. |
|
838 if (exprBody && !out.append(";")) |
|
839 return nullptr; |
|
840 } else if (!lambdaParen && fun->isLambda() && !fun->isArrow()) { |
|
841 if (!out.append(")")) |
|
842 return nullptr; |
|
843 } |
|
844 } else if (fun->isInterpreted() && !fun->isSelfHostedBuiltin()) { |
|
845 if ((!bodyOnly && !out.append("() {\n ")) || |
|
846 !out.append("[sourceless code]") || |
|
847 (!bodyOnly && !out.append("\n}"))) |
|
848 return nullptr; |
|
849 if (!lambdaParen && fun->isLambda() && !fun->isArrow() && !out.append(")")) |
|
850 return nullptr; |
|
851 } else { |
|
852 JS_ASSERT(!fun->isExprClosure()); |
|
853 |
|
854 if ((!bodyOnly && !out.append("() {\n ")) |
|
855 || !out.append("[native code]") |
|
856 || (!bodyOnly && !out.append("\n}"))) |
|
857 { |
|
858 return nullptr; |
|
859 } |
|
860 } |
|
861 return out.finishString(); |
|
862 } |
|
863 |
|
864 JSString * |
|
865 fun_toStringHelper(JSContext *cx, HandleObject obj, unsigned indent) |
|
866 { |
|
867 if (!obj->is<JSFunction>()) { |
|
868 if (obj->is<ProxyObject>()) |
|
869 return Proxy::fun_toString(cx, obj, indent); |
|
870 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, |
|
871 JSMSG_INCOMPATIBLE_PROTO, |
|
872 js_Function_str, js_toString_str, |
|
873 "object"); |
|
874 return nullptr; |
|
875 } |
|
876 |
|
877 RootedFunction fun(cx, &obj->as<JSFunction>()); |
|
878 return FunctionToString(cx, fun, false, indent != JS_DONT_PRETTY_PRINT); |
|
879 } |
|
880 |
|
881 static bool |
|
882 fun_toString(JSContext *cx, unsigned argc, Value *vp) |
|
883 { |
|
884 CallArgs args = CallArgsFromVp(argc, vp); |
|
885 JS_ASSERT(IsFunctionObject(args.calleev())); |
|
886 |
|
887 uint32_t indent = 0; |
|
888 |
|
889 if (args.length() != 0 && !ToUint32(cx, args[0], &indent)) |
|
890 return false; |
|
891 |
|
892 RootedObject obj(cx, ToObject(cx, args.thisv())); |
|
893 if (!obj) |
|
894 return false; |
|
895 |
|
896 RootedString str(cx, fun_toStringHelper(cx, obj, indent)); |
|
897 if (!str) |
|
898 return false; |
|
899 |
|
900 args.rval().setString(str); |
|
901 return true; |
|
902 } |
|
903 |
|
904 #if JS_HAS_TOSOURCE |
|
905 static bool |
|
906 fun_toSource(JSContext *cx, unsigned argc, Value *vp) |
|
907 { |
|
908 CallArgs args = CallArgsFromVp(argc, vp); |
|
909 JS_ASSERT(IsFunctionObject(args.calleev())); |
|
910 |
|
911 RootedObject obj(cx, ToObject(cx, args.thisv())); |
|
912 if (!obj) |
|
913 return false; |
|
914 |
|
915 RootedString str(cx); |
|
916 if (obj->isCallable()) |
|
917 str = fun_toStringHelper(cx, obj, JS_DONT_PRETTY_PRINT); |
|
918 else |
|
919 str = ObjectToSource(cx, obj); |
|
920 |
|
921 if (!str) |
|
922 return false; |
|
923 args.rval().setString(str); |
|
924 return true; |
|
925 } |
|
926 #endif |
|
927 |
|
928 bool |
|
929 js_fun_call(JSContext *cx, unsigned argc, Value *vp) |
|
930 { |
|
931 CallArgs args = CallArgsFromVp(argc, vp); |
|
932 |
|
933 HandleValue fval = args.thisv(); |
|
934 if (!js_IsCallable(fval)) { |
|
935 ReportIncompatibleMethod(cx, args, &JSFunction::class_); |
|
936 return false; |
|
937 } |
|
938 |
|
939 args.setCallee(fval); |
|
940 args.setThis(args.get(0)); |
|
941 |
|
942 if (args.length() > 0) { |
|
943 for (size_t i = 0; i < args.length() - 1; i++) |
|
944 args[i].set(args[i + 1]); |
|
945 args = CallArgsFromVp(args.length() - 1, vp); |
|
946 } |
|
947 |
|
948 return Invoke(cx, args); |
|
949 } |
|
950 |
|
951 // ES5 15.3.4.3 |
|
952 bool |
|
953 js_fun_apply(JSContext *cx, unsigned argc, Value *vp) |
|
954 { |
|
955 CallArgs args = CallArgsFromVp(argc, vp); |
|
956 |
|
957 // Step 1. |
|
958 HandleValue fval = args.thisv(); |
|
959 if (!js_IsCallable(fval)) { |
|
960 ReportIncompatibleMethod(cx, args, &JSFunction::class_); |
|
961 return false; |
|
962 } |
|
963 |
|
964 // Step 2. |
|
965 if (args.length() < 2 || args[1].isNullOrUndefined()) |
|
966 return js_fun_call(cx, (args.length() > 0) ? 1 : 0, vp); |
|
967 |
|
968 InvokeArgs args2(cx); |
|
969 |
|
970 // A JS_OPTIMIZED_ARGUMENTS magic value means that 'arguments' flows into |
|
971 // this apply call from a scripted caller and, as an optimization, we've |
|
972 // avoided creating it since apply can simply pull the argument values from |
|
973 // the calling frame (which we must do now). |
|
974 if (args[1].isMagic(JS_OPTIMIZED_ARGUMENTS)) { |
|
975 // Step 3-6. |
|
976 ScriptFrameIter iter(cx); |
|
977 JS_ASSERT(iter.numActualArgs() <= ARGS_LENGTH_MAX); |
|
978 if (!args2.init(iter.numActualArgs())) |
|
979 return false; |
|
980 |
|
981 args2.setCallee(fval); |
|
982 args2.setThis(args[0]); |
|
983 |
|
984 // Steps 7-8. |
|
985 iter.unaliasedForEachActual(cx, CopyTo(args2.array())); |
|
986 } else { |
|
987 // Step 3. |
|
988 if (!args[1].isObject()) { |
|
989 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, |
|
990 JSMSG_BAD_APPLY_ARGS, js_apply_str); |
|
991 return false; |
|
992 } |
|
993 |
|
994 // Steps 4-5 (note erratum removing steps originally numbered 5 and 7 in |
|
995 // original version of ES5). |
|
996 RootedObject aobj(cx, &args[1].toObject()); |
|
997 uint32_t length; |
|
998 if (!GetLengthProperty(cx, aobj, &length)) |
|
999 return false; |
|
1000 |
|
1001 // Step 6. |
|
1002 if (length > ARGS_LENGTH_MAX) { |
|
1003 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, JSMSG_TOO_MANY_FUN_APPLY_ARGS); |
|
1004 return false; |
|
1005 } |
|
1006 |
|
1007 if (!args2.init(length)) |
|
1008 return false; |
|
1009 |
|
1010 // Push fval, obj, and aobj's elements as args. |
|
1011 args2.setCallee(fval); |
|
1012 args2.setThis(args[0]); |
|
1013 |
|
1014 // Steps 7-8. |
|
1015 if (!GetElements(cx, aobj, length, args2.array())) |
|
1016 return false; |
|
1017 } |
|
1018 |
|
1019 // Step 9. |
|
1020 if (!Invoke(cx, args2)) |
|
1021 return false; |
|
1022 |
|
1023 args.rval().set(args2.rval()); |
|
1024 return true; |
|
1025 } |
|
1026 |
|
1027 static const uint32_t JSSLOT_BOUND_FUNCTION_THIS = 0; |
|
1028 static const uint32_t JSSLOT_BOUND_FUNCTION_ARGS_COUNT = 1; |
|
1029 |
|
1030 static const uint32_t BOUND_FUNCTION_RESERVED_SLOTS = 2; |
|
1031 |
|
1032 inline bool |
|
1033 JSFunction::initBoundFunction(JSContext *cx, HandleValue thisArg, |
|
1034 const Value *args, unsigned argslen) |
|
1035 { |
|
1036 RootedFunction self(cx, this); |
|
1037 |
|
1038 /* |
|
1039 * Convert to a dictionary to set the BOUND_FUNCTION flag and increase |
|
1040 * the slot span to cover the arguments and additional slots for the 'this' |
|
1041 * value and arguments count. |
|
1042 */ |
|
1043 if (!self->toDictionaryMode(cx)) |
|
1044 return false; |
|
1045 |
|
1046 if (!self->setFlag(cx, BaseShape::BOUND_FUNCTION)) |
|
1047 return false; |
|
1048 |
|
1049 if (!JSObject::setSlotSpan(cx, self, BOUND_FUNCTION_RESERVED_SLOTS + argslen)) |
|
1050 return false; |
|
1051 |
|
1052 self->setSlot(JSSLOT_BOUND_FUNCTION_THIS, thisArg); |
|
1053 self->setSlot(JSSLOT_BOUND_FUNCTION_ARGS_COUNT, PrivateUint32Value(argslen)); |
|
1054 |
|
1055 self->initSlotRange(BOUND_FUNCTION_RESERVED_SLOTS, args, argslen); |
|
1056 |
|
1057 return true; |
|
1058 } |
|
1059 |
|
1060 const js::Value & |
|
1061 JSFunction::getBoundFunctionThis() const |
|
1062 { |
|
1063 JS_ASSERT(isBoundFunction()); |
|
1064 |
|
1065 return getSlot(JSSLOT_BOUND_FUNCTION_THIS); |
|
1066 } |
|
1067 |
|
1068 const js::Value & |
|
1069 JSFunction::getBoundFunctionArgument(unsigned which) const |
|
1070 { |
|
1071 JS_ASSERT(isBoundFunction()); |
|
1072 JS_ASSERT(which < getBoundFunctionArgumentCount()); |
|
1073 |
|
1074 return getSlot(BOUND_FUNCTION_RESERVED_SLOTS + which); |
|
1075 } |
|
1076 |
|
1077 size_t |
|
1078 JSFunction::getBoundFunctionArgumentCount() const |
|
1079 { |
|
1080 JS_ASSERT(isBoundFunction()); |
|
1081 |
|
1082 return getSlot(JSSLOT_BOUND_FUNCTION_ARGS_COUNT).toPrivateUint32(); |
|
1083 } |
|
1084 |
|
1085 /* static */ bool |
|
1086 JSFunction::createScriptForLazilyInterpretedFunction(JSContext *cx, HandleFunction fun) |
|
1087 { |
|
1088 JS_ASSERT(fun->isInterpretedLazy()); |
|
1089 |
|
1090 Rooted<LazyScript*> lazy(cx, fun->lazyScriptOrNull()); |
|
1091 if (lazy) { |
|
1092 // Trigger a pre barrier on the lazy script being overwritten. |
|
1093 if (cx->zone()->needsBarrier()) |
|
1094 LazyScript::writeBarrierPre(lazy); |
|
1095 |
|
1096 // Suppress GC for now although we should be able to remove this by |
|
1097 // making 'lazy' a Rooted<LazyScript*> (which requires adding a |
|
1098 // THING_ROOT_LAZY_SCRIPT). |
|
1099 AutoSuppressGC suppressGC(cx); |
|
1100 |
|
1101 RootedScript script(cx, lazy->maybeScript()); |
|
1102 |
|
1103 if (script) { |
|
1104 fun->setUnlazifiedScript(script); |
|
1105 // Remember the lazy script on the compiled script, so it can be |
|
1106 // stored on the function again in case of re-lazification. |
|
1107 // Only functions without inner functions are re-lazified. |
|
1108 if (!lazy->numInnerFunctions()) |
|
1109 script->setLazyScript(lazy); |
|
1110 return true; |
|
1111 } |
|
1112 |
|
1113 if (fun != lazy->functionNonDelazifying()) { |
|
1114 if (!lazy->functionDelazifying(cx)) |
|
1115 return false; |
|
1116 script = lazy->functionNonDelazifying()->nonLazyScript(); |
|
1117 if (!script) |
|
1118 return false; |
|
1119 |
|
1120 fun->setUnlazifiedScript(script); |
|
1121 return true; |
|
1122 } |
|
1123 |
|
1124 // Lazy script caching is only supported for leaf functions. If a |
|
1125 // script with inner functions was returned by the cache, those inner |
|
1126 // functions would be delazified when deep cloning the script, even if |
|
1127 // they have never executed. |
|
1128 // |
|
1129 // Additionally, the lazy script cache is not used during incremental |
|
1130 // GCs, to avoid resurrecting dead scripts after incremental sweeping |
|
1131 // has started. |
|
1132 if (!lazy->numInnerFunctions() && !JS::IsIncrementalGCInProgress(cx->runtime())) { |
|
1133 LazyScriptCache::Lookup lookup(cx, lazy); |
|
1134 cx->runtime()->lazyScriptCache.lookup(lookup, script.address()); |
|
1135 } |
|
1136 |
|
1137 if (script) { |
|
1138 RootedObject enclosingScope(cx, lazy->enclosingScope()); |
|
1139 RootedScript clonedScript(cx, CloneScript(cx, enclosingScope, fun, script)); |
|
1140 if (!clonedScript) |
|
1141 return false; |
|
1142 |
|
1143 clonedScript->setSourceObject(lazy->sourceObject()); |
|
1144 |
|
1145 fun->initAtom(script->functionNonDelazifying()->displayAtom()); |
|
1146 clonedScript->setFunction(fun); |
|
1147 |
|
1148 fun->setUnlazifiedScript(clonedScript); |
|
1149 |
|
1150 CallNewScriptHook(cx, clonedScript, fun); |
|
1151 |
|
1152 if (!lazy->maybeScript()) |
|
1153 lazy->initScript(clonedScript); |
|
1154 return true; |
|
1155 } |
|
1156 |
|
1157 JS_ASSERT(lazy->source()->hasSourceData()); |
|
1158 |
|
1159 // Parse and compile the script from source. |
|
1160 SourceDataCache::AutoHoldEntry holder; |
|
1161 const jschar *chars = lazy->source()->chars(cx, holder); |
|
1162 if (!chars) |
|
1163 return false; |
|
1164 |
|
1165 const jschar *lazyStart = chars + lazy->begin(); |
|
1166 size_t lazyLength = lazy->end() - lazy->begin(); |
|
1167 |
|
1168 if (!frontend::CompileLazyFunction(cx, lazy, lazyStart, lazyLength)) |
|
1169 return false; |
|
1170 |
|
1171 script = fun->nonLazyScript(); |
|
1172 |
|
1173 // Remember the compiled script on the lazy script itself, in case |
|
1174 // there are clones of the function still pointing to the lazy script. |
|
1175 if (!lazy->maybeScript()) |
|
1176 lazy->initScript(script); |
|
1177 |
|
1178 // Try to insert the newly compiled script into the lazy script cache. |
|
1179 if (!lazy->numInnerFunctions()) { |
|
1180 // A script's starting column isn't set by the bytecode emitter, so |
|
1181 // specify this from the lazy script so that if an identical lazy |
|
1182 // script is encountered later a match can be determined. |
|
1183 script->setColumn(lazy->column()); |
|
1184 |
|
1185 LazyScriptCache::Lookup lookup(cx, lazy); |
|
1186 cx->runtime()->lazyScriptCache.insert(lookup, script); |
|
1187 |
|
1188 // Remember the lazy script on the compiled script, so it can be |
|
1189 // stored on the function again in case of re-lazification. |
|
1190 // Only functions without inner functions are re-lazified. |
|
1191 script->setLazyScript(lazy); |
|
1192 } |
|
1193 return true; |
|
1194 } |
|
1195 |
|
1196 /* Lazily cloned self-hosted script. */ |
|
1197 JS_ASSERT(fun->isSelfHostedBuiltin()); |
|
1198 RootedAtom funAtom(cx, &fun->getExtendedSlot(0).toString()->asAtom()); |
|
1199 if (!funAtom) |
|
1200 return false; |
|
1201 Rooted<PropertyName *> funName(cx, funAtom->asPropertyName()); |
|
1202 return cx->runtime()->cloneSelfHostedFunctionScript(cx, funName, fun); |
|
1203 } |
|
1204 |
|
1205 void |
|
1206 JSFunction::relazify(JSTracer *trc) |
|
1207 { |
|
1208 JSScript *script = nonLazyScript(); |
|
1209 JS_ASSERT(script->isRelazifiable()); |
|
1210 JS_ASSERT(!compartment()->hasBeenEntered()); |
|
1211 JS_ASSERT(!compartment()->debugMode()); |
|
1212 |
|
1213 // If the script's canonical function isn't lazy, we have to mark the |
|
1214 // script. Otherwise, the following scenario would leave it unmarked |
|
1215 // and cause it to be swept while a function is still expecting it to be |
|
1216 // valid: |
|
1217 // 1. an incremental GC slice causes the canonical function to relazify |
|
1218 // 2. a clone is used and delazifies the canonical function |
|
1219 // 3. another GC slice causes the clone to relazify |
|
1220 // The result is that no function marks the script, but the canonical |
|
1221 // function expects it to be valid. |
|
1222 if (script->functionNonDelazifying()->hasScript()) |
|
1223 MarkScriptUnbarriered(trc, &u.i.s.script_, "script"); |
|
1224 |
|
1225 flags_ &= ~INTERPRETED; |
|
1226 flags_ |= INTERPRETED_LAZY; |
|
1227 LazyScript *lazy = script->maybeLazyScript(); |
|
1228 u.i.s.lazy_ = lazy; |
|
1229 if (lazy) { |
|
1230 JS_ASSERT(!isSelfHostedBuiltin()); |
|
1231 // If this is the script stored in the lazy script to be cloned |
|
1232 // for un-lazifying other functions, reset it so the script can |
|
1233 // be freed. |
|
1234 if (lazy->maybeScript() == script) |
|
1235 lazy->resetScript(); |
|
1236 MarkLazyScriptUnbarriered(trc, &u.i.s.lazy_, "lazyScript"); |
|
1237 } else { |
|
1238 JS_ASSERT(isSelfHostedBuiltin()); |
|
1239 JS_ASSERT(isExtended()); |
|
1240 JS_ASSERT(getExtendedSlot(0).toString()->isAtom()); |
|
1241 } |
|
1242 } |
|
1243 |
|
1244 /* ES5 15.3.4.5.1 and 15.3.4.5.2. */ |
|
1245 bool |
|
1246 js::CallOrConstructBoundFunction(JSContext *cx, unsigned argc, Value *vp) |
|
1247 { |
|
1248 CallArgs args = CallArgsFromVp(argc, vp); |
|
1249 RootedFunction fun(cx, &args.callee().as<JSFunction>()); |
|
1250 JS_ASSERT(fun->isBoundFunction()); |
|
1251 |
|
1252 /* 15.3.4.5.1 step 1, 15.3.4.5.2 step 3. */ |
|
1253 unsigned argslen = fun->getBoundFunctionArgumentCount(); |
|
1254 |
|
1255 if (args.length() + argslen > ARGS_LENGTH_MAX) { |
|
1256 js_ReportAllocationOverflow(cx); |
|
1257 return false; |
|
1258 } |
|
1259 |
|
1260 /* 15.3.4.5.1 step 3, 15.3.4.5.2 step 1. */ |
|
1261 RootedObject target(cx, fun->getBoundFunctionTarget()); |
|
1262 |
|
1263 /* 15.3.4.5.1 step 2. */ |
|
1264 const Value &boundThis = fun->getBoundFunctionThis(); |
|
1265 |
|
1266 InvokeArgs invokeArgs(cx); |
|
1267 if (!invokeArgs.init(args.length() + argslen)) |
|
1268 return false; |
|
1269 |
|
1270 /* 15.3.4.5.1, 15.3.4.5.2 step 4. */ |
|
1271 for (unsigned i = 0; i < argslen; i++) |
|
1272 invokeArgs[i].set(fun->getBoundFunctionArgument(i)); |
|
1273 PodCopy(invokeArgs.array() + argslen, vp + 2, args.length()); |
|
1274 |
|
1275 /* 15.3.4.5.1, 15.3.4.5.2 step 5. */ |
|
1276 invokeArgs.setCallee(ObjectValue(*target)); |
|
1277 |
|
1278 bool constructing = args.isConstructing(); |
|
1279 if (!constructing) |
|
1280 invokeArgs.setThis(boundThis); |
|
1281 |
|
1282 if (constructing ? !InvokeConstructor(cx, invokeArgs) : !Invoke(cx, invokeArgs)) |
|
1283 return false; |
|
1284 |
|
1285 args.rval().set(invokeArgs.rval()); |
|
1286 return true; |
|
1287 } |
|
1288 |
|
1289 static bool |
|
1290 fun_isGenerator(JSContext *cx, unsigned argc, Value *vp) |
|
1291 { |
|
1292 CallArgs args = CallArgsFromVp(argc, vp); |
|
1293 JSFunction *fun; |
|
1294 if (!IsFunctionObject(args.thisv(), &fun)) { |
|
1295 args.rval().setBoolean(false); |
|
1296 return true; |
|
1297 } |
|
1298 |
|
1299 args.rval().setBoolean(fun->isGenerator()); |
|
1300 return true; |
|
1301 } |
|
1302 |
|
1303 /* ES5 15.3.4.5. */ |
|
1304 static bool |
|
1305 fun_bind(JSContext *cx, unsigned argc, Value *vp) |
|
1306 { |
|
1307 CallArgs args = CallArgsFromVp(argc, vp); |
|
1308 |
|
1309 /* Step 1. */ |
|
1310 Value thisv = args.thisv(); |
|
1311 |
|
1312 /* Step 2. */ |
|
1313 if (!js_IsCallable(thisv)) { |
|
1314 ReportIncompatibleMethod(cx, args, &JSFunction::class_); |
|
1315 return false; |
|
1316 } |
|
1317 |
|
1318 /* Step 3. */ |
|
1319 Value *boundArgs = nullptr; |
|
1320 unsigned argslen = 0; |
|
1321 if (args.length() > 1) { |
|
1322 boundArgs = args.array() + 1; |
|
1323 argslen = args.length() - 1; |
|
1324 } |
|
1325 |
|
1326 /* Steps 7-9. */ |
|
1327 RootedValue thisArg(cx, args.length() >= 1 ? args[0] : UndefinedValue()); |
|
1328 RootedObject target(cx, &thisv.toObject()); |
|
1329 JSObject *boundFunction = js_fun_bind(cx, target, thisArg, boundArgs, argslen); |
|
1330 if (!boundFunction) |
|
1331 return false; |
|
1332 |
|
1333 /* Step 22. */ |
|
1334 args.rval().setObject(*boundFunction); |
|
1335 return true; |
|
1336 } |
|
1337 |
|
1338 JSObject* |
|
1339 js_fun_bind(JSContext *cx, HandleObject target, HandleValue thisArg, |
|
1340 Value *boundArgs, unsigned argslen) |
|
1341 { |
|
1342 /* Steps 15-16. */ |
|
1343 unsigned length = 0; |
|
1344 if (target->is<JSFunction>()) { |
|
1345 unsigned nargs = target->as<JSFunction>().nargs(); |
|
1346 if (nargs > argslen) |
|
1347 length = nargs - argslen; |
|
1348 } |
|
1349 |
|
1350 /* Step 4-6, 10-11. */ |
|
1351 RootedAtom name(cx, target->is<JSFunction>() ? target->as<JSFunction>().atom() : nullptr); |
|
1352 |
|
1353 RootedObject funobj(cx, NewFunction(cx, js::NullPtr(), CallOrConstructBoundFunction, length, |
|
1354 JSFunction::NATIVE_CTOR, target, name)); |
|
1355 if (!funobj) |
|
1356 return nullptr; |
|
1357 |
|
1358 /* NB: Bound functions abuse |parent| to store their target. */ |
|
1359 if (!JSObject::setParent(cx, funobj, target)) |
|
1360 return nullptr; |
|
1361 |
|
1362 if (!funobj->as<JSFunction>().initBoundFunction(cx, thisArg, boundArgs, argslen)) |
|
1363 return nullptr; |
|
1364 |
|
1365 /* Steps 17, 19-21 are handled by fun_resolve. */ |
|
1366 /* Step 18 is the default for new functions. */ |
|
1367 return funobj; |
|
1368 } |
|
1369 |
|
1370 /* |
|
1371 * Report "malformed formal parameter" iff no illegal char or similar scanner |
|
1372 * error was already reported. |
|
1373 */ |
|
1374 static bool |
|
1375 OnBadFormal(JSContext *cx, TokenKind tt) |
|
1376 { |
|
1377 if (tt != TOK_ERROR) |
|
1378 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, JSMSG_BAD_FORMAL); |
|
1379 else |
|
1380 JS_ASSERT(cx->isExceptionPending()); |
|
1381 return false; |
|
1382 } |
|
1383 |
|
1384 const JSFunctionSpec js::function_methods[] = { |
|
1385 #if JS_HAS_TOSOURCE |
|
1386 JS_FN(js_toSource_str, fun_toSource, 0,0), |
|
1387 #endif |
|
1388 JS_FN(js_toString_str, fun_toString, 0,0), |
|
1389 JS_FN(js_apply_str, js_fun_apply, 2,0), |
|
1390 JS_FN(js_call_str, js_fun_call, 1,0), |
|
1391 JS_FN("bind", fun_bind, 1,0), |
|
1392 JS_FN("isGenerator", fun_isGenerator,0,0), |
|
1393 JS_FS_END |
|
1394 }; |
|
1395 |
|
1396 static bool |
|
1397 FunctionConstructor(JSContext *cx, unsigned argc, Value *vp, GeneratorKind generatorKind) |
|
1398 { |
|
1399 CallArgs args = CallArgsFromVp(argc, vp); |
|
1400 RootedString arg(cx); // used multiple times below |
|
1401 |
|
1402 /* Block this call if security callbacks forbid it. */ |
|
1403 Rooted<GlobalObject*> global(cx, &args.callee().global()); |
|
1404 if (!GlobalObject::isRuntimeCodeGenEnabled(cx, global)) { |
|
1405 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, JSMSG_CSP_BLOCKED_FUNCTION); |
|
1406 return false; |
|
1407 } |
|
1408 |
|
1409 AutoKeepAtoms keepAtoms(cx->perThreadData); |
|
1410 AutoNameVector formals(cx); |
|
1411 |
|
1412 bool hasRest = false; |
|
1413 |
|
1414 bool isStarGenerator = generatorKind == StarGenerator; |
|
1415 JS_ASSERT(generatorKind != LegacyGenerator); |
|
1416 |
|
1417 RootedScript maybeScript(cx); |
|
1418 const char *filename; |
|
1419 unsigned lineno; |
|
1420 JSPrincipals *originPrincipals; |
|
1421 uint32_t pcOffset; |
|
1422 DescribeScriptedCallerForCompilation(cx, &maybeScript, &filename, &lineno, &pcOffset, |
|
1423 &originPrincipals); |
|
1424 |
|
1425 const char *introductionType = "Function"; |
|
1426 if (generatorKind != NotGenerator) |
|
1427 introductionType = "GeneratorFunction"; |
|
1428 |
|
1429 const char *introducerFilename = filename; |
|
1430 if (maybeScript && maybeScript->scriptSource()->introducerFilename()) |
|
1431 introducerFilename = maybeScript->scriptSource()->introducerFilename(); |
|
1432 |
|
1433 CompileOptions options(cx); |
|
1434 options.setOriginPrincipals(originPrincipals) |
|
1435 .setFileAndLine(filename, 1) |
|
1436 .setNoScriptRval(false) |
|
1437 .setCompileAndGo(true) |
|
1438 .setIntroductionInfo(introducerFilename, introductionType, lineno, maybeScript, pcOffset); |
|
1439 |
|
1440 unsigned n = args.length() ? args.length() - 1 : 0; |
|
1441 if (n > 0) { |
|
1442 /* |
|
1443 * Collect the function-argument arguments into one string, separated |
|
1444 * by commas, then make a tokenstream from that string, and scan it to |
|
1445 * get the arguments. We need to throw the full scanner at the |
|
1446 * problem, because the argument string can legitimately contain |
|
1447 * comments and linefeeds. XXX It might be better to concatenate |
|
1448 * everything up into a function definition and pass it to the |
|
1449 * compiler, but doing it this way is less of a delta from the old |
|
1450 * code. See ECMA 15.3.2.1. |
|
1451 */ |
|
1452 size_t args_length = 0; |
|
1453 for (unsigned i = 0; i < n; i++) { |
|
1454 /* Collect the lengths for all the function-argument arguments. */ |
|
1455 arg = ToString<CanGC>(cx, args[i]); |
|
1456 if (!arg) |
|
1457 return false; |
|
1458 args[i].setString(arg); |
|
1459 |
|
1460 /* |
|
1461 * Check for overflow. The < test works because the maximum |
|
1462 * JSString length fits in 2 fewer bits than size_t has. |
|
1463 */ |
|
1464 size_t old_args_length = args_length; |
|
1465 args_length = old_args_length + arg->length(); |
|
1466 if (args_length < old_args_length) { |
|
1467 js_ReportAllocationOverflow(cx); |
|
1468 return false; |
|
1469 } |
|
1470 } |
|
1471 |
|
1472 /* Add 1 for each joining comma and check for overflow (two ways). */ |
|
1473 size_t old_args_length = args_length; |
|
1474 args_length = old_args_length + n - 1; |
|
1475 if (args_length < old_args_length || |
|
1476 args_length >= ~(size_t)0 / sizeof(jschar)) { |
|
1477 js_ReportAllocationOverflow(cx); |
|
1478 return false; |
|
1479 } |
|
1480 |
|
1481 /* |
|
1482 * Allocate a string to hold the concatenated arguments, including room |
|
1483 * for a terminating 0. Mark cx->tempLifeAlloc for later release, to |
|
1484 * free collected_args and its tokenstream in one swoop. |
|
1485 */ |
|
1486 LifoAllocScope las(&cx->tempLifoAlloc()); |
|
1487 jschar *cp = cx->tempLifoAlloc().newArray<jschar>(args_length + 1); |
|
1488 if (!cp) { |
|
1489 js_ReportOutOfMemory(cx); |
|
1490 return false; |
|
1491 } |
|
1492 ConstTwoByteChars collected_args(cp, args_length + 1); |
|
1493 |
|
1494 /* |
|
1495 * Concatenate the arguments into the new string, separated by commas. |
|
1496 */ |
|
1497 for (unsigned i = 0; i < n; i++) { |
|
1498 arg = args[i].toString(); |
|
1499 size_t arg_length = arg->length(); |
|
1500 const jschar *arg_chars = arg->getChars(cx); |
|
1501 if (!arg_chars) |
|
1502 return false; |
|
1503 (void) js_strncpy(cp, arg_chars, arg_length); |
|
1504 cp += arg_length; |
|
1505 |
|
1506 /* Add separating comma or terminating 0. */ |
|
1507 *cp++ = (i + 1 < n) ? ',' : 0; |
|
1508 } |
|
1509 |
|
1510 /* |
|
1511 * Initialize a tokenstream that reads from the given string. No |
|
1512 * StrictModeGetter is needed because this TokenStream won't report any |
|
1513 * strict mode errors. Any strict mode errors which might be reported |
|
1514 * here (duplicate argument names, etc.) will be detected when we |
|
1515 * compile the function body. |
|
1516 */ |
|
1517 TokenStream ts(cx, options, collected_args.get(), args_length, |
|
1518 /* strictModeGetter = */ nullptr); |
|
1519 bool yieldIsValidName = ts.versionNumber() < JSVERSION_1_7 && !isStarGenerator; |
|
1520 |
|
1521 /* The argument string may be empty or contain no tokens. */ |
|
1522 TokenKind tt = ts.getToken(); |
|
1523 if (tt != TOK_EOF) { |
|
1524 for (;;) { |
|
1525 /* |
|
1526 * Check that it's a name. This also implicitly guards against |
|
1527 * TOK_ERROR, which was already reported. |
|
1528 */ |
|
1529 if (hasRest) { |
|
1530 ts.reportError(JSMSG_PARAMETER_AFTER_REST); |
|
1531 return false; |
|
1532 } |
|
1533 |
|
1534 if (tt == TOK_YIELD && yieldIsValidName) |
|
1535 tt = TOK_NAME; |
|
1536 |
|
1537 if (tt != TOK_NAME) { |
|
1538 if (tt == TOK_TRIPLEDOT) { |
|
1539 hasRest = true; |
|
1540 tt = ts.getToken(); |
|
1541 if (tt == TOK_YIELD && yieldIsValidName) |
|
1542 tt = TOK_NAME; |
|
1543 if (tt != TOK_NAME) { |
|
1544 if (tt != TOK_ERROR) |
|
1545 ts.reportError(JSMSG_NO_REST_NAME); |
|
1546 return false; |
|
1547 } |
|
1548 } else { |
|
1549 return OnBadFormal(cx, tt); |
|
1550 } |
|
1551 } |
|
1552 |
|
1553 if (!formals.append(ts.currentName())) |
|
1554 return false; |
|
1555 |
|
1556 /* |
|
1557 * Get the next token. Stop on end of stream. Otherwise |
|
1558 * insist on a comma, get another name, and iterate. |
|
1559 */ |
|
1560 tt = ts.getToken(); |
|
1561 if (tt == TOK_EOF) |
|
1562 break; |
|
1563 if (tt != TOK_COMMA) |
|
1564 return OnBadFormal(cx, tt); |
|
1565 tt = ts.getToken(); |
|
1566 } |
|
1567 } |
|
1568 } |
|
1569 |
|
1570 #ifdef DEBUG |
|
1571 for (unsigned i = 0; i < formals.length(); ++i) { |
|
1572 JSString *str = formals[i]; |
|
1573 JS_ASSERT(str->asAtom().asPropertyName() == formals[i]); |
|
1574 } |
|
1575 #endif |
|
1576 |
|
1577 RootedString str(cx); |
|
1578 if (!args.length()) |
|
1579 str = cx->runtime()->emptyString; |
|
1580 else |
|
1581 str = ToString<CanGC>(cx, args[args.length() - 1]); |
|
1582 if (!str) |
|
1583 return false; |
|
1584 JSLinearString *linear = str->ensureLinear(cx); |
|
1585 if (!linear) |
|
1586 return false; |
|
1587 |
|
1588 JS::Anchor<JSString *> strAnchor(str); |
|
1589 const jschar *chars = linear->chars(); |
|
1590 size_t length = linear->length(); |
|
1591 |
|
1592 /* |
|
1593 * NB: (new Function) is not lexically closed by its caller, it's just an |
|
1594 * anonymous function in the top-level scope that its constructor inhabits. |
|
1595 * Thus 'var x = 42; f = new Function("return x"); print(f())' prints 42, |
|
1596 * and so would a call to f from another top-level's script or function. |
|
1597 */ |
|
1598 RootedAtom anonymousAtom(cx, cx->names().anonymous); |
|
1599 JSObject *proto = nullptr; |
|
1600 if (isStarGenerator) { |
|
1601 proto = GlobalObject::getOrCreateStarGeneratorFunctionPrototype(cx, global); |
|
1602 if (!proto) |
|
1603 return false; |
|
1604 } |
|
1605 RootedFunction fun(cx, NewFunctionWithProto(cx, js::NullPtr(), nullptr, 0, |
|
1606 JSFunction::INTERPRETED_LAMBDA, global, |
|
1607 anonymousAtom, proto, |
|
1608 JSFunction::FinalizeKind, TenuredObject)); |
|
1609 if (!fun) |
|
1610 return false; |
|
1611 |
|
1612 if (!JSFunction::setTypeForScriptedFunction(cx, fun)) |
|
1613 return false; |
|
1614 |
|
1615 if (hasRest) |
|
1616 fun->setHasRest(); |
|
1617 |
|
1618 bool ok; |
|
1619 SourceBufferHolder srcBuf(chars, length, SourceBufferHolder::NoOwnership); |
|
1620 if (isStarGenerator) |
|
1621 ok = frontend::CompileStarGeneratorBody(cx, &fun, options, formals, srcBuf); |
|
1622 else |
|
1623 ok = frontend::CompileFunctionBody(cx, &fun, options, formals, srcBuf); |
|
1624 args.rval().setObject(*fun); |
|
1625 return ok; |
|
1626 } |
|
1627 |
|
1628 bool |
|
1629 js::Function(JSContext *cx, unsigned argc, Value *vp) |
|
1630 { |
|
1631 return FunctionConstructor(cx, argc, vp, NotGenerator); |
|
1632 } |
|
1633 |
|
1634 bool |
|
1635 js::Generator(JSContext *cx, unsigned argc, Value *vp) |
|
1636 { |
|
1637 return FunctionConstructor(cx, argc, vp, StarGenerator); |
|
1638 } |
|
1639 |
|
1640 bool |
|
1641 JSFunction::isBuiltinFunctionConstructor() |
|
1642 { |
|
1643 return maybeNative() == Function || maybeNative() == Generator; |
|
1644 } |
|
1645 |
|
1646 JSFunction * |
|
1647 js::NewFunction(ExclusiveContext *cx, HandleObject funobjArg, Native native, unsigned nargs, |
|
1648 JSFunction::Flags flags, HandleObject parent, HandleAtom atom, |
|
1649 gc::AllocKind allocKind /* = JSFunction::FinalizeKind */, |
|
1650 NewObjectKind newKind /* = GenericObject */) |
|
1651 { |
|
1652 return NewFunctionWithProto(cx, funobjArg, native, nargs, flags, parent, atom, nullptr, |
|
1653 allocKind, newKind); |
|
1654 } |
|
1655 |
|
1656 JSFunction * |
|
1657 js::NewFunctionWithProto(ExclusiveContext *cx, HandleObject funobjArg, Native native, |
|
1658 unsigned nargs, JSFunction::Flags flags, HandleObject parent, |
|
1659 HandleAtom atom, JSObject *proto, |
|
1660 gc::AllocKind allocKind /* = JSFunction::FinalizeKind */, |
|
1661 NewObjectKind newKind /* = GenericObject */) |
|
1662 { |
|
1663 JS_ASSERT(allocKind == JSFunction::FinalizeKind || allocKind == JSFunction::ExtendedFinalizeKind); |
|
1664 JS_ASSERT(sizeof(JSFunction) <= gc::Arena::thingSize(JSFunction::FinalizeKind)); |
|
1665 JS_ASSERT(sizeof(FunctionExtended) <= gc::Arena::thingSize(JSFunction::ExtendedFinalizeKind)); |
|
1666 |
|
1667 RootedObject funobj(cx, funobjArg); |
|
1668 if (funobj) { |
|
1669 JS_ASSERT(funobj->is<JSFunction>()); |
|
1670 JS_ASSERT(funobj->getParent() == parent); |
|
1671 JS_ASSERT_IF(native, funobj->hasSingletonType()); |
|
1672 } else { |
|
1673 // Don't give asm.js module functions a singleton type since they |
|
1674 // are cloned (via CloneFunctionObjectIfNotSingleton) which assumes |
|
1675 // that hasSingletonType implies isInterpreted. |
|
1676 if (native && !IsAsmJSModuleNative(native)) |
|
1677 newKind = SingletonObject; |
|
1678 funobj = NewObjectWithClassProto(cx, &JSFunction::class_, proto, |
|
1679 SkipScopeParent(parent), allocKind, newKind); |
|
1680 if (!funobj) |
|
1681 return nullptr; |
|
1682 } |
|
1683 RootedFunction fun(cx, &funobj->as<JSFunction>()); |
|
1684 |
|
1685 if (allocKind == JSFunction::ExtendedFinalizeKind) |
|
1686 flags = JSFunction::Flags(flags | JSFunction::EXTENDED); |
|
1687 |
|
1688 /* Initialize all function members. */ |
|
1689 fun->setArgCount(uint16_t(nargs)); |
|
1690 fun->setFlags(flags); |
|
1691 if (fun->isInterpreted()) { |
|
1692 JS_ASSERT(!native); |
|
1693 fun->mutableScript().init(nullptr); |
|
1694 fun->initEnvironment(parent); |
|
1695 } else { |
|
1696 JS_ASSERT(fun->isNative()); |
|
1697 JS_ASSERT(native); |
|
1698 fun->initNative(native, nullptr); |
|
1699 } |
|
1700 if (allocKind == JSFunction::ExtendedFinalizeKind) |
|
1701 fun->initializeExtended(); |
|
1702 fun->initAtom(atom); |
|
1703 |
|
1704 return fun; |
|
1705 } |
|
1706 |
|
1707 JSFunction * |
|
1708 js::CloneFunctionObject(JSContext *cx, HandleFunction fun, HandleObject parent, gc::AllocKind allocKind, |
|
1709 NewObjectKind newKindArg /* = GenericObject */) |
|
1710 { |
|
1711 JS_ASSERT(parent); |
|
1712 JS_ASSERT(!fun->isBoundFunction()); |
|
1713 |
|
1714 bool useSameScript = cx->compartment() == fun->compartment() && |
|
1715 !fun->hasSingletonType() && |
|
1716 !types::UseNewTypeForClone(fun); |
|
1717 |
|
1718 if (!useSameScript && fun->isInterpretedLazy() && !fun->getOrCreateScript(cx)) |
|
1719 return nullptr; |
|
1720 |
|
1721 NewObjectKind newKind = useSameScript ? newKindArg : SingletonObject; |
|
1722 JSObject *cloneProto = nullptr; |
|
1723 if (fun->isStarGenerator()) { |
|
1724 cloneProto = GlobalObject::getOrCreateStarGeneratorFunctionPrototype(cx, cx->global()); |
|
1725 if (!cloneProto) |
|
1726 return nullptr; |
|
1727 } |
|
1728 JSObject *cloneobj = NewObjectWithClassProto(cx, &JSFunction::class_, cloneProto, |
|
1729 SkipScopeParent(parent), allocKind, newKind); |
|
1730 if (!cloneobj) |
|
1731 return nullptr; |
|
1732 RootedFunction clone(cx, &cloneobj->as<JSFunction>()); |
|
1733 |
|
1734 uint16_t flags = fun->flags() & ~JSFunction::EXTENDED; |
|
1735 if (allocKind == JSFunction::ExtendedFinalizeKind) |
|
1736 flags |= JSFunction::EXTENDED; |
|
1737 |
|
1738 clone->setArgCount(fun->nargs()); |
|
1739 clone->setFlags(flags); |
|
1740 if (fun->hasScript()) { |
|
1741 clone->initScript(fun->nonLazyScript()); |
|
1742 clone->initEnvironment(parent); |
|
1743 } else if (fun->isInterpretedLazy()) { |
|
1744 LazyScript *lazy = fun->lazyScriptOrNull(); |
|
1745 clone->initLazyScript(lazy); |
|
1746 clone->initEnvironment(parent); |
|
1747 } else { |
|
1748 clone->initNative(fun->native(), fun->jitInfo()); |
|
1749 } |
|
1750 clone->initAtom(fun->displayAtom()); |
|
1751 |
|
1752 if (allocKind == JSFunction::ExtendedFinalizeKind) { |
|
1753 if (fun->isExtended() && fun->compartment() == cx->compartment()) { |
|
1754 for (unsigned i = 0; i < FunctionExtended::NUM_EXTENDED_SLOTS; i++) |
|
1755 clone->initExtendedSlot(i, fun->getExtendedSlot(i)); |
|
1756 } else { |
|
1757 clone->initializeExtended(); |
|
1758 } |
|
1759 } |
|
1760 |
|
1761 if (useSameScript) { |
|
1762 /* |
|
1763 * Clone the function, reusing its script. We can use the same type as |
|
1764 * the original function provided that its prototype is correct. |
|
1765 */ |
|
1766 if (fun->getProto() == clone->getProto()) |
|
1767 clone->setType(fun->type()); |
|
1768 return clone; |
|
1769 } |
|
1770 |
|
1771 RootedFunction cloneRoot(cx, clone); |
|
1772 |
|
1773 /* |
|
1774 * Across compartments we have to clone the script for interpreted |
|
1775 * functions. Cross-compartment cloning only happens via JSAPI |
|
1776 * (JS_CloneFunctionObject) which dynamically ensures that 'script' has |
|
1777 * no enclosing lexical scope (only the global scope). |
|
1778 */ |
|
1779 if (cloneRoot->isInterpreted() && !CloneFunctionScript(cx, fun, cloneRoot, newKindArg)) |
|
1780 return nullptr; |
|
1781 |
|
1782 return cloneRoot; |
|
1783 } |
|
1784 |
|
1785 JSFunction * |
|
1786 js::DefineFunction(JSContext *cx, HandleObject obj, HandleId id, Native native, |
|
1787 unsigned nargs, unsigned flags, AllocKind allocKind /* = FinalizeKind */, |
|
1788 NewObjectKind newKind /* = GenericObject */) |
|
1789 { |
|
1790 PropertyOp gop; |
|
1791 StrictPropertyOp sop; |
|
1792 |
|
1793 RootedFunction fun(cx); |
|
1794 |
|
1795 if (flags & JSFUN_STUB_GSOPS) { |
|
1796 /* |
|
1797 * JSFUN_STUB_GSOPS is a request flag only, not stored in fun->flags or |
|
1798 * the defined property's attributes. This allows us to encode another, |
|
1799 * internal flag using the same bit, JSFUN_EXPR_CLOSURE -- see jsfun.h |
|
1800 * for more on this. |
|
1801 */ |
|
1802 flags &= ~JSFUN_STUB_GSOPS; |
|
1803 gop = JS_PropertyStub; |
|
1804 sop = JS_StrictPropertyStub; |
|
1805 } else { |
|
1806 gop = nullptr; |
|
1807 sop = nullptr; |
|
1808 } |
|
1809 |
|
1810 JSFunction::Flags funFlags; |
|
1811 if (!native) |
|
1812 funFlags = JSFunction::INTERPRETED_LAZY; |
|
1813 else |
|
1814 funFlags = JSAPIToJSFunctionFlags(flags); |
|
1815 RootedAtom atom(cx, JSID_IS_ATOM(id) ? JSID_TO_ATOM(id) : nullptr); |
|
1816 fun = NewFunction(cx, NullPtr(), native, nargs, funFlags, obj, atom, allocKind, newKind); |
|
1817 if (!fun) |
|
1818 return nullptr; |
|
1819 |
|
1820 RootedValue funVal(cx, ObjectValue(*fun)); |
|
1821 if (!JSObject::defineGeneric(cx, obj, id, funVal, gop, sop, flags & ~JSFUN_FLAGS_MASK)) |
|
1822 return nullptr; |
|
1823 |
|
1824 return fun; |
|
1825 } |
|
1826 |
|
1827 bool |
|
1828 js::IsConstructor(const Value &v) |
|
1829 { |
|
1830 // Step 2. |
|
1831 if (!v.isObject()) |
|
1832 return false; |
|
1833 |
|
1834 // Step 3-4, a bit complex for us, since we have several flavors of |
|
1835 // [[Construct]] internal method. |
|
1836 JSObject &obj = v.toObject(); |
|
1837 if (obj.is<JSFunction>()) { |
|
1838 JSFunction &fun = obj.as<JSFunction>(); |
|
1839 return fun.isNativeConstructor() || fun.isInterpretedConstructor(); |
|
1840 } |
|
1841 return obj.getClass()->construct != nullptr; |
|
1842 } |
|
1843 |
|
1844 void |
|
1845 js::ReportIncompatibleMethod(JSContext *cx, CallReceiver call, const Class *clasp) |
|
1846 { |
|
1847 RootedValue thisv(cx, call.thisv()); |
|
1848 |
|
1849 #ifdef DEBUG |
|
1850 if (thisv.isObject()) { |
|
1851 JS_ASSERT(thisv.toObject().getClass() != clasp || |
|
1852 !thisv.toObject().isNative() || |
|
1853 !thisv.toObject().getProto() || |
|
1854 thisv.toObject().getProto()->getClass() != clasp); |
|
1855 } else if (thisv.isString()) { |
|
1856 JS_ASSERT(clasp != &StringObject::class_); |
|
1857 } else if (thisv.isNumber()) { |
|
1858 JS_ASSERT(clasp != &NumberObject::class_); |
|
1859 } else if (thisv.isBoolean()) { |
|
1860 JS_ASSERT(clasp != &BooleanObject::class_); |
|
1861 } else { |
|
1862 JS_ASSERT(thisv.isUndefined() || thisv.isNull()); |
|
1863 } |
|
1864 #endif |
|
1865 |
|
1866 if (JSFunction *fun = ReportIfNotFunction(cx, call.calleev())) { |
|
1867 JSAutoByteString funNameBytes; |
|
1868 if (const char *funName = GetFunctionNameBytes(cx, fun, &funNameBytes)) { |
|
1869 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, JSMSG_INCOMPATIBLE_PROTO, |
|
1870 clasp->name, funName, InformalValueTypeName(thisv)); |
|
1871 } |
|
1872 } |
|
1873 } |
|
1874 |
|
1875 void |
|
1876 js::ReportIncompatible(JSContext *cx, CallReceiver call) |
|
1877 { |
|
1878 if (JSFunction *fun = ReportIfNotFunction(cx, call.calleev())) { |
|
1879 JSAutoByteString funNameBytes; |
|
1880 if (const char *funName = GetFunctionNameBytes(cx, fun, &funNameBytes)) { |
|
1881 JS_ReportErrorNumber(cx, js_GetErrorMessage, nullptr, JSMSG_INCOMPATIBLE_METHOD, |
|
1882 funName, "method", InformalValueTypeName(call.thisv())); |
|
1883 } |
|
1884 } |
|
1885 } |
|
1886 |
|
1887 bool |
|
1888 JSObject::hasIdempotentProtoChain() const |
|
1889 { |
|
1890 // Return false if obj (or an object on its proto chain) is non-native or |
|
1891 // has a resolve or lookup hook. |
|
1892 JSObject *obj = const_cast<JSObject *>(this); |
|
1893 while (true) { |
|
1894 if (!obj->isNative()) |
|
1895 return false; |
|
1896 |
|
1897 JSResolveOp resolve = obj->getClass()->resolve; |
|
1898 if (resolve != JS_ResolveStub && resolve != (JSResolveOp) js::fun_resolve) |
|
1899 return false; |
|
1900 |
|
1901 if (obj->getOps()->lookupProperty || obj->getOps()->lookupGeneric || obj->getOps()->lookupElement) |
|
1902 return false; |
|
1903 |
|
1904 obj = obj->getProto(); |
|
1905 if (!obj) |
|
1906 return true; |
|
1907 } |
|
1908 |
|
1909 MOZ_ASSUME_UNREACHABLE("Should not get here"); |
|
1910 } |
|
1911 |
|
1912 namespace JS { |
|
1913 namespace detail { |
|
1914 |
|
1915 JS_PUBLIC_API(void) |
|
1916 CheckIsValidConstructible(Value calleev) |
|
1917 { |
|
1918 JSObject *callee = &calleev.toObject(); |
|
1919 if (callee->is<JSFunction>()) |
|
1920 JS_ASSERT(callee->as<JSFunction>().isNativeConstructor()); |
|
1921 else |
|
1922 JS_ASSERT(callee->getClass()->construct != nullptr); |
|
1923 } |
|
1924 |
|
1925 } // namespace detail |
|
1926 } // namespace JS |