[m-rev.] for review: mdb: break proc_spec port_name
Zoltan Somogyi
zs at csse.unimelb.edu.au
Tue Jun 12 16:03:13 AEST 2007
On 12-Jun-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> >runtime/mercury_stack_layout.h:
> > Add fields to the exec trace part of proc layouts an array of the
> > label layouts describing the events of the procedure.
>
> ... and an array of ... (?)
Reworded.
> >+ at item break [-OPS] [-E at var{ignore-count}] [-I at var{ignore-count}] [-n]
> >[-p at var{print-spec}]* @var{proc-spec} @var{portname}
> >+Puts a break point on
> >+one or more events of the specified type in the specified procedure.
> >+Port names should be specified as they are printed at events,
> >+e.g. @samp{CALL}, @samp{EXIT}, @samp{DISJ}, @samp{SWTC}, etc.
>
> Must the portnames always be uppercase?
For now, yes. What would you propose?
> Is it possible to also specify the goal path (where appropriate) with
> the portname as part of the break command?
Discussed in person.
Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list