Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: Doug Evans <dje@google.com>
To: Vladimir Prus <vladimir@codesourcery.com>
Cc: Jakob Engblom <jakob@virtutech.com>,
	Tomas Holmberg <th@virtutech.com>,
	        gdb-patches@sources.redhat.com
Subject: Re: reverse for GDB/MI
Date: Fri, 06 Feb 2009 04:11:00 -0000	[thread overview]
Message-ID: <e394668d0902052011w2f512912m3d5797142056d756@mail.gmail.com> (raw)
In-Reply-To: <200902051239.27523.vladimir@codesourcery.com>

On Thu, Feb 5, 2009 at 1:39 AM, Vladimir Prus <vladimir@codesourcery.com> wrote:
> It seems to be that it's best to have some structure in MI commands and flags.
> Say, we have continue and reverse-continue. What if you want some other form
> of continue, say "continue for N seconds". Should we have then:
>
>        continue
>        reverse-continue
>        timed-continue
>        reverse-timed-continue
>
> ? That would be fairly cumbersome. Also, the --reverse option can be documented
> with a single paragraph, whilst individual commands should all have individual
> documentation.

timed-continue could take a negative argument to go backwards.

[fwiw, I'm in the camp that dislikes --reverse too]

> To summarize, I would like the patch to be adjusted in the following way:
>
>        1. Use --reverse option
>        2. Arrange for --exec-step, and similar, to ignore 'set exec-direction',
>        since all new MI commands should strive to be stateless. This, of course,
>        will mean that one cannot get existing frontend to do reverse step by
>        typing a command into CLI console, but it is not obvious if existing
>        frontend will work without modification anyway.

Can we remove exec-direction altogether?
1/2 :-)


  reply	other threads:[~2009-02-06  4:11 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-12-15 10:59 Tomas Holmberg
2008-12-15 18:52 ` Marc Khouzam
2008-12-16  8:44   ` Jakob Engblom
2008-12-16 14:45     ` Marc Khouzam
2008-12-15 20:50 ` Eli Zaretskii
2008-12-17 14:57   ` Tomas Holmberg
2008-12-17 16:41     ` Eli Zaretskii
2008-12-17 16:17 ` Vladimir Prus
2008-12-18  8:33   ` Tomas Holmberg
2008-12-18  8:35     ` Vladimir Prus
2008-12-18  9:16       ` Jakob Engblom
2009-02-05  9:38         ` Vladimir Prus
2009-02-06  4:11           ` Doug Evans [this message]
2009-02-06 10:08           ` Jakob Engblom
2009-02-06 10:49             ` Vladimir Prus
2009-02-06 13:56               ` Jakob Engblom
2008-12-19  8:26       ` Tomas Holmberg
2008-12-19 11:07         ` Joel Brobecker
2008-12-19 13:22           ` Pedro Alves
2008-12-19 13:32             ` Jakob Engblom
2008-12-19 19:11         ` Michael Snyder
2008-12-22 20:27           ` Marc Khouzam
2008-12-22 21:14             ` Michael Snyder
2008-12-22 21:16               ` Marc Khouzam
2009-01-03 18:09             ` Jakob Engblom
2009-01-20 18:22               ` Marc Khouzam
2009-01-21  5:23                 ` teawater
2009-01-21 15:21                 ` Tomas Holmberg
2009-02-05 12:08                 ` Vladimir Prus
2008-12-18 21:39     ` Michael Snyder
2008-12-19  9:10       ` Tomas Holmberg

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=e394668d0902052011w2f512912m3d5797142056d756@mail.gmail.com \
    --to=dje@google.com \
    --cc=gdb-patches@sources.redhat.com \
    --cc=jakob@virtutech.com \
    --cc=th@virtutech.com \
    --cc=vladimir@codesourcery.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox