# The pointer (or finger) causing this event
var acting_pointer: AndroidPointerEvent is lazy do
var action = native.action
var index = 0
if action.is_pointer_down or action.is_pointer_up then
index = native.action.pointer_index
end
return new AndroidPointerEvent(self, index)
end
lib/android/input_events.nit:113,2--123,4