view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/impl/DefaultChildren.java @ 12:df42dca47c3e

rename and commit
author Shoshi TAMAKI
date Fri, 14 Dec 2012 21:23:23 +0900
parents src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/impl/ChildrenImpl.java@a2c019a77c27
children a46ff0114a9e
line wrap: on
line source

package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl;

import java.util.Iterator;

import fj.P2;
import fj.data.List;

import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.core.Children;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.core.Node;

public class DefaultChildren implements Children
{
	private final List<Node> children;
	private static final List<Node> EMPTY = List.nil();
	
	public DefaultChildren()
	{
		this(EMPTY);
	}
	
	public DefaultChildren(List<Node> _children)
	{
		children = _children;
	}
	
	public DefaultChildren add(Node _newNode)
	{
		return new DefaultChildren(children.snoc(_newNode));
	}
	
	public DefaultChildren insert(Node _newNode,int _pos) 
	{
		check(_pos);
		
		P2<List<Node>,List<Node>> split = children.splitAt(_pos);
		List<Node> newChildren = split._1().snoc(_newNode).append(split._2());
		
		return new DefaultChildren(newChildren);
	}
	
	public DefaultChildren delete(int _pos)
	{
		check(_pos);
		
		P2<List<Node>,List<Node>> split = children.splitAt(_pos);
		List<Node> newChildren = split._1().init().append(split._2());
		
		return new DefaultChildren(newChildren);
	}
	
	public void check(int _pos)
	{
		if(children.length() < _pos){
			throw new IllegalArgumentException("_pos > length");
		}
	}

	@Override
	public Iterator<Node> iterator()
	{
		return null;
	}
}