public class EditList extends ArrayList<Edit>
Edits in a document.modCount| Constructor and Description |
|---|
EditList()
Create a new, empty edit list.
|
EditList(int capacity)
Create an empty edit list with the specified capacity.
|
| Modifier and Type | Method and Description |
|---|---|
static EditList |
singleton(Edit edit)
Construct an edit list containing a single edit.
|
String |
toString() |
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeRange, retainAll, set, size, subList, toArray, toArray, trimToSizeequals, hashCodecontainsAllfinalize, getClass, notify, notifyAll, wait, wait, waitcontainsAll, equals, hashCodepublic EditList()
public EditList(int capacity)
capacity - the initial capacity of the edit list. If additional edits are
added to the list, it will be grown to support them.Copyright © 2014. All rights reserved.