init_array.js 1018 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. <rtl code>
  2. var m = function (){
  3. var a1 = [1];
  4. var a2 = [1, 2];
  5. var a3 = [true, false];
  6. var a4 = [1 + 2 | 0, 3];
  7. var a5 = ["a", "bc", "def"];
  8. function T(){
  9. }
  10. function passArray(a/*ARRAY OF INTEGER*/){
  11. }
  12. function inPlace(){
  13. var a = [1, 2, 3];
  14. a[1] = 5;
  15. }
  16. function copy(){
  17. var a = RTL$.makeArray(3, 0);
  18. var aDyn = [];
  19. a = [1, 2, 3].slice();
  20. Array.prototype.splice.apply(aDyn, [0, Number.MAX_VALUE].concat([1, 2, 3, 4, 5]));
  21. }
  22. function return$(){
  23. return [1, 2, 3];
  24. }
  25. function recordConstructors(){
  26. var a = [new T()];
  27. var a2 = [new T(), new T()];
  28. }
  29. function recordVariables(a/*T*/, v/*VAR T*/){
  30. var r = new T();
  31. var result = [RTL$.clone(a, {record: {}}, undefined), RTL$.clone(v, {record: {}}, undefined), RTL$.clone(r, {record: {}}, undefined)];
  32. }
  33. passArray(a1);
  34. passArray([1, 2, 3]);
  35. for (var i = 0; i <= a1.length; ++i){
  36. RTL$.assert(a1[i] != 0);
  37. }
  38. var $seq1 = a1;
  39. for(var $key2 = 0; $key2 < $seq1.length; ++$key2){
  40. var e = $seq1[$key2];
  41. RTL$.assert(e != 0);
  42. }
  43. RTL$.assert(a5.indexOf("a") == 0);
  44. }();