2011-09-07 08:35:18 +02:00
|
|
|
// Copyright 2009 the Sputnik authors. All rights reserved.
|
|
|
|
// This code is governed by the BSD license found in the LICENSE file.
|
|
|
|
|
2014-07-22 01:09:02 +02:00
|
|
|
/*---
|
2018-01-05 18:26:51 +01:00
|
|
|
info: |
|
2014-07-22 01:09:02 +02:00
|
|
|
The MV of DecimalDigits ::: DecimalDigits DecimalDigit is
|
|
|
|
(the MV of DecimalDigits times 10) plus the MV of DecimalDigit
|
2014-07-25 00:41:42 +02:00
|
|
|
es5id: 9.3.1_A13
|
2014-07-22 01:09:02 +02:00
|
|
|
description: Compare '12' with Number("1")*10+Number("2") and analogous
|
|
|
|
---*/
|
2011-09-07 08:35:18 +02:00
|
|
|
|
|
|
|
// CHECK#1
|
2018-02-15 21:11:50 +01:00
|
|
|
if (+("12") !== Number("1") * 10 + Number("2")) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR('#1: +("12") === Number("1")*10+Number("2")');
|
|
|
|
}
|
|
|
|
|
|
|
|
// CHECK#2
|
2018-02-15 21:11:50 +01:00
|
|
|
if (Number("123") !== Number("12") * 10 + Number("3")) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR('#2: Number("123") === Number("12")*10+Number("3")');
|
|
|
|
}
|
|
|
|
|
|
|
|
// CHECK#2
|
2018-02-15 21:11:50 +01:00
|
|
|
if (Number("1234") !== Number("123") * 10 + Number("4")) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR('#2: Number("1234") === Number("123")*10+Number("4")');
|
|
|
|
}
|