Java related services specific to Android and its Dalvik VM

Redefined classes

redef class App

android :: dalvik $ App

App subclasses are cross-platform applications
redef class Sys

android :: dalvik $ Sys

The main class of the program.

All class definitions

redef class App

android :: dalvik $ App

App subclasses are cross-platform applications
redef class Sys

android :: dalvik $ Sys

The main class of the program.
package_diagram android::dalvik dalvik android::activities activities android::dalvik->android::activities android::platform platform android::activities->android::platform ...>android::platform android::android android android::android->android::dalvik android::assets_and_resources assets_and_resources android::assets_and_resources->android::dalvik android::native_app_glue native_app_glue android::native_app_glue->android::dalvik android::shared_preferences_api10 shared_preferences_api10 android::shared_preferences_api10->android::dalvik android::nit_activity nit_activity android::nit_activity->android::dalvik android::toast toast android::toast->android::dalvik android::vibration vibration android::vibration->android::dalvik android::intent_api10 intent_api10 android::intent_api10->android::dalvik android::landscape landscape android::landscape->android::android android::portrait portrait android::portrait->android::android gamnit::gamnit_android gamnit_android gamnit::gamnit_android->android::android android::landscape... ... android::landscape...->android::landscape android::portrait... ... android::portrait...->android::portrait gamnit::gamnit_android... ... gamnit::gamnit_android...->gamnit::gamnit_android android::assets assets android::assets->android::assets_and_resources android::audio audio android::audio->android::assets_and_resources android::load_image load_image android::load_image->android::assets_and_resources android::native_notification native_notification android::native_notification->android::assets_and_resources android::assets... ... android::assets...->android::assets android::audio... ... android::audio...->android::audio android::load_image... ... android::load_image...->android::load_image android::native_notification... ... android::native_notification...->android::native_notification android::cardboard cardboard android::cardboard->android::native_app_glue android::game game android::game->android::native_app_glue android::cardboard... ... android::cardboard...->android::cardboard android::game... ... android::game...->android::game android::shared_preferences shared_preferences android::shared_preferences->android::shared_preferences_api10 android::shared_preferences... ... android::shared_preferences...->android::shared_preferences android::native_ui native_ui android::native_ui->android::nit_activity android::wifi wifi android::wifi->android::nit_activity android::service service android::service->android::nit_activity android::native_ui... ... android::native_ui...->android::native_ui android::wifi... ... android::wifi...->android::wifi android::service... ... android::service...->android::service android::ui_test ui_test android::ui_test->android::toast android::ui_test... ... android::ui_test...->android::ui_test a_star-m a_star-m a_star-m->android::vibration a_star-m... ... a_star-m...->a_star-m android::intent intent android::intent->android::intent_api10 android::intent... ... android::intent...->android::intent


module abstract_collection

core :: abstract_collection

Abstract collection classes and services.
module abstract_text

core :: abstract_text

Abstract class for manipulation of sequences of characters
module app

app :: app

app.nit is a framework to create cross-platform applications
module app_base

app :: app_base

Base of the app.nit framework, defines App
module array

core :: array

This module introduces the standard array structure.
module assets

app :: assets

Portable services to load resources from the assets folder
module aware

android :: aware

Android compatibility module
module bitset

core :: bitset

Services to handle BitSet
module bytes

core :: bytes

Services for byte streams and arrays
module circular_array

core :: circular_array

Efficient data structure to access both end of the sequence.
module codec_base

core :: codec_base

Base for codecs to use with streams
module codecs

core :: codecs

Group module for all codec-related manipulations
module collection

core :: collection

This module define several collection classes.
module collections

java :: collections

Basic Java collections
module core

core :: core

Standard classes and methods used by default by Nit programs and libraries.
module environ

core :: environ

Access to the environment variables of the process
module error

core :: error

Standard error-management infrastructure.
module exec

core :: exec

Invocation and management of operating system sub-processes.
module ffi_support

java :: ffi_support

Core supporting services for the FFI with Java
module file

core :: file

File manipulations (create, read, write, etc.)
module fixed_ints

core :: fixed_ints

Basic integers of fixed-precision
module fixed_ints_text

core :: fixed_ints_text

Text services to complement fixed_ints
module flat

core :: flat

All the array-based text representations
module gc

core :: gc

Access to the Nit internal garbage collection mechanism
module hash_collection

core :: hash_collection

Introduce HashMap and HashSet.
module iso8859_1

core :: iso8859_1

Codec for ISO8859-1 I/O
module java

java :: java

Supporting services for the FFI with Java and to access Java libraries
module jvm

jvm :: jvm

Java Virtual Machine invocation API and others services from the JNI C API
module kernel

core :: kernel

Most basic classes and methods.
module list

core :: list

This module handle double linked lists
module math

core :: math

Mathematical operations
module native

core :: native

Native structures for text and bytes
module numeric

core :: numeric

Advanced services for Numeric types
module platform

android :: platform

Triggers compilation for the android platform
module protocol

core :: protocol

module queue

core :: queue

Queuing data structures and wrappers
module range

core :: range

Module for range of discrete objects.
module re

core :: re

Regular expression support for all services based on Pattern
module ropes

core :: ropes

Tree-based representation of a String.
module sorter

core :: sorter

This module contains classes used to compare things and sorts arrays.
module stream

core :: stream

Input and output streams of characters
module text

core :: text

All the classes and methods related to the manipulation of text entities
module time

core :: time

Management of time and dates
module union_find

core :: union_find

union–find algorithm using an efficient disjoint-set data structure
module utf8

core :: utf8

Codec for UTF-8 I/O


module activities

android :: activities

Android Activities wrapper


module android

android :: android

Android services and implementation of app.nit
module assets_and_resources

android :: assets_and_resources

Android Assets and Resources Management
module intent_api10

android :: intent_api10

Services allowing to launch activities and start/stop services using
module native_app_glue

android :: native_app_glue

Wrapper of the Android native_app_glue framework to implement app.nit
module nit_activity

android :: nit_activity

Core implementation of app.nit on Android using a custom Java entry point
module shared_preferences_api10

android :: shared_preferences_api10

Services to save/load data using android.content.SharedPreferences for the android platform
module toast

android :: toast

Services to display a toast, a small popup on Android
module vibration

android :: vibration

Vibration services for Android


module a_star-m


module android19

gamnit :: android19

Variation using features from Android API 19
module assets

android :: assets

Implementation of app::assets
module at_boot

android :: at_boot

Import this module to launch Service at device boot
module audio

android :: audio

Android audio services, wraps a part of android audio API
module camera_control_android

gamnit :: camera_control_android

Two fingers camera manipulation, pinch to zoom and slide to scroll
module cardboard

android :: cardboard

Services from the Google Cardboard SDK for virtual reality on Android
module cardboard

gamnit :: cardboard

Update the orientation of world_camera at each frame using the head position given by android::cardboard
module data_store

android :: data_store

Implements app::data_store using shared_preferences
module display_android

gamnit :: display_android

Gamnit display implementation for Android
module game

android :: game

Android services and implementation of app.nit for gamnit and mnit
module gamepad

android :: gamepad

Support for gamepad events (over Bluetooth or USB)
module gamnit_android

gamnit :: gamnit_android

Support services for Gamnit on Android
module http_request

android :: http_request

Android implementation of app:http_request
module input_events

android :: input_events

Pointer and hardware key events
module intent

android :: intent

Services allowing to launch activities and start/stop services using
module intent_api11

android :: intent_api11

Refines intent module to add API 11 services
module intent_api12

android :: intent_api12

Refines intent module to add API 12 services
module intent_api14

android :: intent_api14

Refines intent module to add API 14 services
module intent_api15

android :: intent_api15

Refines intent module to add API 15 services
module intent_api16

android :: intent_api16

Refines intent module to add API 16 services
module intent_api17

android :: intent_api17

Refines intent module to add API 17 services
module intent_api18

android :: intent_api18

Refines intent module to add API 18 services
module intent_api19

android :: intent_api19

Refines intent module to add API 19 services
module landscape

android :: landscape

Lock the application in the landscape orientation
module load_image

android :: load_image

Low-level services to load pixel data from the assets
module native_notification

android :: native_notification

Native Java classes for notifications
module native_ui

android :: native_ui

Native services from the android.view and android.widget namespaces
module notification

android :: notification

Services to show notification in the Android status bar
module portrait

android :: portrait

Config to set the portrait orientation
module sensors

android :: sensors

Access Android sensors
module service

android :: service

Android service support for app.nit centered around the class Service
module shared_preferences

android :: shared_preferences

Services allowing to save and load datas to internal android device
module shared_preferences_api11

android :: shared_preferences_api11

Refines shared_preferences module to add API 11 services
module ui

android :: ui

Views and services to use the Android native user interface
module ui_test

android :: ui_test

Test for app.nit's UI services
module vr

gamnit :: vr

VR support for gamnit depth, for Android only
module wifi

android :: wifi

Simple wrapper of the Android WiFi services
# Java related services specific to Android and its Dalvik VM
module dalvik

import activities

redef class App
	# Main Java Activity of this application
	# Require: A Nit activity is currently running.
	fun native_activity: NativeActivity is abstract

	# Current reference context, either an activity or a service
	fun native_context: NativeContext do return native_activity

redef class Sys

	# We cannot create a JVM on Android
	# This method is not reachable on this platform anyway.
	# `Sys::jvm` is implemented by the main activity modules.
	redef fun create_default_jvm do abort

	redef fun jni_env do return jvm.attach_current_thread

	private var class_loader: nullable JavaObject = null

	private var class_loader_method: nullable JMethodID = null

	redef fun load_jclass(name)
		var class_loader = self.class_loader
		if class_loader == null then
			find_class_loader app.native_context
			class_loader = self.class_loader
			assert class_loader != null

		var class_loader_method = self.class_loader_method
		assert class_loader_method != null

		return load_jclass_intern(class_loader, class_loader_method, name)

	private fun find_class_loader(native_context: NativeContext) import jni_env, class_loader=, nullable, class_loader_method=, nullable `{
		JNIEnv *env = Sys_jni_env(self);

		// Retrieve main activity
		jclass class_context = (*env)->GetObjectClass(env, native_context);
		if (class_context == NULL) {
			__android_log_print(ANDROID_LOG_ERROR, "Nit", "Failed to retrieve activity class");

		jmethodID class_activity_getClassLoader = (*env)->GetMethodID(env, class_context, "getClassLoader", "()Ljava/lang/ClassLoader;");
		if (class_activity_getClassLoader == NULL) {
			__android_log_print(ANDROID_LOG_ERROR, "Nit", "Failed to retrieve 'getClassLoader' method");

		// Call activity.getClassLoader
		jobject instance_class_loader = (*env)->CallObjectMethod(env, native_context, class_activity_getClassLoader);
		if (instance_class_loader == NULL) {
			__android_log_print(ANDROID_LOG_ERROR, "Nit", "Failed to retrieve class loader instance");

		jclass class_class_loader = (*env)->GetObjectClass(env, instance_class_loader);
		if (class_class_loader == NULL) {
			__android_log_print(ANDROID_LOG_ERROR, "Nit", "Failed to retrieve class of class loader");

		// Get the method ClassLoader.findClass
		jmethodID class_class_loader_findClass = (*env)->GetMethodID(env, class_class_loader, "findClass", "(Ljava/lang/String;)Ljava/lang/Class;");
		if (class_class_loader_findClass == NULL) {
			__android_log_print(ANDROID_LOG_ERROR, "Nit", "Failed to retrieve 'findClass' method");

		// Return the values to Nit
		Sys_class_loader__assign(self, JavaObject_as_nullable((*env)->NewGlobalRef(env, instance_class_loader)));
		Sys_class_loader_method__assign(self, JMethodID_as_nullable(class_class_loader_findClass));

		// Clean up
		(*env)->DeleteLocalRef(env, class_context);
		(*env)->DeleteLocalRef(env, instance_class_loader);
		(*env)->DeleteLocalRef(env, class_class_loader);

	private fun load_jclass_intern(instance_class_loader: JavaObject, class_loader_findClass: JMethodID, name: CString): JClass import jni_env `{
		JNIEnv *env = Sys_jni_env(self);
		jobject class_name = (*env)->NewStringUTF(env, name);

		jclass java_class = (*env)->CallObjectMethod(env, instance_class_loader, class_loader_findClass, class_name);
		if (java_class == NULL) {
			__android_log_print(ANDROID_LOG_ERROR, "Nit", "Failed loading targeted class");

		(*env)->DeleteLocalRef(env, class_name);

		return java_class;