view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/impl/logger/DefaultOperationLog.java @ 78:540a27dde42f

Delete EnableNode and EnableNodeWrapper but not repair test program
author one
date Sun, 31 Aug 2014 00:44:35 +0900
parents ed890dcb673e
children
line wrap: on
line source

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

import java.util.Iterator;

import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.operations.NodeOperation;
import fj.data.List;

public class DefaultOperationLog implements OperationLog
{
	private final List<NodeOperation> log;
	
	private static final List<NodeOperation> EMPTY = List.nil();
	
	public DefaultOperationLog()
	{
		this(EMPTY);
	}
	
	private DefaultOperationLog(List<NodeOperation> _log)
	{
		log = _log;
	}

	@Override
	public Iterator<NodeOperation> iterator()
	{
		return log.iterator();
	}


	@Override
	public DefaultOperationLog add(NodeOperation _op)
	{
		return new DefaultOperationLog(log.snoc(_op));
	}

	@Override
	public int length()
	{
		return log.length();
	}
}