| 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.
|
java.lang.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, trimToSizepublic 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.public static EditList singleton(Edit edit)
edit - the edit to return in the list.edit.public java.lang.String toString()
toString in class java.util.AbstractCollection<Edit>Copyright © 2012. All Rights Reserved.