Bugs item #1064721, was opened at 2004-11-11 19:24
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1064721&group_id=44253
Category: Interactions
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: menzel (menzel5)
Assigned to: Nobody/Anonymous (nobody)
Summary: Weird 'Bad cast' error
Initial Comment:
drjava-beta-20040908 for Mac OSX disallows a Comparable, which is
an instanceof String, to be cast to a String, but has no problem with
assignment.
> Comparable c = "cat";
> (String) c
Error: Bad cast
> c instanceof String
true
> String s;
> s = c;
> s
"cat"
> s.length()
3
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1064721&group_id=44253
|
