Char
value corresponding to the given keyReturns the def_value
if none or if it's the wrong value type
FIXME: Java's char
are encoded on 16-bits whereas Nit's are on 8-bits.
# Retrieves the `Char` value corresponding to the given key
# Returns the `def_value` if none or if it's the wrong value type
# FIXME: Java's `char` are encoded on 16-bits whereas Nit's are on 8-bits.
fun char(key: String, def_value: Char): Char
do
sys.jni_env.push_local_frame(1)
var return_value =
native_bundle.get_char_with_def_value(key.to_java_string, def_value)
sys.jni_env.pop_local_frame
return return_value
end
lib/android/bundle/bundle.nit:569,2--579,4