annotate src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/util/GetOldTreeError.java @ 190:a01507a9f826 default tip

change TreeMapBenchMark
author tatsuki
date Tue, 21 Apr 2015 17:28:20 +0900
parents ef183969bf31
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
142
ef183969bf31 add get oldTree
one
parents:
diff changeset
1 package jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util;
ef183969bf31 add get oldTree
one
parents:
diff changeset
2
ef183969bf31 add get oldTree
one
parents:
diff changeset
3 public class GetOldTreeError implements Error {
ef183969bf31 add get oldTree
one
parents:
diff changeset
4 public static final Error OLD_TREE_NOT_FOUND = new DefaultError();
ef183969bf31 add get oldTree
one
parents:
diff changeset
5 }