# Pointer/touch event on iOS
class GamnitIOSPointerEvent
super PointerEvent
private var native: UIEvent
private var native_touch: UITouch
private var content_scale_factor: Float
redef fun x do return native_touch.x * content_scale_factor
redef fun y do return native_touch.y * content_scale_factor
redef var pressed
redef var is_move
redef var pointer_id = native_touch.to_i is lazy
end
lib/gamnit/input_ios.nit:22,1--41,3