michael@0: function testValue() {
michael@0:     function f(arr, x) {
michael@0:         return arr[x];
michael@0:     }
michael@0:     var a = [1, undefined, null, Math, 2.1, ""];
michael@0:     for (var i=0; i<50; i++) {
michael@0:         assertEq(f(a, 0), 1);
michael@0:         assertEq(f(a, 1), undefined);
michael@0:         assertEq(f(a, 2), null);
michael@0:         assertEq(f(a, 3), Math);
michael@0:         assertEq(f(a, 4), 2.1);
michael@0:         assertEq(f(a, 5), "");
michael@0:         assertEq(f(a, -1), undefined);
michael@0:         assertEq(f(a, 6), undefined);
michael@0:     }
michael@0: }
michael@0: testValue();
michael@0: 
michael@0: function testOutOfBounds() {
michael@0:     function f(arr, x) {
michael@0:         return arr[x];
michael@0:     }
michael@0:     var a = [0, 1, 2, 3, 4];
michael@0: 
michael@0:     for (var j=0; j<4; j++) {
michael@0:         for (var i=0; i<5; i++) {
michael@0:             assertEq(f(a, i), i);
michael@0:         }
michael@0:         for (var i=5; i<10; i++) {
michael@0:             assertEq(f(a, i), undefined);
michael@0:         }
michael@0:         for (var i=-1; i>-10; i--) {
michael@0:             assertEq(f(a, i), undefined);
michael@0:         }
michael@0:     }
michael@0: }
michael@0: testOutOfBounds();
michael@0: 
michael@0: function testHole() {
michael@0:     function f(arr, x) {
michael@0:         return arr[x];
michael@0:     }
michael@0:     var a = [0, , 2, ];
michael@0:     for (var i=0; i<70; i++) {
michael@0:         assertEq(f(a, 0), 0);
michael@0:         assertEq(f(a, 1), undefined);
michael@0:         assertEq(f(a, 2), 2);
michael@0:         assertEq(f(a, 3), undefined);
michael@0:     }
michael@0: }
michael@0: testHole();
michael@0: 
michael@0: function testClassGuard() {
michael@0:     function f(arr) {
michael@0:         return arr[2];
michael@0:     }
michael@0:     var a = [1, 2, 3, 4];
michael@0:     for (var i=0; i<90; i++) {
michael@0:         assertEq(f(a), 3);
michael@0:     }
michael@0:     var b = {2: 100};
michael@0:     assertEq(f(b), 100);
michael@0: }
michael@0: testClassGuard();
michael@0: 
michael@0: function testGeneric1() {
michael@0:     function f(o, i) {
michael@0:         return o[i];
michael@0:     }
michael@0:     for (var i=0; i<100; i++) {
michael@0:         assertEq(f("abc", 1), "b");
michael@0:         assertEq(f("foo", "length"), 3);
michael@0:         assertEq(f([], -1), undefined);
michael@0:         assertEq(f({x: 1}, "x"), 1);
michael@0:     }
michael@0: }
michael@0: testGeneric1();