extern class in "Java" `{ android.content.SharedPreferences$Editor `}
super JavaObject
fun : NativeSharedPreferencesEditor in "Java" `{ return self.clear(); `}
fun : Bool in "Java" `{ return self.commit(); `}
fun (key: JavaString, value: Bool): NativeSharedPreferencesEditor in "Java" `{
return self.putBoolean (key, value);
`}
fun (key: JavaString, value: Float): NativeSharedPreferencesEditor in "Java" `{
return self.putFloat(key, (float) value);
`}
fun (key: JavaString, value: Int): NativeSharedPreferencesEditor in "Java" `{
return self.putInt(key, (int)value);
`}
fun (key: JavaString, value: Int): NativeSharedPreferencesEditor in "Java" `{
return self.putLong(key, value);
`}
fun (key: JavaString, value: JavaString): NativeSharedPreferencesEditor in "Java" `{
return self.putString(key, value);
`}
fun (key: JavaString): NativeSharedPreferencesEditor in "Java" `{
return self.remove(key);
`}
# HACK for bug #845
redef fun new_global_ref import sys, Sys.jni_env `{
Sys sys = NativeSharedPreferencesEditor_sys(self);
JNIEnv *env = Sys_jni_env(sys);
return (*env)->NewGlobalRef(env, self);
`}
end
lib/android/shared_preferences/shared_preferences_api10.nit:113,1--143,3