Note on BC and type assertions

Fri Oct 15 18:52:00 GMT 2004

Andrew> That's why I wanted to generate code for the assertions. Then
Andrew> you can assert anything you want.
There is a hidden issue, which is what this code looks like. E.g., if
it includes a call to Class.getModifiers (to check non-abstractness),
then it needs to go via the [ao]table. If it is a new _Jv_ function,
then that is another fixed part of the API. This isn't a major thing,
of course, but I wanted to make sure it is explicit.
Tom