The org.joe_e.taming.Policy class generated by the Joe-E verifier does
not correctly deal with generic methods. For example, it currently
throws an exception when trying to make a reflective call to
org.joe_e.array.ConstArray.array(); even though the provided safej
files mark this method as safe. The problem seems to be that the
Policy file contains an entry for:
"org.joe_e.array.ConstArray.array(T[])", but the runtime lookup is
done with the key: "org.joe_e.array.ConstArray.array(Object[])".
It also seems likely that all the org.joe_e* packages could simply
include the IsJoeE annotation, since their public APIs are safe to
call, normally, or through reflection.
--Tyler
_______________________________________________
e-lang mailing list
e-lang@...
http://www.eros-os.org/mailman/listinfo/e-lang
