computes the tasks statistics and updates the view . concode_field_sep ListDataProvider<ToDoItem> filteredTodos concode_elem_sep ViewEventHandler viewHandler concode_elem_sep View view concode_elem_sep EventBus eventBus concode_elem_sep ToDoRouting routing concode_elem_sep List<ToDoItem> todos concode_elem_sep String STORAGE_KEY concode_field_sep void loadState concode_elem_sep void itemStateChanged concode_elem_sep void taskStateChanged concode_elem_sep void saveState concode_elem_sep void setDataProvider concode_elem_sep ToDoRouting parseRoutingToken concode_elem_sep String getTaskText concode_elem_sep void setTaskStatistics concode_elem_sep void addTask concode_elem_sep void addTask concode_elem_sep void addTask concode_elem_sep void setRouting concode_elem_sep void clearTaskText concode_elem_sep void clearCompletedTasks concode_elem_sep void clearCompletedTasks concode_elem_sep void clearCompletedTasks concode_elem_sep void updateFilteredList concode_elem_sep void addhandler concode_elem_sep void setupHistoryHandler concode_elem_sep void markAllCompleted concode_elem_sep void markAllCompleted concode_elem_sep void markAllCompleted concode_elem_sep void deleteTask
void function ( ) { int loc0 = todos . size ( ) ; int loc1 = 0 ; for ( ToDoItem loc2 : todos ) { if ( loc2 . isCompleted ( ) ) { loc1 ++ ; } } view . setTaskStatistics ( loc0 , loc1 ) ; }