java命名空间javax.swing.text接口document的类成员方法:
remove定义及介绍
本文导语:
remove
void remove(int offs,
int len)
throws badlocationexception
移除文档的部分内容。这将导致对注册的 documentlistener 发送类型为 documentevent.eventtype.remove 的 documentevent,除非抛出异常。通过在 documentlistener 上调用 removeup...
remove
void remove(int offs,
int len)
throws badlocationexception
- 移除文档的部分内容。这将导致对注册的 documentlistener 发送类型为 documentevent.eventtype.remove 的 documentevent,除非抛出异常。通过在 documentlistener 上调用 removeupdate 方法,通知被发送到侦听器。
为确保并发情况下的合理行为,事件在改动发生之后指派。这意味着在指派移除通知之前,文档已经更新并且由 createposition
创建的任何标记已更改。对于移除的情况,移除范围的结束折叠至范围的开始,移除范围内的任何标记都折叠至范围的开始。
如果移除导致 document 结构更改,生成的 documentevent 中还将包含更改所涉及的插入和移除 element 的细节。移除对结构造成的更改则具体取决于 document 的实现。
如果 document 支持撤消/重复,还将生成 undoableeditevent。
- 参数:
offs
- 起始位置的偏移量,该值 >= 0len
- 要移除的字符数,该值 >= 0
- 抛出:
badlocationexception
- 移除范围的有些部分不是文档的有效部分。异常中的位置为遇到的第一个损坏位置。- 另请参见:
documentevent
,
documentlistener
,
undoableeditevent
,
undoableeditlistener