diff src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/DefaultTraverser.java @ 175:e26462a38ce0

add push pop
author tatsuki
date Fri, 06 Mar 2015 10:44:50 +0900
parents fb1dc448ac8c
children
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/DefaultTraverser.java	Mon Feb 16 11:36:45 2015 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/DefaultTraverser.java	Fri Mar 06 10:44:50 2015 +0900
@@ -21,10 +21,12 @@
 				List<TreeNode> list = List.nil();
 				return list.cons(_root).iterator();
 			}
+			
 			@Override
 			public int size(){
 				return 1;
 			}
+			
 			@Override
 			public Either<Error,TreeNode> at(int _pos){
 				if(_pos != 0){
@@ -38,6 +40,7 @@
 		Children chs = wrapper;
 		
 		Either<Error,List<Direction<TreeNode>>> ret = _traverse(chs,_evaluator,-1);
+		
 		if(ret.isA()){
 			return DefaultEither.newA(ret.a());
 		}