Method pushState

src/main/java/org/htmlunit/History.java:340–348

Allows to change history state and url if provided. @param state the new state to use @param url the new url to use

(final Object state, final URL url)

     * @param url the new url to use
     */
    public void pushState(final Object state, final URL url) {
        final Page page = window_.getEnclosedPage();
        final HistoryEntry entry = addPage(page);

        if (entry != null) {
            entry.setUrl(url, page);
            entry.setState(state);
        }
    }

    /**
     * Returns current state object.