260 |
alerts.add(response.getText()); |
alerts.add(response.getText()); |
261 |
} |
} |
262 |
|
|
263 |
boolean alertsPending() |
/** |
264 |
|
* Indicates if there are alerts pending for the user-agent. |
265 |
|
*/ |
266 |
|
public boolean alertsPending() |
267 |
{ |
{ |
268 |
return (alerts.size() > 0); |
return (alerts.size() > 0); |
269 |
} |
} |
270 |
|
|
271 |
String[]getAlerts() |
/** |
272 |
|
* Returns the pending alerts for the user-agent as an array. |
273 |
|
*/ |
274 |
|
public String[] getAlerts() |
275 |
{ |
{ |
276 |
String[]a = new String[alerts.size()]; |
String[] a = new String[alerts.size()]; |
277 |
alerts.toArray(a); |
alerts.toArray(a); |
278 |
alerts.clear(); // flush |
alerts.clear(); // flush |
279 |
return a; |
return a; |