private void ensureHistorySizeIsZeroForThisAction(android.view.MotionEvent @event
)
{
int historySize = @event.getHistorySize();
if (historySize != 0)
{
problem("History size is " + historySize + " but it should always be 0 for " + android.view.MotionEvent
.actionToString(@event.getAction()));
}
}