view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/store/Result.java @ 11:5f763f32940e

added traverser api
author Shoshi TAMAKI
date Fri, 14 Dec 2012 20:10:48 +0900
parents a2c019a77c27
children
line wrap: on
line source

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

public interface Result
{
	public TreeEditor getNewEditor();
}