This is the mail archive of the
kawa@sources.redhat.com
mailing list for the Kawa project.
Re: Portable Syntax Case
Hi List
Back in the days when I was doing Java byte Code generation stuff, I found
JustIce quite useful:
http://bcel.sourceforge.net/justice/justice.html
Together with the (unfortunately vague) verification specification of the JVM
specs it make debugging such stuff slightly less tedious.
Hope that helps
Andreas
Am Dienstag, 20. April 2004 23:07 schrieb Per Bothner:
> Adam Warner wrote:
> > I suspected this could be a bug in Kawa's implementation. Thank you for
> > the analysis. I'd like to know how you obtained the disassembly.
>
> I use jcf-dump, which is installed by a full gcc-with-cj installation.
> (It is installed by a full Red Hat / Fedora installation, for example.)
>
> I also tried would Kawa with the gcc 3.4 prerelease, and its verifier
> is more specific:
>
> $ bin/kawa.sh -e "(require 'list-lib)" --debug-dump-zip -f /tmp/psyntax.pp
> java.lang.VerifyError: verification failed at PC 125 in
> atInteractiveLevel$frame:lambda44makeBindingWrap415((Ljava.lang.Object;Ljav
>a.lang.Object;Ljava.lang.Object;)Ljava.lang.Object;): incompatible type on
> stack
> at _Jv_BytecodeVerifier.verify_fail(byte, int)
> (/home/bothner/GNU/install-gcc/lib/libgcj.so.5.0.0)
>
--
Andreas Schlapbach PhD student
Artifical Intelligence Group
University of Berne
http://www.iam.unibe.ch/~schlpbch/