android :: Intent :: extra_int_array
Array[Int]
extra stored as Java int[]
with thecorresponding name
# Retrieves the `Array[Int]` extra stored as Java `int[]` with the
# corresponding name
fun extra_int_array(name: String): Array[Int]
do
sys.jni_env.push_local_frame(1)
var nit_array = intent.int_array_extra(name.to_java_string)
sys.jni_env.pop_local_frame
return nit_array
end
lib/android/intent/intent_api10.nit:908,2--916,4