map_test.js

// Generated CODE, PLEASE EDIT WITH CARE
'use strict';

var Pervasives       = require("../stdlib/pervasives");
var Caml_exceptions  = require("../runtime/caml_exceptions");
var Test_inline_map2 = require("./test_inline_map2");
var Mt               = require("./mt");
var Test_map_find    = require("./test_map_find");
var Caml_primitive   = require("../runtime/caml_primitive");
var Caml_curry       = require("../runtime/caml_curry");
var $$String         = require("../stdlib/string");
var List             = require("../stdlib/list");
var Test_inline_map  = require("./test_inline_map");

function height(param) {
  if (param) {
    return param[5];
  }
  else {
    return 0;
  }
}

function create(l, x, d, r) {
  var hl = height(l);
  var hr = height(r);
  return [
          /* Node */0,
          l,
          x,
          d,
          r,
          hl >= hr ? hl + 1 : hr + 1
        ];
}

function bal(l, x, d, r) {
  var hl = l ? l[5] : 0;
  var hr = r ? r[5] : 0;
  if (hl > hr + 2) {
    if (l) {
      var lr = l[4];
      var ld = l[3];
      var lv = l[2];
      var ll = l[1];
      if (height(ll) >= height(lr)) {
        return create(ll, lv, ld, create(lr, x, d, r));
      }
      else if (lr) {
        return create(create(ll, lv, ld, lr[1]), lr[2], lr[3], create(lr[4], x, d, r));
      }
      else {
        return Pervasives.invalid_arg("Map.bal");
      }
    }
    else {
      return Pervasives.invalid_arg("Map.bal");
    }
  }
  else if (hr > hl + 2) {
    if (r) {
      var rr = r[4];
      var rd = r[3];
      var rv = r[2];
      var rl = r[1];
      if (height(rr) >= height(rl)) {
        return create(create(l, x, d, rl), rv, rd, rr);
      }
      else if (rl) {
        return create(create(l, x, d, rl[1]), rl[2], rl[3], create(rl[4], rv, rd, rr));
      }
      else {
        return Pervasives.invalid_arg("Map.bal");
      }
    }
    else {
      return Pervasives.invalid_arg("Map.bal");
    }
  }
  else {
    return [
            /* Node */0,
            l,
            x,
            d,
            r,
            hl >= hr ? hl + 1 : hr + 1
          ];
  }
}

function add(x, data, param) {
  if (param) {
    var r = param[4];
    var d = param[3];
    var v = param[2];
    var l = param[1];
    var c = Caml_primitive.caml_int_compare(x, v);
    if (c) {
      if (c < 0) {
        return bal(add(x, data, l), v, d, r);
      }
      else {
        return bal(l, v, d, add(x, data, r));
      }
    }
    else {
      return [
              /* Node */0,
              l,
              x,
              data,
              r,
              param[5]
            ];
    }
  }
  else {
    return [
            /* Node */0,
            /* Empty */0,
            x,
            data,
            /* Empty */0,
            1
          ];
  }
}

function cons_enum(_m, _e) {
  while(true) {
    var e = _e;
    var m = _m;
    if (m) {
      _e = [
        /* More */0,
        m[2],
        m[3],
        m[4],
        e
      ];
      _m = m[1];
      continue ;
      
    }
    else {
      return e;
    }
  };
}

function compare(cmp, m1, m2) {
  var _e1 = cons_enum(m1, /* End */0);
  var _e2 = cons_enum(m2, /* End */0);
  while(true) {
    var e2 = _e2;
    var e1 = _e1;
    if (e1) {
      if (e2) {
        var c = Caml_primitive.caml_int_compare(e1[1], e2[1]);
        if (c !== 0) {
          return c;
        }
        else {
          var c$1 = Caml_curry.app2(cmp, e1[2], e2[2]);
          if (c$1 !== 0) {
            return c$1;
          }
          else {
            _e2 = cons_enum(e2[3], e2[4]);
            _e1 = cons_enum(e1[3], e1[4]);
            continue ;
            
          }
        }
      }
      else {
        return 1;
      }
    }
    else if (e2) {
      return -1;
    }
    else {
      return 0;
    }
  };
}

function equal(cmp, m1, m2) {
  var _e1 = cons_enum(m1, /* End */0);
  var _e2 = cons_enum(m2, /* End */0);
  while(true) {
    var e2 = _e2;
    var e1 = _e1;
    if (e1) {
      if (e2) {
        if (e1[1] === e2[1]) {
          if (Caml_curry.app2(cmp, e1[2], e2[2])) {
            _e2 = cons_enum(e2[3], e2[4]);
            _e1 = cons_enum(e1[3], e1[4]);
            continue ;
            
          }
          else {
            return /* false */0;
          }
        }
        else {
          return /* false */0;
        }
      }
      else {
        return /* false */0;
      }
    }
    else if (e2) {
      return /* false */0;
    }
    else {
      return /* true */1;
    }
  };
}

function cardinal(param) {
  if (param) {
    return cardinal(param[1]) + 1 + cardinal(param[4]);
  }
  else {
    return 0;
  }
}

function height$1(param) {
  if (param) {
    return param[5];
  }
  else {
    return 0;
  }
}

function create$1(l, x, d, r) {
  var hl = height$1(l);
  var hr = height$1(r);
  return [
          /* Node */0,
          l,
          x,
          d,
          r,
          hl >= hr ? hl + 1 : hr + 1
        ];
}

function bal$1(l, x, d, r) {
  var hl = l ? l[5] : 0;
  var hr = r ? r[5] : 0;
  if (hl > hr + 2) {
    if (l) {
      var lr = l[4];
      var ld = l[3];
      var lv = l[2];
      var ll = l[1];
      if (height$1(ll) >= height$1(lr)) {
        return create$1(ll, lv, ld, create$1(lr, x, d, r));
      }
      else if (lr) {
        return create$1(create$1(ll, lv, ld, lr[1]), lr[2], lr[3], create$1(lr[4], x, d, r));
      }
      else {
        return Pervasives.invalid_arg("Map.bal");
      }
    }
    else {
      return Pervasives.invalid_arg("Map.bal");
    }
  }
  else if (hr > hl + 2) {
    if (r) {
      var rr = r[4];
      var rd = r[3];
      var rv = r[2];
      var rl = r[1];
      if (height$1(rr) >= height$1(rl)) {
        return create$1(create$1(l, x, d, rl), rv, rd, rr);
      }
      else if (rl) {
        return create$1(create$1(l, x, d, rl[1]), rl[2], rl[3], create$1(rl[4], rv, rd, rr));
      }
      else {
        return Pervasives.invalid_arg("Map.bal");
      }
    }
    else {
      return Pervasives.invalid_arg("Map.bal");
    }
  }
  else {
    return [
            /* Node */0,
            l,
            x,
            d,
            r,
            hl >= hr ? hl + 1 : hr + 1
          ];
  }
}

function add$1(x, data, param) {
  if (param) {
    var r = param[4];
    var d = param[3];
    var v = param[2];
    var l = param[1];
    var c = $$String.compare(x, v);
    if (c) {
      if (c < 0) {
        return bal$1(add$1(x, data, l), v, d, r);
      }
      else {
        return bal$1(l, v, d, add$1(x, data, r));
      }
    }
    else {
      return [
              /* Node */0,
              l,
              x,
              data,
              r,
              param[5]
            ];
    }
  }
  else {
    return [
            /* Node */0,
            /* Empty */0,
            x,
            data,
            /* Empty */0,
            1
          ];
  }
}

function find(x, _param) {
  while(true) {
    var param = _param;
    if (param) {
      var c = $$String.compare(x, param[2]);
      if (c) {
        _param = c < 0 ? param[1] : param[4];
        continue ;
        
      }
      else {
        return param[3];
      }
    }
    else {
      throw Caml_exceptions.Not_found;
    }
  };
}

function of_list(kvs) {
  return List.fold_left(function (acc, param) {
              return add(param[1], param[2], acc);
            }, /* Empty */0, kvs);
}

var int_map_suites_001 = [
  /* tuple */0,
  "add",
  function () {
    var v = of_list([
          /* :: */0,
          [
            /* tuple */0,
            1,
            /* "1" */49
          ],
          [
            /* :: */0,
            [
              /* tuple */0,
              2,
              /* "3" */51
            ],
            [
              /* :: */0,
              [
                /* tuple */0,
                3,
                /* "4" */52
              ],
              /* [] */0
            ]
          ]
        ]);
    if (cardinal(v) === 3) {
      return 0;
    }
    else {
      throw [
            0,
            Caml_exceptions.Assert_failure,
            [
              0,
              "map_test.ml",
              16,
              4
            ]
          ];
    }
  }
];

var int_map_suites_002 = [
  /* :: */0,
  [
    /* tuple */0,
    "equal",
    function () {
      var v = of_list([
            /* :: */0,
            [
              /* tuple */0,
              1,
              /* "1" */49
            ],
            [
              /* :: */0,
              [
                /* tuple */0,
                2,
                /* "3" */51
              ],
              [
                /* :: */0,
                [
                  /* tuple */0,
                  3,
                  /* "4" */52
                ],
                /* [] */0
              ]
            ]
          ]);
      var u = of_list([
            /* :: */0,
            [
              /* tuple */0,
              2,
              /* "3" */51
            ],
            [
              /* :: */0,
              [
                /* tuple */0,
                3,
                /* "4" */52
              ],
              [
                /* :: */0,
                [
                  /* tuple */0,
                  1,
                  /* "1" */49
                ],
                /* [] */0
              ]
            ]
          ]);
      if (compare(function (prim, prim$1) {
              return Caml_primitive.caml_compare(prim, prim$1);
            }, u, v)) {
        throw [
              0,
              Caml_exceptions.Assert_failure,
              [
                0,
                "map_test.ml",
                21,
                4
              ]
            ];
      }
      else {
        return 0;
      }
    }
  ],
  [
    /* :: */0,
    [
      /* tuple */0,
      "equal2",
      function () {
        var v = of_list([
              /* :: */0,
              [
                /* tuple */0,
                1,
                /* "1" */49
              ],
              [
                /* :: */0,
                [
                  /* tuple */0,
                  2,
                  /* "3" */51
                ],
                [
                  /* :: */0,
                  [
                    /* tuple */0,
                    3,
                    /* "4" */52
                  ],
                  /* [] */0
                ]
              ]
            ]);
        var u = of_list([
              /* :: */0,
              [
                /* tuple */0,
                2,
                /* "3" */51
              ],
              [
                /* :: */0,
                [
                  /* tuple */0,
                  3,
                  /* "4" */52
                ],
                [
                  /* :: */0,
                  [
                    /* tuple */0,
                    1,
                    /* "1" */49
                  ],
                  /* [] */0
                ]
              ]
            ]);
        if (equal(function (x, y) {
                return +(x === y);
              }, u, v)) {
          return 0;
        }
        else {
          throw [
                0,
                Caml_exceptions.Assert_failure,
                [
                  0,
                  "map_test.ml",
                  26,
                  4
                ]
              ];
        }
      }
    ],
    [
      /* :: */0,
      [
        /* tuple */0,
        "test_inline_map",
        Test_inline_map.assertions
      ],
      [
        /* :: */0,
        [
          /* tuple */0,
          "test_inline_map2",
          Test_inline_map2.assertions1
        ],
        [
          /* :: */0,
          [
            /* tuple */0,
            "test_inline_map2_1",
            Test_inline_map2.assertions2
          ],
          [
            /* :: */0,
            [
              /* tuple */0,
              "test_map_find",
              Test_map_find.assert_test
            ],
            [
              /* :: */0,
              [
                /* tuple */0,
                "iteration",
                function () {
                  var m = /* Empty */0;
                  var count = 10000;
                  for(var i = 0; i<= count; ++i){
                    m = add$1("" + i, "" + i, m);
                  }
                  for(var i$1 = 0; i$1<= count; ++i$1){
                    Mt.assert_equal(find("" + i$1, m), "" + i$1);
                  }
                  return /* () */0;
                }
              ],
              /* [] */0
            ]
          ]
        ]
      ]
    ]
  ]
];

var int_map_suites = [
  /* :: */0,
  int_map_suites_001,
  int_map_suites_002
];

Mt.from_suites("map_test", int_map_suites);

/*  Not a pure module */