FileDocCategorySizeDatePackage
DocumentEvent.javaAPI DocJava SE 5 API4409Fri Aug 26 14:58:00 BST 2005javax.swing.event

DocumentEvent

public interface DocumentEvent
Interface for document change notifications. This provides detailed information to Document observers about how the Document changed. It provides high level information such as type of change and where it occurred, as well as the more detailed structural changes (What Elements were inserted and removed).
author
Timothy Prinzing
version
1.23 12/19/03
see
javax.swing.text.Document
see
DocumentListener

Fields Summary
Constructors Summary
Methods Summary
public javax.swing.event.DocumentEvent$ElementChangegetChange(javax.swing.text.Element elem)
Gets the change information for the given element. The change information describes what elements were added and removed and the location. If there were no changes, null is returned.

This method is for observers to discover the structural changes that were made. This means that only elements that existed prior to the mutation (and still exist after the mutatino) need to have ElementChange records. The changes made available need not be recursive.

For example, if the an element is removed from it's parent, this method should report that the parent changed and provide an ElementChange implementation that describes the change to the parent. If the child element removed had children, these elements do not need to be reported as removed.

If an child element is insert into a parent element, the parent element should report a change. If the child element also had elements inserted into it (grandchildren to the parent) these elements need not report change.

param
elem the element
return
the change information, or null if the element was not modified

public javax.swing.text.DocumentgetDocument()
Gets the document that sourced the change event.

return
the document

public intgetLength()
Returns the length of the change.

return
the length >= 0

public intgetOffset()
Returns the offset within the document of the start of the change.

return
the offset >= 0

public javax.swing.event.DocumentEvent$EventTypegetType()
Gets the type of event.

return
the type