Sets this location's URL, triggering a server hit and loading the resultant document into this location's window. @param url This location's new URL @throws IOException if there is a problem loading the new location
(final URL url)
| 597 | * @throws IOException if there is a problem loading the new location |
| 598 | */ |
| 599 | private void setUrl(final URL url) throws IOException { |
| 600 | final WebWindow webWindow = window_.getWebWindow(); |
| 601 | final BrowserVersion browserVersion = webWindow.getWebClient().getBrowserVersion(); |
| 602 | |
| 603 | final WebRequest webRequest = new WebRequest(url, |
| 604 | browserVersion.getHtmlAcceptHeader(), browserVersion.getAcceptEncodingHeader()); |
| 605 | webRequest.setRefererHeader(getUrl()); |
| 606 | |
| 607 | webWindow.getWebClient().getPage(webWindow, webRequest); |
| 608 | } |
| 609 | |
| 610 | /** |
| 611 | * Returns the {@code origin} property. |
no test coverage detected