# A pointer event
class AndroidPointerEvent
	super PointerEvent
	super AndroidInputEvent
	private var motion_event: AndroidMotionEvent
	private var pointer_index: Int
	redef fun x do return native_x(motion_event.native, pointer_index)
	private fun native_x(motion_event: NativeAndroidMotionEvent, pointer_index: Int): Float `{
		return AMotionEvent_getX(motion_event, pointer_index);
	`}
	redef fun y do return native_y(motion_event.native, pointer_index)
	private fun native_y(motion_event: NativeAndroidMotionEvent, pointer_index: Int): Float `{
		return AMotionEvent_getY(motion_event, pointer_index);
	`}
	# Pressure applied by this pointer
	fun pressure: Float do return native_pressure(motion_event.native, pointer_index)
	private fun native_pressure(motion_event: NativeAndroidMotionEvent, pointer_index: Int): Float `{
		return AMotionEvent_getPressure(motion_event, pointer_index);
	`}
	redef fun pressed
	do
		var action = motion_event.native.action
		return action.is_down or action.is_move or action.is_pointer_down
	end
	redef fun is_move do return motion_event.acting_pointer == self and
		motion_event.native.action.is_move
	# Does this pointer just began touching the screen?
	fun just_went_down: Bool do return motion_event.acting_pointer == self and
		motion_event.just_went_down
	# Unique id of this pointer since the beginning of the gesture
	redef fun pointer_id do return native_pointer_id(motion_event.native, pointer_index)
	private fun native_pointer_id(motion_event: NativeAndroidMotionEvent, pointer_index: Int): Int `{
		return AMotionEvent_getPointerId(motion_event, pointer_index);
	`}
end
					lib/android/input_events.nit:161,1--208,3