public inbox for gdb-patches@sourceware.org
 help / color / mirror / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: Pedro Alves <pedro@palves.net>
Cc: gdb-patches@sourceware.org
Subject: Re: [PATCH] gdb/manual: Introduce locspecs
Date: Wed, 25 May 2022 22:56:41 +0300	[thread overview]
Message-ID: <83mtf5perq.fsf@gnu.org> (raw)
In-Reply-To: <20220525193126.1613411-1-pedro@palves.net> (message from Pedro Alves on Wed, 25 May 2022 20:31:26 +0100)

> From: Pedro Alves <pedro@palves.net>
> Date: Wed, 25 May 2022 20:31:26 +0100
> 
> To clarify this, I propose we use the term "Location Specification",
> with shorthand "locspec", when we're talking about the user input, the
> argument or arguments that is/are passed to commands to instruct GDB
> how to find locations of interest.  This is distinct from the actual
> locations in the program, which are what GDB finds based on the
> user-specified locspec.  Then use "locspec" thoughout instead of
> "location" when we're talking about the user input.

Sorry, but I don't think this is a good idea.  It is IMO okay to
introduce "location specification" into our terminology; it is even
okay to use "location spec" as its shorthand.  But "locspec" is too
much: it's not a word, so it doesn't explain itself enough, and thus
cannot be used very far from where it is defined, because the reader
will likely not understand what it means.  "Locspec" is fine to use in
the likes of @var{locspec}, where we describe commands that take a
location specification as an argument, but using it as a general term
everywhere in the manual (and we have quite a lot of references to
location specs, as several commands work in these terms) will make the
manual more awkward to write (we will need a lot more references to
where "locspec" is defined), and as result harder to read where these
are mentioned, due to the need to actually go to that cross-referenced
section.

As I suggested elsewhere, I think it would be a better idea to reserve
the use of "location" only to these specifications, and use some other
term (e.g., "address") for the actual "resolved" locations that are
places in the program's code.  That will allow us to use "location" as
a shorthand for "location specification", something that will
inevitably happen anyway (people being what they are: we hate to type
long phrases when we think a shorter one will do).  If we use
"location" for two related but different concepts, this tendency will
cause confusing text both in the manual and even in our discussions
here on the list.

Or maybe there are other ideas to resolve this difficulty.  If someone
has alternative proposals, please describe them, and let's discuss.

Thanks.

  reply	other threads:[~2022-05-25 19:56 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-05-25 19:31 Pedro Alves
2022-05-25 19:56 ` Eli Zaretskii [this message]
2022-05-25 20:05   ` Pedro Alves
2022-05-25 21:24     ` Philippe Waroquiers
2022-05-25 22:18       ` Pedro Alves
2022-05-26  6:51         ` Eli Zaretskii
2022-05-26 13:41           ` Simon Marchi
2022-05-26 12:56     ` Eli Zaretskii
2022-05-25 21:02   ` [PATCH v2] gdb/manual: Introduce location specs Pedro Alves
2022-05-26  6:50     ` Eli Zaretskii
2022-05-26 12:26       ` [PATCH v3] " Pedro Alves
2022-05-26 13:52         ` Eli Zaretskii

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=83mtf5perq.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=gdb-patches@sourceware.org \
    --cc=pedro@palves.net \
    /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;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).