js/src/tests/test262/intl402/ch12/12.2/12.2.1.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// Copyright 2012 Mozilla Corporation. All rights reserved.
// This code is governed by the license found in the LICENSE file.

/**
 * @description Tests that Intl.DateTimeFormat.prototype has the required attributes.
 * @author Norbert Lindenberg
 */

var desc = Object.getOwnPropertyDescriptor(Intl.DateTimeFormat, "prototype");
if (desc === undefined) {
    $ERROR("Intl.DateTimeFormat.prototype is not defined.");
}
if (desc.writable) {
    $ERROR("Intl.DateTimeFormat.prototype must not be writable.");
}
if (desc.enumerable) {
    $ERROR("Intl.DateTimeFormat.prototype must not be enumerable.");
}
if (desc.configurable) {
    $ERROR("Intl.DateTimeFormat.prototype must not be configurable.");
}