The assembly language expresses class constants as untyped strings. The Java equivalent of ‘instanceof String[]’ is correctly expressed as INSTANCEOF(ArrayType(ObjectType(“java.lang.String”))), while ‘String[].class’ compiles to LDC_W(Class(“[Ljava/lang/String;”)). Ideally, this type would be expressed as proper aterms too, to support code generation.

Submitted on 6 February 2007 at 14:01

DRY-245, martin:

Fixed in revision 16729. The bytecode bridge is not tested very well, so I’ve only tested this with some examples I’ve created by hand. I hope it works, but the code of the bridge is rather clean, so I don’t expect that I forgot to update the conversion at some place.