changeset 61:dcaaecaed9ee version 0.0.2

Modified getLocalTreeEditor
author one
date Mon, 25 Nov 2013 04:58:28 +0900
parents 7030d9935796
children 85c9a215c4eb
files src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java
diffstat 2 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java	Fri Nov 22 04:37:19 2013 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java	Mon Nov 25 04:58:28 2013 +0900
@@ -35,6 +35,12 @@
 	}
 
 	@Override
+	public JungleTreeEditor getLocalTreeEditor()
+	{
+		return getTreeEditor();
+	}
+	
+	@Override
 	public Node getRootNode()
 	{
 		TreeContext<T> tc = repository.get();
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java	Fri Nov 22 04:37:19 2013 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java	Mon Nov 25 04:58:28 2013 +0900
@@ -5,5 +5,6 @@
 public interface JungleTree
 {
 	public JungleTreeEditor getTreeEditor();
+	public JungleTreeEditor getLocalTreeEditor();
 	public Node getRootNode();
 }