DO NOT REPLY [Bug 26839] - JustIce - array store type checks stricter than native verifier
| Newsgroups | gmane.comp.jakarta.bcel.devel |
|---|---|
| Message-ID | <[email protected]> |
DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT <http://nagoya.apache.org/bugzilla/show_bug.cgi?id=26839>. ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND INSERTED IN THE BUG DATABASE. http://nagoya.apache.org/bugzilla/show_bug.cgi?id=26839 JustIce - array store type checks stricter than native verifier ------- Additional Comments From [email protected] 2004-02-10 21:29 ------- Here is my understanding of the problem: 1. Verification type of objs is Object[] 2. Run-time type of objs (in this particular case) is Integer[] 3. Verification type of the result of o() is Object Verification should pass, since it is purely concerned about verification type. However a run-time error should be thrown if o() return a non-null value. In this case since o() return null it shouldn't. [email protected]