Issue 507 - Implement lightweight array.slice() method

lib/typedObjects.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2015 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 137 matching lines @@
  * garbage collected. In addition, it has the following properties and methods:
  *
  *    get(index): retrieves the array element at specified index.
  *    set(index, value): sets the array element at specified index.
  *    length: number of elements in the array, by default 0. Increase the length
  *        to match your data size.
  *    size: size of the allocated buffer in array elements, will be at least
  *        equal to length. Normally you won't need to set the size explicitly.
  *        However, the size won't decrease automatically if the array gets
  *        smaller so you might want to set it in order to shrink the array.
- *    splice(), push(), pop(), unshift(), shift(): these work the same as the
- *        corresponding methods on JavaScript's Array class. Note however that
- *        using pop() and shift() with arrays of objects is dangerous if you
- *        want to work with their return value: this operation will call
- *        release() on the resulting object before returning which might result
- *        in it being garbage collected. You should call retain() on the array
- *        element before calling pop() or shift().
+ *    slice(), splice(), push(), pop(), unshift(), shift(): these work the
+ *        same as the corresponding methods on JavaScript's Array class.
+ *        Note however that using pop() and shift() with arrays of objects is
+ *        dangerous if you want to work with their return value: this operation
+ *        will call release() on the resulting object before returning which
+ *        might result in it being garbage collected. You should call retain()
+ *        on the array element before calling pop() or shift().
  *
  * String type
  * -----------
  *
  * There is a special array type called string:
  *
  *    var str1 = string();            // empty string
  *    var str2 = string(2);           // "\0\0"
  *    var str3 = string("foo");       // "foo"
  *    var str4 = string(str3, 1, 2);  // "oo"
@@ skipping 12 matching lines @@
 function forwardExports(module)
 {
   let moduleExports = require(module);
   for (let key in moduleExports)
     exports[key] = moduleExports[key];
 }
 
 forwardExports("typedObjects/primitiveTypes");
 forwardExports("typedObjects/objectTypes");
 forwardExports("typedObjects/stringType");