Serializable::inspect
to show more useful information
serialization :: serialization_core
Abstract services to serialize Nit objects to different formatsdeserialize_json
and JsonDeserializer
serialize_to_json
and JsonSerializer
core :: union_find
union–find algorithm using an efficient disjoint-set data structure
# Refines intent module to add API 19 services
module intent_api19 is android_api_min 19
import intent_api18
in "Java" `{
import android.content.Intent;
`}
redef class Extra
fun mime_types: JavaString in "Java" `{ return Intent.EXTRA_MIME_TYPES; `}
fun shutdown_userspace_only: JavaString in "Java" `{ return Intent.EXTRA_SHUTDOWN_USERSPACE_ONLY; `}
end
redef class Flag
fun grant_persistable_uri_permission: Int in "Java" `{ return Intent.FLAG_GRANT_PERSISTABLE_URI_PERMISSION; `}
fun receiver_no_abort: Int in "Java" `{ return Intent.FLAG_RECEIVER_NO_ABORT; `}
end
lib/android/intent/intent_api19.nit:17,1--34,3