synchronized(dateFormat) {
return dateFormat.format((Date)value);
}
}
if (value instanceof Variable) {
Variable var = (Variable)value;
Object val = this.variables.get(var.getName());
if (val == null) val = var.getDefaultValue();
if (val == null) {
throw new SearchException("Unset variable: " + var.getName());
}
return valueToString(val);
}
// otherwise
return value.toString();