001    package org.util.html.event;
002    
003    import java.util.*;
004    import java.io.*;
005    import java.net.*;
006    import java.awt.*;
007    import java.awt.event.*;
008    import javax.swing.*;
009    import javax.swing.event.*;
010    
011    import org.util.html.objects.*;
012    public interface HTMLListener {
013    
014        public void cleared(HTMLDocument doc);
015        public void added(HTMLDocument doc, HTMLObject obj);
016        public void removed(HTMLDocument doc, HTMLObject obj);
017        public void changed(HTMLDocument doc, HTMLObject obj);
018        
019    }