HTMLTimeElement.java

// Generated by esidl 0.4.0.

package org.w3c.dom.html;

public interface HTMLTimeElement extends HTMLElement
{
    // HTMLTimeElement
    public String getDateTime();
    public void setDateTime(String dateTime);
    public boolean getPubDate();
    public void setPubDate(boolean pubDate);
    public long getValueAsDate();
}