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, trimToSize
public 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.