[m-rev.] for review: allow preds to be trusted during decl debugging session

[Ian MacLarty]

On Wed, Jan 05, 2005 at 02:54:09PM +1100, Julien Fischer wrote:
> > +		"\tt [module]\ttrust [module]\tTrust the predicate/function ",
> > +		"about\n",
> > +		"\t\twhich the currect question is being asked.  If the word\n",
> 
> s/currect/current/
> 

Fixed.

> I think it would be better as just:
> 
> 	If `module' is given as an argument then trust ....
> 

I want to make it clear that the word "module" must be given, otherwise the
user may think they need to name the module.

> 
> > +		"\t\t`module' is given as an argument then trust all the\n",
> > +		"\t\tpredicates/functions in the same module as the\n",
> > +		"\t\tpredicate/function about which the currect question is\n",
> > +		"\t\tbeing asked.\n",
> 
> s/currect/current/
> 

Fixed.

> >  		"\tb [<n>]\tbrowse [<n>]\tbrowse the atom, or its nth argument\n",
> >  		"\tb io <n>\tbrowse io <n>\tbrowse the atom's nth I/O action\n",
> >  		"\tp <n>\tprint <n>\tprint the nth argument of the atom\n",
> 
> 
> > Index: doc/user_guide.texi
> > ===================================================================
> > RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
> > retrieving revision 1.404
> > diff -u -r1.404 user_guide.texi
> > --- doc/user_guide.texi	20 Dec 2004 01:15:48 -0000	1.404
> > +++ doc/user_guide.texi	30 Dec 2004 05:28:38 -0000
> > @@ -3767,6 +3767,17 @@
> >  @sp 1
> >  @item inadmissible
> >  Answer that the call is inadmissible.
> > + at sp 1
> > + at item trust
> > +Answer that the predicate or function the question is about does not contain
> > +any bugs.  However predicates or functions called by this predicate/function
> > +may contain bugs.  The debugger will not ask you anymore questions about the
> > +predicate or function the current question is about.
> 
> I suggest s/anymore/further/

Okay.

> 
> Also, s/the current question is about/in the current question/?
> 

Yup.

> > + at sp 1
> > + at item trust module
> > +Answer that the module the current question relates to doesn't contain any
> 
> s/doesn't/does not/
> 

Okay.

> > +bugs.  No more questions about any predicates or functions from this module
> > +will be asked.
> >  @item skip
> >  Skip this question and ask a different one if possible.
> >  @sp 1
> > @@ -3982,7 +3993,7 @@
> >  is a good idea to trust standard library modules imported by a program being
> >  debugged.
> >
> > -The declarative debugger must be told which predicates/functions it can trust
> > +The declarative debugger can be told which predicates/functions it can trust
> >  before the @samp{dd} command is given.  This is done using the @samp{trust},
> >  @samp{trusted} and @samp{untrust} commands at the mdb prompt (see
> >  @ref{Declarative debugging mdb commands} for details on how to use these
> > @@ -3992,6 +4003,12 @@
> >  settings for mdb (see @ref{Mercury debugger invocation}).  Trusted
> >  predicates will also be exported with a @samp{save} command (see
> >  @ref{Miscellaneous commands}).
> > +
> > +During the declarative debugging session the user may tell the
> > +declarative debugger to trust the predicate or function the current question
> > +is about or to trust all predicates and functions in the same module as the
> > +predicate or function the current question is about.  See the @samp{trust}
> > +command in @ref{Declarative debugging commands}.
> 
> That would be better as two separate sentences.
> 
> 	During the declarative debugging session the user may tell the
> 	declarative debugger to trust the predicate or function the
> 	current question is about.  Alternatively, the user may tell
> 	the debugger to trust all of the predicates and functions in the
> 	same module ...
> 
> Also, is there a better way to express the concept, "predicate or
> function the current question is about"?
> 

During the declarative debugging session the user may tell the declarative
debugger to trust the predicate or function in the current question.
Alternatively the user may tell the declarative debugger to trust all
predicates and functions in the same module as the predicate or function in the
currect question.  See the @samp{trust} command in 
@ref{Declarative debugging commands}.

> That's all for now.
> 

Is there more coming?

Cheers,

Ian.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------