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
|
|
|
Global object has properties such as built-in objects such as
|
|
|
|
Math, String, Date, parseInt, etc
|
2014-07-25 00:41:42 +02:00
|
|
|
es5id: 10.2.3_A1.1_T2
|
2014-07-22 01:09:02 +02:00
|
|
|
description: Global execution context - Function Properties
|
|
|
|
---*/
|
2011-09-07 08:35:18 +02:00
|
|
|
|
|
|
|
//CHECK#4
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( eval === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#4: eval === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#5
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( parseInt === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#5: parseInt === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#6
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( parseFloat === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#6: parseFloat === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#7
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( isNaN === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#7: isNaN === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#8
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( isFinite === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#8: isFinite === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#9
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( decodeURI === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#9: decodeURI === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#10
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( decodeURIComponent === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#10: decodeURIComponent === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#11
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( encodeURI === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#11: encodeURI === null");
|
|
|
|
}
|
|
|
|
|
|
|
|
//CHECK#12
|
2018-02-09 18:09:47 +01:00
|
|
|
if ( encodeURIComponent === null ) {
|
2011-09-07 08:35:18 +02:00
|
|
|
$ERROR("#12: encodeURIComponent === null");
|
|
|
|
}
|