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 }