river-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Peter Firmstone <j...@zeus.net.au>
Subject Re: correctness, generics, and spaces
Date Thu, 02 Jun 2011 03:33:40 GMT

> I believe an annotation that flags ASM to post process the byte code 
> to add runtime type safety checks would do the trick.|
>
> Then we can say, yes Generics are supported in remote code, you just 
> need to add this @RuntimeServiceCheck annotation.

Perhaps one of the following annotions:
 
@RuntimeCheckedConversion
@DynamicCheckedConversion

Remember the compiler doesn't type check dynamic code conversion, only 
static conversion.  Dynamic happens at runtime.  Services are dynamic, 
discovered at runtime.

Peter.

Mime
View raw message