| 1234567891011121314151617181920212223242526272829303132333435 |
- Array.prototype.toString = function() {
- var r = "["
- for (var idx = 0; idx < this.length; idx = idx + 1) {
- if (idx > 0)
- r = r + ", "
- r = r + this[idx].toString()
- }
- return r + "]"
- }
- Array.prototype.push = function(x) {
- this[this.length] = x
- this.length = this.length + 1
- return x
- }
- Array.prototype.pop = function() {
- var r = this[this.length - 1]
- this[this.length - 1] = undefined
- this.length = this.length - 1
- return r
- }
- Array.prototype.join = function(delim) {
- var r = ""
- for (var idx = 0; idx < this.length; idx++) {
- if (idx > 0)
- r += delim
- r += this[idx]
- }
- return r
- }
- Array.prototype.concat = function(xs) {
- for (var idx = 0; idx < xs.length; idx++)
- this.push(xs[idx])
- return this
- }
|