user=> (class (int (cast Number 1)))
java.lang.Integer
is this what you want?
Jim
On 24/10/12 22:12, Steffen Panning wrote:
Hello Group,
the Java API I'm currently working with expects that an Interface is
downcasted to a concrete class.
As a quick test I toyed with this:
(cast Integer (
Hello Group,
the Java API I'm currently working with expects that an Interface is
downcasted to a concrete class.
As a quick test I toyed with this:
(cast Integer (cast Number 1))
ClassCastException Cannot cast java.lang.Long to java.lang.Integer
java.lang.Class.cast (Class.java:3007)
It see