no_new_globals_at_end.js 432 B

12345678910111213
  1. (function() {
  2. var globalsAtEnd = [];
  3. for (var i in this)
  4. if (i !== "Sk" && i !== "JSON2" && i !== "sprintf" && i !== "COMPILED" && i !== "goog")
  5. globalsAtEnd.push(i);
  6. globalsAtEnd.sort();
  7. if (___initialglobalslist.toString() !== globalsAtEnd.toString())
  8. {
  9. print("FAILED: new globals other than 'Sk' and 'goog'");
  10. print("initial:", ___initialglobalslist);
  11. print("at end:", globalsAtEnd);
  12. }
  13. }());