// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
info: |
    If neither x, nor y is a prefix of each other, returned result of strings
    comparison applies a simple lexicographic ordering to the sequences of
    code unit value values
es5id: 11.8.3_A4.12_T1
description: x and y are string primitives
---*/

//CHECK#1
if (("xx" <= "xy") !== true) {
  throw new Test262Error('#1: ("xx" <= "xy") === true');
}

//CHECK#2
if (("xy" <= "xx") !== false) {
  throw new Test262Error('#2: ("xy" <= "xx") === false');
}

//CHECK#3
if (("x" <= "y") !== true) {
  throw new Test262Error('#3: ("x" <= y") === true');
}

//CHECK#4
if (("aab" <= "aba") !== true) {
  throw new Test262Error('#4: ("aab" <= aba") === true');
}

//CHECK#5
if (("\u0061\u0061\u0061\u0062" <= "\u0061\u0061\u0061\u0061") !== false) {
  throw new Test262Error('#5: ("\\u0061\\u0061\\u0061\\u0062" <= \\u0061\\u0061\\u0061\\u0061") === false');
}

//CHECK#6
if (("a\u0000a" <= "a\u0000b") !== true) {
  throw new Test262Error('#6: ("a\\u0000a" <= "a\\u0000b") === true');
}

//CHECK#7
if (("aB" <= "aa") !== true) {
  throw new Test262Error('#7: ("aB" <= aa") === true');
}

//CHECK#8
if (("\uD7FF" <= "\u{10000}") !== true) {
  throw new Test262Error('#8: ("\\uD7FF" <= "\\u{10000}") === true');
}

//CHECK#9
if (("\uD800" <= "\uDC00") !== true) {
  throw new Test262Error('#9: ("\\uD800" <= "\\uDC00") === true');
}

//CHECK#10
// String comparison is done by code units, rather than by code points.
// "\u{10000}" is equivalent to "\uD800\uDC00"
if (("\u{10000}" <= "\uFFFF") !== true) {
  throw new Test262Error('#10: ("\\u{10000}" <= "\\uFFFF") === true');
}

//CHECK#11
if (("\u{10000}" <= "\u{12345}") !== true) {
  throw new Test262Error('#11: ("\\u{10000}" <= "\\u{12345}") === true');
}