Revision 1172 org.gvsig.raster.wms/trunk/org.gvsig.raster.wms/org.gvsig.raster.wms.io/src/main/java/org/gvsig/raster/wms/io/WMSServerExplorer.java
WMSServerExplorer.java | ||
---|---|---|
223 | 223 |
} |
224 | 224 |
return null; |
225 | 225 |
} |
226 |
|
|
227 |
/** |
|
228 |
* Gets the list of raster information formats supported by the server |
|
229 |
* @return |
|
230 |
*/ |
|
231 |
@SuppressWarnings("unchecked") |
|
232 |
public String[] getInfoFormats() { |
|
233 |
if(connector != null) { |
|
234 |
Vector f = connector.getInfoFormats(); |
|
235 |
ArrayList formatos = new ArrayList(); |
|
236 |
for (int i = 0; i < f.size(); i++) { |
|
237 |
formatos.add(f.elementAt(i)); |
|
238 |
} |
|
239 |
return (String[]) formatos.toArray(new String[0]); |
|
240 |
} |
|
241 |
return null; |
|
242 |
} |
|
226 | 243 |
|
227 | 244 |
/** |
228 | 245 |
* Gets a tree of nodes which represents the server information |
Also available in: Unified diff