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 14 services
module intent_api14 is android_api_min 14
import intent_api12
in "Java" `{
import android.content.Intent;
`}
redef class Extra
fun allow_replace: JavaString in "Java" `{ return Intent.EXTRA_ALLOW_REPLACE; `}
fun bug_report: JavaString in "Java" `{ return Intent.EXTRA_BUG_REPORT; `}
fun installer_package_name: JavaString in "Java" `{ return Intent.EXTRA_INSTALLER_PACKAGE_NAME; `}
fun not_unknown_source: JavaString in "Java" `{ return Intent.EXTRA_NOT_UNKNOWN_SOURCE; `}
fun return_result: JavaString in "Java" `{ return Intent.EXTRA_RETURN_RESULT; `}
end
lib/android/intent/intent_api14.nit:17,1--32,3