Service
at device bootSerializable::inspect
to show more useful information
app.nit
on Android using a custom Java entry point
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
# Import this module to launch `Service` at device boot
module at_boot is
extra_java_files "nit.app.NitBroadcastReceiver"
android_manifest """
<uses-permission android:name="android.permission.RECEIVE_BOOT_COMPLETED" />
"""
android_manifest_application """
<receiver android:name="nit.app.NitBroadcastReceiver">
<intent-filter>
<action android:name="android.intent.action.BOOT_COMPLETED" />
</intent-filter>
</receiver>
"""
end
import service
lib/android/service/at_boot.nit:15,1--30,14