History.java

// Generated by esidl 0.4.0.

package org.w3c.dom.html;

public interface History
{
    // History
    public int getLength();
    public Object getState();
    public void go();
    public void go(int delta);
    public void back();
    public void forward();
    public void pushState(Object data, String title);
    public void pushState(Object data, String title, String url);
    public void replaceState(Object data, String title);
    public void replaceState(Object data, String title, String url);
}