Added unique id to all scripts

src/mirror-delay.js

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 1341 matching lines @@
 };
 
 
 FrameMirror.prototype.sourcePosition = function() {
   return this.details_.sourcePosition();
 };
 
 
 FrameMirror.prototype.sourceLocation = function() {
   if (this.func().resolved() && this.func().script()) {
-    return this.func().script().locationFromPosition(this.sourcePosition());
+    return this.func().script().locationFromPosition(this.sourcePosition(),
+                                                     true);
   }
 };
 
 
 FrameMirror.prototype.sourceLine = function() {
   if (this.func().resolved()) {
     var location = this.sourceLocation();
     if (location) {
       return location.line;
     }
@@ skipping 181 matching lines @@
 ScriptMirror.prototype.value = function() {
   return this.script_;
 };
 
 
 ScriptMirror.prototype.name = function() {
   return this.script_.name;
 };
 
 
+ScriptMirror.prototype.id = function() {
+  return this.script_.id;
+};
+
+
 ScriptMirror.prototype.source = function() {
   return this.script_.source;
 };
 
 
 ScriptMirror.prototype.lineOffset = function() {
   return this.script_.line_offset;
 };
 
 
@@ skipping 493 matching lines @@
 /**
  * Convert a Date to ISO 8601 format. To avoid depending on the Date object
  * this method calls the functions in date.js directly and not through the
  * value.
  * @param {Date} value The Date value to format as JSON
  * @return {string} JSON formatted Date value
  */
 function DateToJSON_(value) {
   return '"' + DateToISO8601_(value) + '"';
 }