Mercurial > hg > Members > tatsuki > bench > jungle-core
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(); }