package jp.ac.u_ryukyu.ie.cr.tatsuki.functionaljava;


import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.transaction.DefaultTreeNode;

import org.junit.Assert;
import org.junit.Test;


import fj.F;
import fj.Ord;
import fj.P;
import fj.P1;
import fj.data.List;
import fj.data.Option;
import fj.data.TreeMap;

public class FjTreeMapTest<A> {

  F<TreeNode, P1<String>> toP3 = new F<TreeNode, P1<String>> () {

    @Override
    public P1<String> f(TreeNode node) {
      return P.p(node.toString());
    }

  };

  
  @Test
  public void testTreeMap() {

     Ord<P1<String>> aaa = Ord.p1Ord(Ord.stringOrd);
     Ord<TreeNode> test = aaa.comap(toP3);
     TreeMap<TreeNode, TreeNode> treeMap = TreeMap.empty(test);
     TreeNode node1 = new DefaultTreeNode();
     TreeNode node2 = new DefaultTreeNode();
     treeMap = treeMap.set(node1,node2);
     treeMap = treeMap.delete(node2);
     System.out.println(node1.toString());
     System.out.println(node2.toString());
     System.out.println(node1.toString());
     System.out.println(node2.toString());
     Option<TreeNode> nodee = treeMap.get(node1);
     TreeNode node = nodee.some();
     System.out.println(node.toString());
    List<Integer> list = List.nil();
    list = list.cons(1).cons(2).cons(3);
    System.out.println(list.toString());
    list.length();
    TreeMap<String, String> map = TreeMap.empty(Ord.stringOrd);
    TreeMap<String, String> newMap = map.set("name", "tatsuki");
    Option<String> op = newMap.get("name");
    if (op.isNone()) {

    }
    String str = op.some();

    TreeMap<String, String> newMap2 = map.set("name", "kanagawa");
    String str2 = newMap2.get("name").some();
    Assert.assertEquals(str, "tatsuki");
    Assert.assertEquals(str2, "kanagawa");
  }

}