001/*
002 * Copyright (c) 2003 World Wide Web Consortium,
003 * (Massachusetts Institute of Technology, Institut National de
004 * Recherche en Informatique et en Automatique, Keio University). All
005 * Rights Reserved. This program is distributed under the W3C's Software
006 * Intellectual Property License. This program is distributed in the
007 * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
008 * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
009 * PURPOSE.
010 * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
011 */
012
013package org.w3c.dom.html2;
014
015/**
016 * Notice of modification to part of a document. See the INS and DEL element 
017 * definitions in HTML 4.01. 
018 * <p>See also the <a href='http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109'>Document Object Model (DOM) Level 2 HTML Specification</a>.
019 */
020public interface HTMLModElement extends HTMLElement {
021    /**
022     * A URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating a document that describes the reason for the change. 
023     * See the cite attribute definition in HTML 4.01.
024     */
025    public String getCite();
026    /**
027     * A URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] designating a document that describes the reason for the change. 
028     * See the cite attribute definition in HTML 4.01.
029     */
030    public void setCite(String cite);
031
032    /**
033     * The date and time of the change. See the datetime attribute definition 
034     * in HTML 4.01.
035     */
036    public String getDateTime();
037    /**
038     * The date and time of the change. See the datetime attribute definition 
039     * in HTML 4.01.
040     */
041    public void setDateTime(String dateTime);
042
043}