Rename fletch -> dartino

samples/todomvc/android/TodoMVC/app/src/main/java/com/google/fletch/todomvc/MainActivity.java

Index: samples/todomvc/android/TodoMVC/app/src/main/java/com/google/fletch/todomvc/MainActivity.java
diff --git a/samples/todomvc/android/TodoMVC/app/src/main/java/com/google/fletch/todomvc/MainActivity.java b/samples/todomvc/android/TodoMVC/app/src/main/java/com/google/fletch/todomvc/MainActivity.java
deleted file mode 100644
index d0a03e53ee66678cad496f24804177c44bf301a9..0000000000000000000000000000000000000000
--- a/samples/todomvc/android/TodoMVC/app/src/main/java/com/google/fletch/todomvc/MainActivity.java
+++ /dev/null
@@ -1,237 +0,0 @@
-// Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE.md file.
-
-package com.google.fletch.todomvc;
-
-import android.content.Intent;
-import android.os.Bundle;
-import android.os.Handler;
-import android.support.v7.app.ActionBarActivity;
-import android.view.Menu;
-import android.view.MenuItem;
-import android.view.View;
-import android.widget.AdapterView;
-import android.widget.ListView;
-
-import java.util.ArrayList;
-
-import fletch.Cons;
-import fletch.Node;
-import fletch.PatchSet;
-import fletch.TodoMVCService;
-
-public class MainActivity extends ActionBarActivity implements AdapterView.OnItemClickListener {
-  private final int REQUEST_NEW_TODO = 0;
-
-  private ListView todoList;
-  private TodoMVCImpl impl;
-
-  private enum Context {
-    IN_LIST,
-    IN_ITEM,
-    IN_TITLE,
-    IN_DONE,
-    IN_DELETE_EVENT,
-    IN_COMPLETE_EVENT,
-    IN_UNCOMPLETE_EVENT
-  }
-
-  private class TodoMVCImpl extends TodoMVCPresenter {
-    // List view/adapter data.
-    private ArrayList<TodoItem> todos = new ArrayList<TodoItem>();
-    private TodoListAdapter adapter;
-    private ListView view;
-
-    // State for patch application.
-    private Context context = Context.IN_LIST;
-    private int index = 0;
-
-    public TodoMVCImpl(ListView view) {
-      this.view = view;
-      this.adapter = new TodoListAdapter(view.getContext(), todos);
-      this.view.setAdapter(adapter);
-      TodoMVCService.reset();
-    }
-
-    @Override
-    protected void enterPatch() {
-      context = Context.IN_LIST;
-      index = 0;
-    }
-
-    @Override
-    protected void enterConsFst() {
-      context = (context == Context.IN_ITEM) ? Context.IN_TITLE : Context.IN_ITEM;
-    }
-
-    @Override
-    protected void enterConsDeleteEvent() {
-      assert context == Context.IN_ITEM;
-      context = Context.IN_DELETE_EVENT;
-    }
-
-    @Override
-    protected void enterConsCompleteEvent() {
-      assert context == Context.IN_ITEM;
-      context = Context.IN_COMPLETE_EVENT;
-    }
-
-    @Override
-    protected void enterConsUncompleteEvent() {
-      assert context == Context.IN_ITEM;
-      context = Context.IN_UNCOMPLETE_EVENT;
-    }
-
-    @Override
-    protected void enterConsSnd() {
-      if (context == Context.IN_ITEM) {
-        context = Context.IN_DONE;
-      } else {
-        ++index;
-      }
-    }
-
-    @Override
-    protected void updateNode(Node node) {
-      switch (context) {
-        case IN_TITLE:
-          todos.get(index).title = node.getStr();
-          break;
-        case IN_DONE:
-          todos.get(index).status = node.getTruth();
-          break;
-        case IN_DELETE_EVENT:
-          todos.get(index).setDeleteEvent(node.getNum());
-          break;
-        case IN_COMPLETE_EVENT:
-          todos.get(index).setCompleteEvent(node.getNum());
-          break;
-        case IN_UNCOMPLETE_EVENT:
-          todos.get(index).setUncompleteEvent(node.getNum());
-          break;
-        case IN_ITEM:
-          todos.set(index, newTodoItem(node));
-          break;
-        case IN_LIST:
-          todos.subList(index, todos.size()).clear();
-          addItems(node);
-          break;
-        default:
-          assert false;
-      }
-    }
-
-    private TodoItem newTodoItem(Node node) {
-      Cons cons = node.getCons();
-      String title = cons.getFst().getStr();
-      boolean status = cons.getSnd().getTruth();
-      return new TodoItem(
-          title,
-          status,
-          cons.getDeleteEvent(),
-          cons.getCompleteEvent(),
-          cons.getUncompleteEvent());
-    }
-
-    private void addItem(Node node) {
-      todos.add(newTodoItem(node));
-    }
-
-    private void addItems(Node node) {
-      while (node.isCons()) {
-        Cons cons = node.getCons();
-        addItem(cons.getFst());
-        node = cons.getSnd();
-      }
-    }
-
-    public void toggleItem(int position) {
-      TodoItem item = todos.get(position);
-      if (item.done()) {
-        item.dispatchUncompleteEvent();
-      } else {
-        item.dispatchCompleteEvent();
-      }
-    }
-
-    public void refresh() {
-      PatchSet patchSet = TodoMVCService.sync();
-      if (patchSet.getPatches().size() > 0) {
-        adapter.setNotifyOnChange(false);
-        applyPatches(patchSet);
-        adapter.notifyDataSetChanged();
-      }
-    }
-  }
-
-  private final Handler handler = new Handler();
-
-  private final Runnable runner = new Runnable() {
-    @Override
-    public void run() {
-      impl.refresh();
-      handler.postDelayed(this, 1000);
-    }
-  };
-
-  private void initiateSync() {
-    handler.removeCallbacks(runner);
-    handler.postDelayed(runner, 0);
-  }
-
-  @Override
-  protected void onCreate(Bundle savedInstanceState) {
-    super.onCreate(savedInstanceState);
-    setContentView(R.layout.activity_main);
-    todoList = (ListView)MainActivity.this.findViewById(R.id.todo_list);
-    impl = new TodoMVCImpl(todoList);
-    todoList.setOnItemClickListener(this);
-  }
-
-  @Override
-  protected void onResume() {
-    super.onResume();
-    initiateSync();
-  }
-
-  @Override
-  protected void onPause() {
-    super.onPause();
-    handler.removeCallbacks(runner);
-  }
-
-  @Override
-  public void onItemClick(AdapterView<?> parent, View view, int position, long id) {
-    impl.toggleItem(position);
-    initiateSync();
-  }
-
-  @Override
-  public boolean onCreateOptionsMenu(Menu menu) {
-    // Inflate the menu; this adds items to the action bar if it is present.
-    getMenuInflater().inflate(R.menu.menu_main, menu);
-    return true;
-  }
-
-  @Override
-  public boolean onOptionsItemSelected(MenuItem item) {
-    int id = item.getItemId();
-    if (id == R.id.action_new_todo) {
-      Intent intent = new Intent(this, CreateTodoItem.class);
-      startActivityForResult(intent, REQUEST_NEW_TODO);
-      return true;
-    }
-    return super.onOptionsItemSelected(item);
-  }
-
-  @Override
-  public void onActivityResult(int requestCode, int resultCode, Intent data) {
-    if (REQUEST_NEW_TODO == requestCode &&
-        RESULT_OK == resultCode) {
-      impl.createItem(data.getStringExtra("ItemTitle"));
-      initiateSync();
-      return;
-    }
-  }
-}