[kepler-dev] Casting IntToken into DoubleTokens

[Efrat Jaeger]

Hi all,

I'm casting a token consumed from a parameter as a DoubleToken. It works
fine for double values, but whenever I feed the parameter with an integer I
get a class cast exception. This class cast is valid for accessing int
tokens via double typed ports and it seems to be consistent with the type
lattice, so I was wondering if this is some sort of a bug in this case.

Thanks,

Efrat