Re: Another proposal for frontends and queries.

Tom Tromey
2009-09-16T20:43:02Z

>>>>> "Marc" == Marc Khouzam <marc.khouzam@ericsson.com> writes:

Marc> Proposals:
[...]

One idea from the user 'heinz' (sorry, I don't know your real name!) was
to have a query in MI mode throw a specific error, then let the front
end reissue the command with the correct response.

This seems like it could be done without much difficulty. We would need
a way to stuff answers into some queue that "query" reads. Maybe we
would need a way to label queries (so that a new response will only be
given to a specific query) -- but this could be just some machine
generated thing sent along with the error.

This struck me as a rather good idea: it is simple to understand and
implement, and doesn't seem to have the issues associated with some
other possible approaches to supporting queries (e.g., reentrant event
loops). I assume I must be missing something ;-)

Tom