private final double latitude;
private final double longitude;
private final double altitude;
+ private final String query;
- GeoParsedResult(double latitude, double longitude, double altitude) {
+ GeoParsedResult(double latitude, double longitude, double altitude, String query) {
super(ParsedResultType.GEO);
this.latitude = latitude;
this.longitude = longitude;
this.altitude = altitude;
+ this.query = query;
}
public String getGeoURI() {
result.append(',');
result.append(altitude);
}
+ if (query != null) {
+ result.append('?');
+ result.append(query);
+ }
return result.toString();
}
return altitude;
}
+ /**
+ * @return query string associated with geo URI or null if none exists
+ */
+ public String getQuery() {
+ return query;
+ }
+
public String getDisplayResult() {
- StringBuffer result = new StringBuffer();
+ StringBuffer result = new StringBuffer(20);
result.append(latitude);
result.append(", ");
result.append(longitude);
result.append(altitude);
result.append('m');
}
+ if (query != null) {
+ result.append(" (");
+ result.append(query);
+ result.append(')');
+ }
return result.toString();
}