Bugzilla – Full Text Bug Listing
| Summary: | Error in (redundant) cast of anchored type | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Tools] Objectteams | Reporter: | Andreas Mertgen <programmfehler> | ||||
| Component: | OTJ | Assignee: | Stephan Herrmann <stephan.herrmann> | ||||
| Status: | VERIFIED FIXED | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | CC: | stephan.herrmann | ||||
| Version: | 2.0 | Flags: | stephan.herrmann:
iplog+
|
||||
| Target Milestone: | 2.0.1 | ||||||
| Hardware: | PC | ||||||
| OS: | Windows 7 | ||||||
| Whiteboard: | Also released in 2.1 M1 | ||||||
| Attachments: |
|
||||||
Strange indeed. Something's broken with the array dimensions. I'll take a look. Created attachment 199611 [details]
test & fix
The role class literal was not correctly parsed: some source positions
were not consumed from the intStack and were subsequently interpreted
as array dimensions leading to random results.
Fixed by the attached patch.
released for 2.0.1 Verified for 2.0.1 using build 201108160141. |
Here is an example of a simple team class: public team class T { public class R playedBy A {} } A cast like the following (although it is needless here) will result in errors "Cannot cast from R<@t> to R<@t> []" and "Type mismatch: cannot convert from R<@t> [] to R<@t>". A a = new A(); final T t = new T(); R<@t> r = (R<@t>) t.getRole(a, R<@t>.class); I would expect this cast to be correct.