在Android中缺少TreeSet.floor()和TreeSet.ceiling()方法吗?

Question

这对我来说是一个深深的谜。

看一下这个:

TreeSet<Long> s = new TreeSet<Long>();
s.add(Long.valueOf(1));
s.add(Long.valueOf(4));
s.add(Long.valueOf(6));
s.add(Long.valueOf(9));
Long upper = s.ceiling(Long.valueOf(5));
Long lower = s.floor(Long.valueOf(5));

在一个普通的Java VM中，这段代码编译和运行得很好。

如果我看一下Android的API文档，甚至根据:http://www.java2s.com/Open-Source/Android/android-core/platform-libcore/java/util/TreeSet.java.htm

方法的天花板和地板应该在那里。

但是如果我尝试在Eclipse + Android SDK中使用它们(构建目标是"8")，Eclipse告诉我地板(长)和天花板(长)没有为类TreeSet定义

任何想法?

谢谢,迦

Answer 1

地板的API等级为9，天花板也是如此。

Android javadoc for TreeSet

Answer 2

在一个普通的Java VM中，这段代码编译和运行得很好。

在我的JVM(1.5.0_22)中没有。这里是headSet(...)和tailSet(...)