/* pickCls doesn't care about sorting order. */
private OWLNamedClass chooseClass() {
return (OWLNamedClass)
DisplayUtilities.pickCls(
(Component) this,
okb,
CollectionUtilities.createCollection(okb.getOWLThingClass()),
"Select a class");
}
public String getInvalidValueText(Frame frame, Slot slot, Object value, Collection facetValues) {
String result = null;
Number n = (Number) CollectionUtilities.getFirstItem(facetValues);
if (n != null) {
double max = n.doubleValue();
result = getInvalidValueText(max, value);
}
return result;
}
public String getInvalidValuesText(
Frame frame, Slot slot, Collection slotValues, Collection facetValues) {
String result = null;
Number n = (Number) CollectionUtilities.getFirstItem(facetValues);
if (n != null) {
double max = n.doubleValue();
Iterator i = slotValues.iterator();
while (result == null && i.hasNext()) {
Object value = i.next();
result = getInvalidValueText(max, value);
}
}
return result;
}
private static double getValue(Collection values) {
Number n = (Number) CollectionUtilities.getFirstItem(values);
return (n == null) ? Double.MAX_VALUE : n.doubleValue();
}