"info recording" command that gives the path to the recording

Author: timo

src/DebuggerExtensionCommand.cc

@@ -4,6 +4,7 @@
 
 #include "ReplayTask.h"
 #include "log.h"
+#include "util.h"
 
 using namespace std;
 
@@ -56,6 +57,17 @@ static SimpleDebuggerExtensionCommand when_tid(
       return string("Current tid: ") + to_string(t->tid);
     });
 
+static SimpleDebuggerExtensionCommand info_recording(
+    "info recording",
+    "Print the path of the recording RR is"
+    " currently replaying.",
+    [](GdbServer&, Task* t, const vector<string>&) {
+      auto task = static_cast<ReplayTask*>(t);
+      auto trace_dir = task->session().as_replay()->trace_reader().dir();
+
+      return string("Path of recording: \"") + json_escape(trace_dir) + string("\"");
+    });
+
 static std::vector<ReplayTimeline::Mark> back_stack;
 static ReplayTimeline::Mark current_history_cp;
 static std::vector<ReplayTimeline::Mark> forward_stack;

src/test/info_recording.py

@@ -0,0 +1,19 @@
+from util import *
+
+import re
+import json
+
+send_gdb('info recording')
+expect_gdb(re.compile(r'(?<=Path of recording: ).*'))
+path_jsonstr = last_match().group(0)
+path_pystr   = json.loads(path_jsonstr)
+
+if len(path_pystr) < 6:
+    failed("ERROR ... Unreasonably short path for recording file found in output")
+
+# Inferior command also has the name of the binary at the end,
+# so the pattern matches opening but not closing paren.
+send_gdb("inferior")
+expect_gdb(f"\\({path_pystr}")
+
+ok()

src/test/info_recording.run

@@ -0,0 +1,3 @@
+source `dirname $0`/util.sh
+record simple$bitness
+debug info_recording