[m-dev.] for review: declarative debugging of exceptions

[Mark Anthony BROWN]

Hi,

I'm working on some changes that will conflict with this one, so unless
there are any objections I will go ahead and commit this soon.

Cheers,
Mark.

Mark Anthony BROWN writes:
> --
> Estimated hours taken: 8
> 
> Implement declarative debugging of code that throws exceptions.
> 
> This aborts if used on code that handles exceptions.  There is no point
> dealing with this yet, since the oracle won't handle the higher order
> argument to try/2.
> 
> browser/declarative_debugger.m:
> 	Add "unexpected exception" questions and "unhandled exception" bugs,
> 	and generate these from EXCP events.  Handle the exception case
> 	in various switches.
> 
> 	Add a predicate unexpected_exception_children/4, analogous to
> 	{wrong,missing}_answer_children/4.
> 
> browser/declarative_execution.m:
> 	Add excp/5 nodes to the event trace, and export a C function to
> 	construct them.  Handle these nodes in various switches.
> 
> 	Allow contours to extend beyond NEGE events, if the status is
> 	`undecided'.  Such events have no matching NEGS or NEGF event,
> 	so they do not mark the boundary of a separate context.
> 
> browser/declarative_oracle.m:
> 	Store information about which exceptions should/shouldn't be thrown
> 	from various calls, and use this information to answer questions
> 	where possible.
> 
> browser/declarative_user.m:
> 	Handle the new questions and bugs.
> 
> trace/mercury_trace_declarative.c:
> 	Add a function to deal with EXCP events.
> 
> trace/mercury_trace_internal.c:
> 	Allow declarative debugging to be started from EXCP events.
> 
> tests/debugger/declarative/Mmakefile:
> tests/debugger/declarative/throw.m:
> tests/debugger/declarative/throw.inp:
> tests/debugger/declarative/throw.exp:
> tests/debugger/declarative/throw.exp2:
> 	A test case for this feature.
> 
> tests/debugger/declarative/queens.exp:
> 	Update the output from this test.
> 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------