Class EditList

    • Constructor Detail

      • EditList

        public EditList()
        Create a new, empty edit list.
      • EditList

        public EditList​(int capacity)
        Create an empty edit list with the specified capacity.
        Parameters:
        capacity - the initial capacity of the edit list. If additional edits are added to the list, it will be grown to support them.
    • Method Detail

      • singleton

        public static EditList singleton​(Edit edit)
        Construct an edit list containing a single edit.
        Parameters:
        edit - the edit to return in the list.
        Returns:
        list containing only edit.