android :: NativeIntent :: char_extra
char
are encoded on 16-bits whereas Nit's are on 8-bits.
# FIXME: Java's `char` are encoded on 16-bits whereas Nit's are on 8-bits.
fun char_extra(name: JavaString, def_value: Char): Char in "Java" `{
return (int)self.getCharExtra(name, (char)def_value);
`}
lib/android/intent/intent_api10.nit:83,2--86,3