redef extern class NativeContext

	# Get the native AssetsManager of the application, used to initialize the nit's AssetManager
	private fun assets: NativeAssetManager in "Java" `{
		return self.getAssets();
	`}

	# Get the package name of the application
	private fun package_name: JavaString in "Java" `{
		return self.getPackageName();
	`}

	# Get the native ResourceManager of the application, used to initialize the nit's ResourceManager
	private fun resources: NativeResources in "Java" `{
		return self.getResources();
	`}
end

redef class NativeContext
	fun notification_manager: NativeNotificationManager in "Java" `{
		return (NotificationManager)self.getSystemService(Context.NOTIFICATION_SERVICE);
	`}
end

redef extern class NativeContext
	private fun start_activity(intent: NativeIntent) in "Java" `{ self.startActivity(intent); `}
	private fun start_service(intent: NativeIntent) in "Java" `{ self.startService(intent); `}
	private fun stop_service(intent: NativeIntent) in "Java" `{ self.stopService(intent); `}
end

redef class NativeContext
	private fun start_service in "Java" `{
		android.content.Intent intent =
			new android.content.Intent(self, nit.app.NitService.class);
		self.startService(intent);
	`}
end

redef class NativeContext
	# Handle to the WiFi system service
	fun wifi_manager: NativeWifiManager in "Java" `{
		return (android.net.wifi.WifiManager)
			self.getSystemService(android.content.Context.WIFI_SERVICE);
	`}
end