[m-rev.] for review: add `info' declarative debugger response

[Julien Fischer]

On Wed, 2 Mar 2005, Ian MacLarty wrote:

> On Sat, Feb 26, 2005 at 11:32:34PM +1100, Julien Fischer wrote:
> >
> > You need to add the info response to the user guide as well.
> >
>
> Done.  I also slipped in some extra comments about the new --resume option.
>
> Index: doc/user_guide.texi
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
> retrieving revision 1.421
> diff -u -r1.421 user_guide.texi
> --- doc/user_guide.texi	18 Feb 2005 04:05:33 -0000	1.421
> +++ doc/user_guide.texi	2 Mar 2005 00:12:30 -0000
> @@ -4088,9 +4088,18 @@
>  Commence procedural debugging from the current point.
>  This command is notionally the inverse of the @samp{dd} command
>  in the procedural debugger.
> +The session can be resumed with a @samp{dd --resume} command.
>  @item abort
>  End the declarative debugging session and return to
> -the event at which the @samp{dd} command was given.
> +the event at which the @samp{dd} command was given.
> +The session can be resume with a @samp{dd --resume} command.
> + at sp 1
> + at item info
> +List the filename and line number of the predicate the current question
> +relates to as well as the filename and line number where the predicate
s/relates to/is about/?


> +was called (if this information is available).  Also print some information
> +about the state of the bug search, such as the current search mode and
> +how many events are yet to be eliminated.
>  @sp 1
>  @item help
>  Summarize the list of available commands.
>
> I also changed the CVS log:
>
> doc/user_guide.texi
> 	Document the info command.
>
> 	Say that the --resume option can be used to resume an aborted or pd'd
> 	session.
>
...
>
> > > +	Node = get_edt_node(SearchSpace, LastQuestionId),
> > > +	edt_question(Analyser ^ io_action_map, Store, Node,
> > > +		OracleQuestion),
> > > +	Response = oracle_question(OracleQuestion).
> >
> > How large are the FieldNames and Data lists likely to get?  It may be
> > worth constructing them in reverse and then reversing them before you
> > need them rather than always appending to the end of a list.
> >
>
> They are max 4 elements at the moment, so I don't think it'd be worth
> doing that.
>
No, leave it as is.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------