Removed som unused function from the JavaScript side of the debugger.

src/debug-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 734 matching lines @@
 BreakEvent.prototype.sourceLineText = function() {
   return this.exec_state_.frame(0).sourceLineText();
 };
 
 
 BreakEvent.prototype.breakPointsHit = function() {
   return this.break_points_hit_;
 };
 
 
-BreakEvent.prototype.details = function() {
-  // Build the break details.
-  var details = '';
-  if (this.breakPointsHit()) {
-    details += 'breakpoint';
-    if (this.breakPointsHit().length > 1) {
-      details += 's';
-    }
-    details += ' ';
-    for (var i = 0; i < this.breakPointsHit().length; i++) {
-      if (i > 0) {
-        details += ',';
-      }
-      details += this.breakPointsHit()[i].number();
-    }
-  } else {
-    details += 'break';
-  }
-  details += ' in ';
-  details += this.exec_state_.frame(0).invocationText();
-  details += ' at ';
-  details += this.exec_state_.frame(0).sourceAndPositionText();
-  details += '\n'
-  if (this.func().script()) {
-    details += FrameSourceUnderline(this.exec_state_.frame(0));
-  }
-  return details;
-};
-
-
-BreakEvent.prototype.debugPrompt = function() {
-  // Build the debug break prompt.
-  if (this.breakPointsHit()) {
-    return 'breakpoint';
-  } else {
-    return 'break';
-  }
-};
-
-
 BreakEvent.prototype.toJSONProtocol = function() {
   var o = { seq: next_response_seq++,
             type: "event",
             event: "break",
             body: { invocationText: this.exec_state_.frame(0).invocationText(),
                   }
           }
 
   // Add script related information to the event if available.
   var script = this.func().script();
@@ skipping 57 matching lines @@
 ExceptionEvent.prototype.sourceColumn = function() {
   return this.exec_state_.frame(0).sourceColumn();
 };
 
 
 ExceptionEvent.prototype.sourceLineText = function() {
   return this.exec_state_.frame(0).sourceLineText();
 };
 
 
-ExceptionEvent.prototype.details = function() {
-  var details = "";
-  if (this.uncaught_) {
-    details += "Uncaught: ";
-  } else {
-    details += "Exception: ";
-  }
-
-  details += '"';
-  details += MakeMirror(this.exception_).toText();
-  details += '" at ';
-  details += this.exec_state_.frame(0).sourceAndPositionText();
-  details += '\n';
-  details += FrameSourceUnderline(this.exec_state_.frame(0));
-
-  return details;
-};
-
-ExceptionEvent.prototype.debugPrompt = function() {
-  if (this.uncaught_) {
-    return "uncaught exception";
-  } else {
-    return "exception";
-  }
-};
-
 ExceptionEvent.prototype.toJSONProtocol = function() {
   var o = { seq: next_response_seq++,
             type: "event",
             event: "exception",
             body: { uncaught: this.uncaught_,
                     exception: MakeMirror(this.exception_),
                     sourceLine: this.sourceLine(),
                     sourceColumn: this.sourceColumn(),
                     sourceLineText: this.sourceLineText(),
                   }
           }
 
   // Add script information to the event if available.
   var script = this.func().script();
   if (script) {
     o.body.script = { name: script.name(),
                       lineOffset: script.lineOffset(),
                       columnOffset: script.columnOffset(),
                       lineCount: script.lineCount()
                     };
   }
 
   return SimpleObjectToJSON_(o);
 };
 
+
 function MakeCompileEvent(script_source, script_name, script_function) {
   return new CompileEvent(script_source, script_name, script_function);
 }
 
+
 function CompileEvent(script_source, script_name, script_function) {
   this.scriptSource = script_source;
   this.scriptName = script_name;
   this.scriptFunction = script_function;
 }
 
-CompileEvent.prototype.details = function() {
-  var result = "";
-  result = "Script added"
-  if (this.scriptData) {
-    result += ": '";
-    result += this.scriptData;
-    result += "'";
-  }
-  return result;
-};
-
-CompileEvent.prototype.debugPrompt = function() {
-  var result = "source"
-  if (this.scriptData) {
-    result += " '";
-    result += this.scriptData;
-    result += "'";
-  }
-  if (this.func) {
-    result += " added";
-  } else {
-    result += " compiled";
-  }
-  return result;
-};
 
 function MakeNewFunctionEvent(func) {
   return new NewFunctionEvent(func);
 }
 
+
 function NewFunctionEvent(func) {
   this.func = func;
 }
 
-NewFunctionEvent.prototype.details = function() {
-  var result = "";
-  result = "Function added: ";
-  result += this.func.name;
-  return result;
-};
-
-NewFunctionEvent.prototype.debugPrompt = function() {
-  var result = "function";
-  if (this.func.name) {
-    result += " '";
-    result += this.func.name;
-    result += "'";
-  }
-  result += " added";
-  return result;
-};
-
 NewFunctionEvent.prototype.name = function() {
   return this.func.name;
 };
 
+
 NewFunctionEvent.prototype.setBreakPoint = function(p) {
   Debug.setBreakPoint(this.func, p || 0);
 };
 
+
 function DebugCommandProcessor(exec_state) {
   this.exec_state_ = exec_state;
 };
 
 
 // Convenience function for C debugger code to process a text command. This
 // function converts the text command to a JSON request, performs the request
 // and converts the request to a text result for display. The result is an
 // object containing the text result and the intermediate results.
 DebugCommandProcessor.prototype.processDebugCommand = function (command) {
@@ skipping 1009 matching lines @@
       json += NumberToJSON_(elem);
     } else if (IS_STRING(elem)) {
       json += StringToJSON_(elem);
     } else {
       json += elem;
     }
   }
   json += ']';
   return json;
 }