view src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java @ 100:9a7b7af838e0

add index TreeNodeEditor but node use
author one
date Thu, 11 Sep 2014 03:10:03 +0900
parents 715a9fbf02fc
children c297f0015d9e
line wrap: on
line source

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


import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.traverser.InterfaceTraverser;

public interface JungleTree
{
	public JungleTreeEditor getTreeEditor();
	public InterfaceTraverser getTraverser();
	public JungleTreeEditor getLocalTreeEditor();
	public TreeNode getRootNode();
}