[m-rev.] for review: getMessage for Mercury exceptions in java grade

[Julien Fischer]

On Mon, 3 Aug 2009, Peter Wang wrote:

> Branches: main
>
> Make the Java jmercury.runtime.Exception class implement the getMessage()
> method for Throwable objects.  This is useful when Mercury code is called
> from Java code, without the main/2 wrapper.
>
> java/runtime/Exception.java:
>        Add a method pointer as a class variable.
>
>        Implement the getMessage() method by calling the method pointer
>        if set.
>
> library/exception.m:
>        On module initialisation set the method pointer in the
>        jmercury.runtime.Exception class.
>
>        Factor out code from report_uncaught_exception_2.

That looks fine.

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