예제 #1
0
 /* 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();
 }