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 get_char_array(key: JavaString): Array[Char]
import Array[Char], Array[Char].add in "Java" `{
char[] java_array = self.getCharArray(key);
NitObject nit_array = new_Array_of_Char();
if (java_array == null) return nit_array;
for(int i=0; i < java_array.length; ++i)
Array_of_Char_add(nit_array, (int)java_array[i]);
return nit_array;
`}
lib/android/bundle/bundle.nit:330,2--342,3