this.lonEnd = lonEnd;
this.radius = radius;
}
public static GeoLatLonRange parse(String val) {
GeoRange range = GeoFacetCountCollector.parse(val);
float latStart = range.getLat() - range.getRad();
float latEnd = range.getLat() + range.getRad();
float lonStart = range.getLon() - range.getRad();
float lonEnd = range.getLon() + range.getRad();
StringBuilder buf = new StringBuilder();
buf.append("[").append(String.valueOf(latStart)).append(" TO ")
.append(String.valueOf(latEnd)).append("]");
String latRange = buf.toString();
buf = new StringBuilder();
buf.append("[").append(String.valueOf(lonStart)).append(" TO ")
.append(String.valueOf(lonEnd)).append("]");
String lonRange = buf.toString();
return new GeoLatLonRange(latRange, lonRange, latStart, latEnd, lonStart, lonEnd,
range.getRad());
}