Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: "Prus, Vladimir" <Vladimir_Prus@mentor.com>
To: "Joel Brobecker" <brobecker@adacore.com>,
	"Vladimir Prus" <vladimir@codesourcery.com>
Cc: <gdb-patches@sourceware.org>
Subject: Re: [RFA 1/3] [Ada] New GDB/MI command: -ada-tasks-info
Date: Tue, 20 Sep 2011 06:09:00 -0000	[thread overview]
Message-ID: <000401cc7758$01842180$f7265ec0@mgc.mentorg.com> (raw)

OK. In that case, I have no more comments. 

Joel Brobecker <brobecker@adacore.com> wrote:

> I don't have any questions about the implementation, but I do wonder
> whether reusing "info os xxx" mechanism might be better here, e.g.:
> 
> 	info os ada-tasks

I don't think it makes sense in this case. I could see system-wide
queries, or os-specific commands to use that prefix.  But I don't see
how the list of Ada tasks would fit in the `info os' prefix. Ada tasks
and threads are very similar, so I would treat them the same.

-- 
Joel


             reply	other threads:[~2011-09-20  5:42 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-09-20  6:09 Prus, Vladimir [this message]
  -- strict thread matches above, loose matches on Subject: below --
2011-09-16 20:45 [GDB/MI Ada] " Joel Brobecker
2011-09-16 20:46 ` [RFA 1/3] [Ada] " Joel Brobecker
2011-09-19 17:52   ` Vladimir Prus
2011-09-20  4:12     ` Joel Brobecker

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='000401cc7758$01842180$f7265ec0@mgc.mentorg.com' \
    --to=vladimir_prus@mentor.com \
    --cc=brobecker@adacore.com \
    --cc=gdb-patches@sourceware.org \
    --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