android :: SharedPreferences :: add_int
# Set a key-value pair using a `Int` type value
# Returns `self` allowing fluent programming
#
# Be aware of possible integer overflow as the Nit `Int` corresponds to Java `long`
# and the methods stores a Java `int`
# *You might want to use add_long instead*
fun add_int(key: String, value: Int): SharedPreferences
do
sys.jni_env.push_local_frame(1)
editor.put_int(key.to_java_string, value)
sys.jni_env.pop_local_frame
commit_if_auto
return self
end
lib/android/shared_preferences/shared_preferences_api10.nit:322,2--335,4