Examples/test-suite/javascript/rename_scope_runme.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

var rename_scope = require("./rename_scope");

var a = new rename_scope.Natural_UP();
var b = new rename_scope.Natural_BP();

if (a.rtest() !== 1) {
  throw new Error("a.rtest(): Expected 1, was " + a.rtest());
}

if (b.rtest() !== 1) {
  throw new Error("b.rtest(): Expected 1, was " + b.rtest());
}

var f = rename_scope.equals;
if (f === undefined) {
  throw new Error("Equality operator has not been renamed.");
}