A @code{gdb.Record} object has the following attributes:
-@defvar Record.ptid
-ID of the thread associated with this object as a tuple of three integers. The
-first is the Process ID (PID); the second is the Lightweight Process ID (LWPID),
-and the third is the Thread ID (TID). Either the LWPID or TID may be 0, which
-indicates that the operating system does not use that identifier.
-@end defvar
-
@defvar Record.method
A string with the current recording method, e.g.@: @code{full} or
@code{btrace}.