Re: JGNAT and Null references

["Randy Brukardt" <randy@rrsoftware.com>]

Marc A. Criley wrote in message <3AA3815B.11B1A073@earthlink.net>...

>My question, though, would be: If an access parameter cannot be null,
>how am I supposed to pass a null argument to a Java method, given the
>way jvm2ada generates the Ada binding?  Is the present behavior a bug?
>Is it a JGNAT-specific extension that perhaps ought to be wrapped in
the
>Extensions_Allowed behavior?

I would think it is a bug and/or extension. My first thought is that it
is a bug in jvm2ada, but perhaps they are planning to ignore the RM
rule. (But then, of course, it should be under the extensions flag, as
you note.)

            Randy.