Add tests for object to primitive call errors

This commit is contained in:
Valerie R Young 2017-10-04 16:20:52 -04:00 committed by Rick Waldron
parent f945473767
commit 94325316be
3 changed files with 137 additions and 0 deletions

View File

@ -0,0 +1,34 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-string.prototype.trimStart
description: >
Abrupt completion when getting Symbol.toPrimitive method
info: |
Runtime Semantics: TrimString ( string, where )
1. Let str be ? RequireObjectCoercible(string).
2. Let S be ? ToString(str).
...
ToString ( argument )
If argument is Object:
1. Let primValue be ? ToPrimitive(argument, hint String).
...
ToPrimitive ( input [, PreferredType ])
...
d. Let exoticToPrim be ? GetMethod(input, @@toPrimitive).
...
features: [string-trimming, Symbol.toPrimitive]
---*/
var thisVal = {
get [Symbol.toPrimitive]() {
throw new Test262Error();
},
};
assert.throws(Test262Error, function() {
String.prototype.trimStart.call(thisVal);
});

View File

@ -0,0 +1,51 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-string.prototype.trimStart
description: >
Abrupt completion when getting toString method
info: |
Runtime Semantics: TrimString ( string, where )
1. Let str be ? RequireObjectCoercible(string).
2. Let S be ? ToString(str).
...
ToString ( argument )
If argument is Object:
1. Let primValue be ? ToPrimitive(argument, hint String).
...
ToPrimitive ( input [, PreferredType ])
...
b. Else if PreferredType is hint String, let hint be "string".
...
d. Let exoticToPrim be ? GetMethod(input, @@toPrimitive)
e. If exoticToPrim is not undefined, then
i. Let result be ? Call(exoticToPrim, input, « hint »).
ii. If Type(result) is not Object, return result.
iii. Throw a TypeError exception.
f. If hint is "default", set hint to "number".
g. Return ? OrdinaryToPrimitive(input, hint).
...
OrdinaryToPrimitive( O, hint )
...
3. If hint is "string", then
a. Let methodNames be « "toString", "valueOf" ».
...
5. For each name in methodNames in List order, do
a. Let method be ? Get(O, name).
features: [string-trimming, Symbol.toPrimitive]
---*/
var thisVal = {
[Symbol.toPrimitive]: undefined,
get toString() {
throw new Test262Error();
},
};
assert.throws(Test262Error, function() {
String.prototype.trimStart.call(thisVal);
});

View File

@ -0,0 +1,52 @@
// Copyright (C) 2017 Valerie Young. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-string.prototype.trimStart
description: >
Abrupt completion when getting valueOf method
info: |
Runtime Semantics: TrimString ( string, where )
1. Let str be ? RequireObjectCoercible(string).
2. Let S be ? ToString(str).
...
ToString ( argument )
If argument is Object:
1. Let primValue be ? ToPrimitive(argument, hint String).
...
ToPrimitive ( input [, PreferredType ])
...
b. Else if PreferredType is hint String, let hint be "string".
...
d. Let exoticToPrim be ? GetMethod(input, @@toPrimitive)
e. If exoticToPrim is not undefined, then
i. Let result be ? Call(exoticToPrim, input, « hint »).
ii. If Type(result) is not Object, return result.
iii. Throw a TypeError exception.
f. If hint is "default", set hint to "number".
g. Return ? OrdinaryToPrimitive(input, hint).
...
OrdinaryToPrimitive( O, hint )
...
3. If hint is "string", then
a. Let methodNames be « "toString", "valueOf" ».
...
5. For each name in methodNames in List order, do
a. Let method be ? Get(O, name).
features: [string-trimming, Symbol.toPrimitive]
---*/
var thisVal = {
[Symbol.toPrimitive]: undefined,
toString: undefined,
get valueOf() {
throw new Test262Error();
},
};
assert.throws(Test262Error, function() {
String.prototype.trimStart.call(thisVal);
});