src/chrome/renderer/playback_extension.cc

   1 // Copyright (c) 2011 The Chromium Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 #include "chrome/renderer/playback_extension.h"
   6
   7 #include "v8/include/v8.h"
   8
   9 const char kPlaybackExtensionName[] = "v8/PlaybackMode";
  10
  11 namespace extensions_v8 {
  12
  13 v8::Extension* PlaybackExtension::Get() {
  14   v8::Extension* extension = new v8::Extension(
  15       kPlaybackExtensionName,
  16       "(function () {"
  17       "  var orig_date = Date;"
  18       "  var x = 0;"
  19       "  var time_seed = 1204251968254;"
  20       "  Math.random = function() {"
  21       "    x += .1;"
  22       "    return (x % 1);"
  23       "  };"
  24       "  Date = function() {"
  25       "    if (this instanceof Date) {"
  26       "      switch (arguments.length) {"
  27       "        case 0: return new orig_date(time_seed += 50);"
  28       "        case 1: return new orig_date(arguments[0]);"
  29       "        default: return new orig_date(arguments[0], arguments[1],"
  30       "            arguments.length >= 3 ? arguments[2] : 1,"
  31       "            arguments.length >= 4 ? arguments[3] : 0,"
  32       "            arguments.length >= 5 ? arguments[4] : 0,"
  33       "            arguments.length >= 6 ? arguments[5] : 0,"
  34       "            arguments.length >= 7 ? arguments[6] : 0);"
  35       "      }"
  36       "    }"
  37       "    return new Date().toString();"
  38       "  };"
  39       "  Date.__proto__ = orig_date;"
  40       "  Date.prototype.constructor = Date;"
  41       "  orig_date.now = function() {"
  42       "    return new Date().getTime();"
  43       "  };"
  44       "})()");
  45     return extension;
  46 }
  47
  48 }  // namespace extensions_v8