RE: How to set default value of yquery and nquery

Marc Khouzam
2010-02-24T13:42:48Z

> Do you think we can add a command to set the non-terminal
> query answer?
> For example:
> set non-terminal-query-default yes/no/auto
> auto This is the default value. query/yquery/nquery answer
> will like before.
> yes query/yquery/nquery answer will be yes
> no query/yquery/nquery answer will be no

This is not perfect because every query would be answered
the same way. From a non-terminal, you many want to answer
'y' to one query and 'n' to another.

Furthermore, sometimes the query is not directly triggered
by the command used. For example, changing a variable value
will trigger a query from PRecord, but it is not really
the 'set' command that sends the query, it is PRecord.

I believe the cleanest solution up to now was to have
individual setting for each query. I didn't like that too much
myself, but I don't have a better suggestion.

> > This was my problem with Eclipse and PRecord.  When a query
> is answered
> > not from a terminal it always takes the the default
> > (N for nquery(), Y for for query() and yquery()).
> > That is why we had to make PRecord use query() instead of nquery()
> >
>
> This is really a long issue. I remember that someone said this issue
> will be handle by MI after 7.0 release.
>
> Thanks,
> Hui
>