// returns an EJSPrimString*.
// maybe we could change it to return a char* to match ToDouble? that way string concat wouldn't create
// temporary strings for non-PrimString objects only to throw them away after concatenation?
ejsval ToString(ejsval exp)
{
if (EJSVAL_IS_MAGIC_IMPL(exp)) {
// holes in dense arrays end up here
return _ejs_atom_empty;
}
else if (EJSVAL_IS_NULL(exp))
return _ejs_atom_null;
else if (EJSVAL_IS_UNDEFINED(exp))
return _ejs_atom_undefined;
else if (EJSVAL_IS_BOOLEAN(exp))
return EJSVAL_TO_BOOLEAN(exp) ? _ejs_atom_true : _ejs_atom_false;
else if (EJSVAL_IS_NUMBER(exp))
return NumberToString(EJSVAL_TO_NUMBER(exp));
else if (EJSVAL_IS_STRING(exp))
return exp;
else if (EJSVAL_IS_OBJECT(exp)) {
ejsval toString = _ejs_object_getprop (exp, _ejs_atom_toString);
if (!EJSVAL_IS_FUNCTION(toString)) {
return _ejs_Object_prototype_toString(_ejs_null, exp, 0, NULL);
}
// should we be checking if this returns a string? i'd assume so...
return _ejs_invoke_closure (toString, exp, 0, NULL);
}
else
EJS_NOT_IMPLEMENTED();
}
// same as SameValue, except in its treatment of +/- 0
EJSBool
SameValueZero(ejsval x, ejsval y)
{
// 1. ReturnIfAbrupt(x).
// 2. ReturnIfAbrupt(y).
// 3. If Type(x) is different from Type(y), return false.
if (EJSVAL_TO_TAG(x) != EJSVAL_TO_TAG(y)) return EJS_FALSE;
// 4. If Type(x) is Undefined, return true.
if (EJSVAL_IS_UNDEFINED(x)) return EJS_TRUE;
// 5. If Type(x) is Null, return true.
if (EJSVAL_IS_NULL(x)) return EJS_TRUE;
// 6. If Type(x) is Number, then
if (EJSVAL_IS_NUMBER(x)) {
// a. If x is NaN and y is NaN, return true.
if (isnan(EJSVAL_TO_NUMBER(x)) && isnan(EJSVAL_TO_NUMBER(y))) return EJS_TRUE;
// b. If x is +0 and y is -0, return true.
if (EJSVAL_TO_NUMBER(x) == 0.0 && EJSDOUBLE_IS_NEGZERO(EJSVAL_TO_NUMBER(y))) return EJS_TRUE;
// c. If x is -0 and y is +0, return tryue.
if (EJSDOUBLE_IS_NEGZERO(EJSVAL_TO_NUMBER(x)) == 0.0 && EJSVAL_TO_NUMBER(y) == 0) return EJS_TRUE;
// d. If x is the same Number value as y, return true.
if (EJSVAL_TO_NUMBER(x) == EJSVAL_TO_NUMBER(y)) return EJS_TRUE;
// e. Return false.
return EJS_FALSE;
}
// 7. If Type(x) is String, then
if (EJSVAL_IS_STRING(x)) {
// a. If x and y are exactly the same sequence of code units (same length and same code units in corresponding positions) return true;
// otherwise, return false.
if (EJSVAL_TO_STRLEN(x) != EJSVAL_TO_STRLEN(y)) return EJS_FALSE;
// XXX there is doubtless a more efficient way to compare two ropes, but we convert but to flat strings for now.
return ucs2_strcmp (EJSVAL_TO_FLAT_STRING(x), EJSVAL_TO_FLAT_STRING(y)) ? EJS_FALSE : EJS_TRUE;
}
// 8. If Type(x) is Boolean, then
if (EJSVAL_IS_BOOLEAN(x)) {
// a. If x and y are both true or both false, then return true; otherwise, return false.
return EJSVAL_TO_BOOLEAN(x) == EJSVAL_TO_BOOLEAN(y) ? EJS_TRUE : EJS_FALSE;
}
// 9. If Type(x) is Symbol, then
if (EJSVAL_IS_SYMBOL(x)) {
// a. If x and y are both the same Symbol value, then return true; otherwise, return false.
EJS_NOT_IMPLEMENTED();
}
// 10. Return true if x and y are the same Object value. Otherwise, return false.
return EJSVAL_EQ(x, y);
}
EJSBool ToEJSBool(ejsval exp)
{
if (EJSVAL_IS_NULL(exp) || EJSVAL_IS_UNDEFINED(exp))
return EJS_FALSE;
else if (EJSVAL_IS_BOOLEAN(exp))
return EJSVAL_TO_BOOLEAN(exp);
else if (EJSVAL_IS_NUMBER(exp))
return EJSVAL_TO_NUMBER(exp) != 0;
else if (EJSVAL_IS_STRING(exp))
return EJSVAL_TO_STRLEN(exp) != 0;
else if (EJSVAL_IS_OBJECT(exp))
return EJS_TRUE;
else
EJS_NOT_IMPLEMENTED();
}
ejsval ToNumber(ejsval exp)
{
if (EJSVAL_IS_NUMBER(exp))
return exp;
else if (EJSVAL_IS_BOOLEAN(exp))
return EJSVAL_TO_BOOLEAN(exp) ? _ejs_one : _ejs_zero;
else if (EJSVAL_IS_STRING(exp)) {
char* num_utf8 = ucs2_to_utf8(EJSVAL_TO_FLAT_STRING(exp));
char *endptr;
double d = strtod(num_utf8, &endptr);
if (*endptr != '\0')
return _ejs_nan;
ejsval rv = NUMBER_TO_EJSVAL(d); // XXX NaN
free (num_utf8);
return rv;
}
else if (EJSVAL_IS_UNDEFINED(exp))
return _ejs_nan;
else if (EJSVAL_IS_OBJECT(exp)) {
if (EJSVAL_IS_DATE(exp)) {
return NUMBER_TO_EJSVAL(_ejs_date_get_time ((EJSDate*)EJSVAL_TO_OBJECT(exp)));
}
else if (EJSVAL_IS_ARRAY(exp)) {
int len = EJS_ARRAY_LEN(exp);
if (len == 0) return _ejs_zero;
else if (len > 1) return _ejs_nan;
else {
// XXX we need to support sparse arrays here too
EJS_ASSERT (EJSVAL_IS_DENSE_ARRAY(exp));
return ToNumber(EJS_DENSE_ARRAY_ELEMENTS(exp)[0]);
}
}
else
return _ejs_nan;
}
else
EJS_NOT_IMPLEMENTED();
}
ejsval
_ejs_op_typeof (ejsval exp)
{
if (EJSVAL_IS_NULL(exp))
return _ejs_atom_null;
else if (EJSVAL_IS_BOOLEAN(exp))
return _ejs_atom_boolean;
else if (EJSVAL_IS_STRING(exp))
return _ejs_atom_string;
else if (EJSVAL_IS_SYMBOL(exp))
return _ejs_atom_symbol;
else if (EJSVAL_IS_NUMBER(exp))
return _ejs_atom_number;
else if (EJSVAL_IS_UNDEFINED(exp))
return _ejs_atom_undefined;
else if (EJSVAL_IS_OBJECT(exp)) {
if (EJSVAL_IS_FUNCTION(exp))
return _ejs_atom_function;
else
return _ejs_atom_object;
}
else
EJS_NOT_IMPLEMENTED();
}
ejsval ToObject(ejsval exp)
{
if (EJSVAL_IS_BOOLEAN(exp)) {
ejsval new_boolean = _ejs_object_new (_ejs_Boolean_proto, &_ejs_Boolean_specops);
_ejs_invoke_closure (_ejs_Boolean, new_boolean, 1, &exp);
return new_boolean;
}
else if (EJSVAL_IS_NUMBER(exp)) {
ejsval new_number = _ejs_object_new (_ejs_Number_proto, &_ejs_Number_specops);
_ejs_invoke_closure (_ejs_Number, new_number, 1, &exp);
return new_number;
}
else if (EJSVAL_IS_STRING(exp)) {
ejsval new_str = _ejs_object_new (_ejs_String_prototype, &_ejs_String_specops);
_ejs_invoke_closure (_ejs_String, new_str, 1, &exp);
return new_str;
}
else if (EJSVAL_IS_UNDEFINED(exp))
return exp; // XXX
else if (EJSVAL_IS_OBJECT(exp))
return exp;
else
EJS_NOT_IMPLEMENTED();
}
// ECMA262 25.4.4.3 Promise.race ( iterable )
static ejsval
_ejs_Promise_race (ejsval env, ejsval _this, uint32_t argc, ejsval *args)
{
EJSBool success;
ejsval iterable = _ejs_undefined;
if (argc > 0) iterable = args[0];
// 1. Let C be the this value.
ejsval C = _this;
// 2. Let promiseCapability be NewPromiseCapability(C).
// 3. ReturnIfAbrupt(promiseCapability).
ejsval promiseCapability = NewPromiseCapability(C);
// 4. Let iterator be GetIterator(iterable).
ejsval iterator;
success = GetIteratorP(&iterator, iterable);
// 5. IfAbruptRejectPromise(iterator, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &iterator);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// 6. Repeat
while (EJS_TRUE) {
ejsval next;
// a. Let next be IteratorStep(iterator).
EJSBool success = IteratorStepP(&next, iterator);
// b. IfAbruptRejectPromise(next, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &next);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// c. If next is false, return promiseCapability.[[Promise]].
if (EJSVAL_IS_BOOLEAN(next) && !EJSVAL_TO_BOOLEAN(next))
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
// d. Let nextValue be IteratorValue(next).
ejsval nextValue;
success = IteratorValueP(&nextValue, next);
// e. IfAbruptRejectPromise(nextValue, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &nextValue);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// f. Let nextPromise be Invoke(C, "resolve", (nextValue)).
ejsval nextPromise;
success = _ejs_invoke_closure_catch(&nextPromise, C, _ejs_atom_resolve, 1, &nextValue);
// g. IfAbruptRejectPromise(nextPromise, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &nextPromise);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// h. Let result be Invoke(nextPromise, "then", (promiseCapability.[[Resolve]], promiseCapability.[[Reject]])).
ejsval result;
ejsval args[] = { EJS_CAPABILITY_GET_RESOLVE(promiseCapability), EJS_CAPABILITY_GET_REJECT(promiseCapability) };
success = _ejs_invoke_closure_catch(&result, nextPromise, _ejs_atom_then, 2, args);
// i. IfAbruptRejectPromise(result, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &result);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
}
}
// ECMA262 25.4.4.1 Promise.all ( iterable )
static ejsval
_ejs_Promise_all (ejsval env, ejsval _this, uint32_t argc, ejsval *args)
{
EJSBool success;
ejsval iterable = _ejs_undefined;
if (argc > 0) iterable = args[0];
// 1. Let C be the this value.
ejsval C = _this;
// 2. Let promiseCapability be NewPromiseCapability(C).
// 3. ReturnIfAbrupt(promiseCapability).
ejsval promiseCapability = NewPromiseCapability(C);
// 4. Let iterator be GetIterator(iterable).
ejsval iterator;
success = GetIteratorP(&iterator, iterable);
// 5. IfAbruptRejectPromise(iterator, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &iterator);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// 6. Let values be ArrayCreate(0).
ejsval values = _ejs_array_new(0, EJS_FALSE);
// 7. Let remainingElementsCount be a new Record { [[value]]: 1 }.
int remainingElementsCount = 1;
// 8. Let index be 0.
int index = 0;
// 9. Repeat
while (EJS_TRUE) {
// a. Let next be IteratorStep(iterator).
ejsval next;
success = IteratorStepP(&next, iterator);
// b. IfAbruptRejectPromise(next, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &next);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// c. If next is false,
if (EJSVAL_IS_BOOLEAN(next) && !EJSVAL_TO_BOOLEAN(next)) {
// i. Set remainingElementsCount.[[value]] to remainingElementsCount.[[value]] - 1.
remainingElementsCount --;
// ii. If remainingElementsCount.[[value]] is 0,
if (remainingElementsCount == 0) {
// 1. Let resolveResult be the result of calling the [[Call]] internal method of promiseCapability.[[Resolve]] with undefined as thisArgument and (values) as argumentsList.
ejsval resolveResult;
success = _ejs_invoke_closure_catch(&resolveResult, EJS_CAPABILITY_GET_RESOLVE(promiseCapability), _ejs_undefined, 1, &values);
// 2. ReturnIfAbrupt(resolveResult).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &resolveResult);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
}
// iii. Return promiseCapability.[[Promise]].
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// d. Let nextValue be IteratorValue(next).
ejsval nextValue;
success = IteratorValueP(&nextValue, next);
// e. IfAbruptRejectPromise(nextValue, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &nextValue);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// f. Let nextPromise be Invoke(C, "resolve", (nextValue)).
ejsval nextPromise;
success = _ejs_invoke_closure_catch (&nextPromise, Get(C, _ejs_atom_resolve), C, 1, &nextValue);
// g. IfAbruptRejectPromise(nextPromise, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &nextPromise);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// h. Let resolveElement be a new built-in function object as defined in Promise.all Resolve Element Functions.
ejsval resolvingElement_env = _ejs_closureenv_new(6);
ejsval resolveElement = _ejs_function_new_anon(resolvingElement_env, resolve_element);
// i. Set the [[AlreadyCalled]] internal slot of resolveElement to false.
EJS_RESOLVEELEMENT_SET_ALREADY_CALLED(resolvingElement_env, _ejs_false);
// j. Set the [[Index]] internal slot of resolveElement to index.
EJS_RESOLVEELEMENT_SET_INDEX(resolvingElement_env, NUMBER_TO_EJSVAL(index));
// k. Set the [[Values]] internal slot of resolveElement to values.
EJS_RESOLVEELEMENT_SET_VALUES(resolvingElement_env, values);
// l. Set the [[Capabilities]] internal slot of resolveElement to promiseCapability.
EJS_RESOLVEELEMENT_SET_CAPABILITIES(resolvingElement_env, promiseCapability);
// m. Set the [[RemainingElements]] internal slot of resolveElement to remainingElementsCount.
EJS_RESOLVEELEMENT_SET_REMAINING_ELEMENTS(resolvingElement_env, NUMBER_TO_EJSVAL(remainingElementsCount));
// n. Set remainingElementsCount.[[value]] to remainingElementsCount.[[value]] + 1.
remainingElementsCount++;
// o. Let result be Invoke(nextPromise, "then", (resolveElement, promiseCapability.[[Reject]])).
ejsval thenargs[] = { resolveElement, EJS_CAPABILITY_GET_REJECT(promiseCapability) };
ejsval result;
success = _ejs_invoke_closure_catch (&result, Get(nextPromise, _ejs_atom_then), nextPromise, 2, thenargs);
// p. IfAbruptRejectPromise(result, promiseCapability).
if (!success) {
_ejs_invoke_closure(EJS_CAPABILITY_GET_REJECT(promiseCapability), _ejs_undefined, 1, &result);
return EJS_CAPABILITY_GET_PROMISE(promiseCapability);
}
// q. Set index to index + 1.
index ++;
}
}
ejsval
_ejs_op_typeof_is_boolean(ejsval exp)
{
return EJSVAL_IS_BOOLEAN(exp) ? _ejs_true : _ejs_false;
}
