public interface DocumentEvent
用于文档更改通知的接口。此接口为 Document 观察者提供了有关 Document 更改方式的细节信息。它提供一些高级信息,比如更改类型、在哪儿发生更改,以及更多具体的结构性更改(插入和移除哪些 Element)。
Document
,
DocumentListener
嵌套类摘要 | |
---|---|
static interface |
DocumentEvent.ElementChange 描述对特定元素所做的更改。 |
static class |
DocumentEvent.EventType 文档事件类型的枚举 |
方法摘要 | |
---|---|
DocumentEvent.ElementChange |
getChange(Element elem) 获得给定元素的更改信息。 |
Document |
getDocument() 获得发起更改事件的文档。 |
int |
getLength() 返回更改的长度。 |
int |
getOffset() 返回文档中更改开始的偏移量。 |
DocumentEvent.EventType |
getType() 获得事件类型。 |
方法详细信息 |
---|
int getOffset()
int getLength()
Document getDocument()
DocumentEvent.EventType getType()
DocumentEvent.ElementChange getChange(Element elem)
此方法适用于观察者发现已完成的结构性更改。这意味着只有发生变化之前存在的元素(以及发生变化之后仍然存在的元素)需要有 ElementChange 记录。变得可用的更改不必是递归的。
例如,如果从父元素中移除某个元素,则此方法应该报告该父元素已更改,并提供描述父元素的更改的 ElementChange 实现。如果已移除的子元素有子级,则在移除时不需要报告这些元素。
如果子元素被插入到父元素中,则父元素应该报告此更改。如果子元素中还有一些已插入其中的元素(父元素的孙级),则这些元素无需报告发生的更改。
elem
- 元素