import java.awt.*;
import java.io.*;
import java.net.*;
import java.awt.event.*;

import javax.swing.event.*;
import javax.swing.*;
import javax.swing.text.*;
import javax.swing.text.html.*;

/**
* The implementation of our special documents. An extension of
* HTMLDocuments, MozartDocument also listens for any changes that occur
* to a document and updates it. This object is also responsible for
* reading and writing itself. I thought about serialization, but I'd
* prefer to keep the documents text-based.
*/
public class MozartDocument extends HTMLDocument implements DocumentListener {

  /** Create and empty MozartDocument */
  public MozartDocument() {
    super();
    //setDocumentListener(this);
    setTokenThreshold(1);
  }
  
  /** Open a document from a URL */
  public MozartDocument(URL url) {
  }

  public void insertUpdate(DocumentEvent e) {
    System.out.println(e.getClass());
  }

  public void removeUpdate(DocumentEvent e) {
    System.out.println(e.getClass());
  }

  public void changedUpdate(DocumentEvent e) {
    System.out.println(e.getClass());
  }
}